| Introduction to the ISO specification language LOTOS T Bolognesi, E Brinksma Computer Networks and ISDN systems 14 (1), 25-59, 1987 | 2313 | 1987 |
| From timed Petri nets to timed LOTOS T Bolognesi, F Lucidi, S Trigila Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990 | 137 | 1990 |
| Fundamental Results for the Verification of Observational Equivalence: A Survey. T Bolognesi, SA Smolka PSTV, 165-179, 1987 | 104 | 1987 |
| LOTOSphere: software development with LOTOS T Bolognesi, J Van de Lagemaat, C Vissers Springer Science & Business Media, 2012 | 96 | 2012 |
| LOTOS-like process algebras with urgent or timed interactions T Bolognesi, F Lucidi Formal Description Techniques, IV, 249-264, 1992 | 95 | 1992 |
| Automatic composition: Experiments with self-similar music T Bolognesi Computer Music Journal 7 (1), 25-36, 1983 | 61 | 1983 |
| Timed process algebras with urgent interactions and a unique powerful binary operator T Bolognesi, F Lucidi Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992 | 57 | 1992 |
| Squiggles-a tool for the analysis of LOTOS specifications T Bolognesi, M Caneve Proceedings of the First International Conference on Formal Description …, 1988 | 57 | 1988 |
| Converging towards a timed LOTOS standard T Bolognesi, F Lucidi, S Trigila Computer Standards & Interfaces 16 (2), 87-118, 1994 | 51 | 1994 |
| Techniques for the formal definition of the G-LOTOS syntax T Bolognesi, D Latella 1989 IEEE Workshop on Visual Languages, 43, 44, 45, 46, 47, 48, 49-43, 44 …, 1989 | 40 | 1989 |
| A graphical composition theorem for networks of LOTOS processes T Bolognesi Proceedings., 10th International Conference on Distributed Computing Systems …, 1990 | 38 | 1990 |
| Equivalence Verification: Theory, Algorithms, and a Tool T Bolognesi, M Caneve The formal description technique LOTOS, 303-326, 1989 | 36 | 1989 |
| Introduction to the ISO Specification Language LOTOS, The Formal Description Technique LOTOS T Bolognesi, E Brinksma The Formal Description Technique LOTOS, 23-73, 1989 | 35 | 1989 |
| Remarks on turbo ASMs for functional equations and recursion schemes E Börger, T Bolognesi International Workshop on Abstract State Machines, 218-228, 2003 | 28 | 2003 |
| Causal sets from simple models of computation T Bolognesi arXiv preprint arXiv:1004.3128, 2010 | 25 | 2010 |
| On the Analysis of Time-Dependent Protocols by Network Flow Algorithms Thomas J. Watson IBM Research Center. Research Division, T Bolognesi, ... | 25 | 1984 |
| Toward constraint-object-oriented development T Bolognesi IEEE Transactions on Software Engineering 26 (7), 594-616, 2000 | 19 | 2000 |
| Algorithmic causal sets for a computational spacetime T Bolognesi World Scientific, 2013 | 18 | 2013 |
| A consistent causality-based view on a timed process algebra including urgent interactions JP Katoen, R Langerak, E Brinksma, D Latella, T Bolognesi Formal methods in system design 12, 189-216, 1998 | 18 | 1998 |
| G-LOTOS: A graphical language for concurrent systems T Bolognesi, E Najm, PAJ Tilanus Computer Networks and ISDN Systems 26 (9), 1101-1127, 1994 | 18 | 1994 |
