On time with minimal expected cost! A David, PG Jensen, KG Larsen, A Legay, D Lime, MG Sørensen, ... Automated Technology for Verification and Analysis: 12th International …, 2014 | 78 | 2014 |
CAAL: concurrency workbench, aalborg edition JR Andersen, N Andersen, S Enevoldsen, MM Hansen, KG Larsen, ... Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 41 | 2015 |
Verification of Liveness Properties on Closed Timed-Arc Petri Nets M Andersen, HG Larsen, J Srba, MG Sørensen, JH Taankvist Mathematical and Engineering Methods in Computer Science, 69-81, 2013 | 19 | 2013 |
Memory efficient data structures for explicit verification of timed systems PG Jensen, KG Larsen, J Srba, MG Sørensen, JH Taankvist NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 10 | 2014 |
Soundness of timed-arc workflow nets JA Mateo, J Srba, MG Sørensen Application and Theory of Petri Nets and Concurrency: 35th International …, 2014 | 7 | 2014 |
Soundness of timed-arc workflow nets in discrete and continuous-time semantics JA Mateo, J Srba, MG Sørensen Fundamenta Informaticae 140 (1), 89-121, 2015 | 6 | 2015 |
The Conceptual Pond: A Persuasive Tool for Quantifiable Qualitative Assessment CG Sørensen, MG Sørensen Emerging Research and Trends in Interactivity and the Human-Computer …, 2014 | 3 | 2014 |
Controller synthesis for home automation MG Sørensen Master’s thesis, Department of Computer Science, Aalborg University, 2014 | 1 | 2014 |
Ad Hoc Cloud System MG Sørensen, JH Taankvist, HG en Larsen, M Andersen, Š Miklošovič, ... | | 2011 |
Antibiotic-resistant Escherichia coli in the intestinal flora of Danish pigs and calves in the period 1970-1988. B Aalbæk, JE Olsen, B Nielsen, JL Larsen, M Sørensen, HE Larsen, ... | | 1995 |
Antibiotikumresistente Escherichia coli i tarmfloraen hos danske svin og kalve i perioden 1970-1988. B Aalbaek, JE Olsen, B Nielsen, JL Larsen, M Soerensen, HE Larsen, ... Dansk Veterinaertidsskrift 78, 1995 | | 1995 |
Towards Automated Controller Synthesis in Home Automation MG Sørensen | | |