( en | de | ru )

 

Disambiguation of "Nummenmaa, Jyrki"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic verification of Dafny programs with traits.

, , and . FTfJP@ECOOP, page 4:1-4:5. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jyrki Alakuijala

Jyrki Syväri

Jyrki Lötjönen

 

Other publications of authors with the same name

Yet Another Note on Minimal Covers., and . SIGMOD Rec., 19 (3): 30 (1990)Normalising OLAP cubes for controlling sparsity., , and . Data Knowl. Eng., 46 (3): 317-343 (2003)Constructing Layouts for ER-Diagrams from Visibility-Representations., and . ER, page 315-329. ER Institute, (1990)Efficient Mining of Outlying Sequential Behavior Patterns., , , , , and . DASFAA (2), volume 12682 of Lecture Notes in Computer Science, page 325-341. Springer, (2021)HMNet: Hybrid Matching Network for Few-Shot Link Prediction., , , , , , and . DASFAA (1), volume 12681 of Lecture Notes in Computer Science, page 307-322. Springer, (2021)Detecting Missing Requirements in Conceptual Models., , , and . ICIST, volume 465 of Communications in Computer and Information Science, page 248-259. Springer, (2014)Detection of Statistically Significant Bus Delay Aggregation by Spatial-Temporal Scanning., , , and . APWeb Workshops, volume 9865 of Lecture Notes in Computer Science, page 277-288. (2016)MEDUSA - A Multimodal Database User Interface and Framework Supporting User Learning and User Interface Evaluation., and . IDS, page 392-405. Springer, (1992)An architecture for building collaborative tools in Java., and . SPLST, page 174-186. University of Kuopio, Department of Computer Science, (2003)Detecting summarizability in OLAP., , , and . Data Knowl. Eng., (2014)