| Analysing UML use cases as contracts RJ Back, L Petre, IP Paltor «UML»’99—The Unified Modeling Language: Beyond the Standard Second …, 1999 | 53 | 1999 |
| Formalising UML use cases in the refinement calculus RJ Back, L Petre, IP Paltor Turku Centre for Computer Science, 1999 | 46 | 1999 |
| Generalizing action systems to hybrid systems RJ Back, L Petre, I Porres Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000 | 42 | 2000 |
| Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002: Proceedings M Butler, L Petre, K Sere Springer Verlag, 2002 | 40* | 2002 |
| Editorial M Butler, EB Johnsen, L Petre Formal Aspects of Computing 27, 611-612, 2015 | 34* | 2015 |
| Mobile Ambients and P-Systems. I Petre, L Petre J. Univers. Comput. Sci. 5 (9), 588-598, 1999 | 32 | 1999 |
| Continuous action systems as a model for hybrid systems RJ Back, L Petre, I Porres Nord. J. Comput. 8 (1), 2-21, 2001 | 30 | 2001 |
| Anomaly detection in gravitational waves data using convolutional autoencoders F Morawski, M Bejger, E Cuoco, L Petre Machine Learning: Science and Technology 2 (4), 045014, 2021 | 28 | 2021 |
| Formal development of wireless sensor–actor networks M Kamali, L Laibinis, L Petre, K Sere Science of Computer Programming 80, 25-49, 2014 | 25 | 2014 |
| Self-recovering sensor-actor networks M Kamali, L Laibinis, L Petre, K Sere arXiv preprint arXiv:1007.5091, 2010 | 24 | 2010 |
| Formal analysis of proactive, distributed routing M Kamali, P Höfner, M Kamali, L Petre Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015 | 19 | 2015 |
| Formal modeling of multicast communication in 3D NoCs M Kamali, L Petre, K Sere, M Daneshtalab 2011 14th Euromicro Conference on Digital System Design, 634-642, 2011 | 18 | 2011 |
| A language for modeling network availability L Petre, K Sere, M Waldén Formal Methods and Software Engineering: 8th International Conference on …, 2006 | 16 | 2006 |
| From Action Systems to Distributed Systems: The Refinement Approach L Petre, E Sekerinski CRC Press, 2016 | 13 | 2016 |
| Refinement-based modeling of 3D NoCs M Kamali, L Petre, K Sere, M Daneshtalab International Conference on Fundamentals of Software Engineering, 236-252, 2011 | 13 | 2011 |
| Energy-aware middleware L Petre 15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008 | 13 | 2008 |
| Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface J Romijn, G Smith, J Van De Pol, D Bert, E Boiten, J Bowen, M Butler, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2005 | 13 | 2005 |
| A topological approach to distributed computing L Petre, K Sere, M Waldén Electronic Notes in Theoretical Computer Science 28, 59-80, 2000 | 13 | 2000 |
| Developing control systems components L Petre, K Sere International Conference on Integrated Formal Methods, 156-175, 2000 | 12 | 2000 |
| Coordination among mobile objects L Petre, K Sere International Conference on Coordination Languages and Models, 227-242, 1999 | 10 | 1999 |
