Publications by Stefan Mitsch

2017 • IEEE Control Systems • 37(2):82-103
Franchetti F, Low TM, Mitsch S, Mendoza JP, Gui L, Phaosawasdi A, Padua D, Kar S, Moura JMF, Franusich M, Johnson J, Platzer A, Veloso MM

2017
Mitsch S, Platzer A

2017 • Electronic Proceedings in Theoretical Computer Science • 67-81
Mitsch S, Platzer A

2016 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9681:441-456
Mueller A, Mitsch S, Retschitzegger W, Schwinger W, Platzer A

2016 • International Journal on Software Tools for Technology Transfer • 18(1):67-91
Quesel J-D, Mitsch S, Loos S, Arechiga N, Platzer A

2016 • Formal methods in system design • 49(1-2):33-74
Mitsch S, Platzer A

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9195:527-538
Fulton N, Mitsch S, Quesel JD, Völp M, Platzer A

2015 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 9195:527-538
Fulton N, Mitsch S, Quesel J-D, Voelp M, Platzer A

2015 • ACM Computing Surveys • 48(1):
Mitsch S, Platzer A, Retschitzegger W, Schwinger W

2015 • 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS • 757-764
Mueller A, Mitsch S, Platzer A

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8793:368-379
Mueller A, Mitsch S, Retschitzegger W, Schwinger W

2014 • Information Fusion • 20:155-173
Baumgartner N, Mitsch S, Mueller A, Retschitzegger W, Salfinger A, Schwinger W

2014 • Mathematics in Computer Science • 8(1):71-97
Mitsch S, Passmore GO, Platzer A

2014
Mitsch S, Passmore GO, Platzer A

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8734:199-214
Mitsch S, Platzer A

2014 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 8442:481-496
Mitsch S, Quesel J-D, Platzer A

2014 • Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration IEEE Iri 2014 • 351-360
Salfinger A, Neidhart D, Retschitzegger W, Schwinger W, Mitsch S

2014 • 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI) • 351-360
Salfinger A, Neidhart D, Retschitzegger W, Schwinger W, Mitsch S

2013 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 7808:815-826
Mitsch S, Müller A, Retschitzegger W, Salfinger A, Schwinger W

2013 • Do Form Enabling Domain Experts to Use Formalised Reasoning Aisb Convention 2013 • 8-17
Mitsch S, Passmore GO, Platzer A

2013 • Conferences in Research and Practice in Information Technology Series • 143:89-98
Wischenbart M, Mitsch S, Kapsammer E, Kusel A, Lechner S, Pröll B, Retschitzegger W, Schönböck J, Schwinger W, Wimmer M

2012
Kusel A, Mitsch S, Retschitzegger W, Schwinger W, Mayr R, Schönböck J

2012 • 19th Intelligent Transport Systems World Congress ITS 2012
Baumgartner N, Mitsch S, Müller A, Retschitzegger W, Salfinger A, Schwinger W

2012 • 2012 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2012) • 171-180
Mitsch S, Loos SM, Platzer A

2012 939-948
Wischenbart M, Mitsch S, Kapsammer E, Kusel A, Pröll B, Retschitzegger W, Schwinger W, Schönböck J, Wimmer M, Lechner S