Jaakko
Järvi
professori, Ohjelmistotekniikka
Dean of Faculty of Technology
Asiantuntijuusalueet
ohjelmistotekniikka
ohjelmointikielet
Julkaisut
Manipulating GUI Structures Declaratively (2020)
(A4 Artikkeli konferenssijulkaisussa)Semantics of multiway dataflow constraint systems (2020)
Journal of Logical and Algebraic Methods in Programming
(A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä)
Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays (2019)
(A4 Artikkeli konferenssijulkaisussa)Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems (2016)
ACM sigplan notices
(A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä)
Axioms as generic rewrite rules in C++ with concepts (2015)
Science of Computer Programming
(A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä)
EvolutionWorks Towards Improved Visualization of Citation Networks (2015)
Lecture Notes in Computer Science
(A4 Artikkeli konferenssijulkaisussa)
Specializing Planners for Hierarchical Multi-way Dataflow Constraint Systems (2015)
ACM sigplan notices
(A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä)
HotDrink A Library for Web User Interfaces (2013)
ACM sigplan notices
(A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä)
Helping Programmers Help Users (2012)
ACM sigplan notices
(A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä)
Summary-Based Data-Flow Analysis that Understands Regular Composite Objects and Iterators (2012)
Applied Computing Review
(A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä)