| 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 | 77 | 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 | | |
