List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Brizzolari, Francesco; Melatti, Igor; Tronci, Enrico; Della Penna, Giuseppe Disk Based Software Verification via Bounded Model Checking 2007 APSEC '07: Proceedings of the 14th Asia-Pacific Software Engineering Conference IEEE Computer Society 0-7695-3057-5 10.1109/APSEC.2007.43 358-365
Tronci, Enrico Defining Data Structures via Böhm-Out 1995 J. Funct. Program. 10.1017/S0956796800001234 5 51-64
Cesta, Amedeo; Finzi, Alberto; Fratini, Simone; Orlandini, Andrea; Tronci, Enrico Validation and verification issues in a timeline-based planning system 2010 The Knowledge Engineering Review Cambridge University Press 10.1017/S0269888910000160 25 299-318
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele Fluid Petri Nets and hybrid model checking: a comparative case study 2003 Int. Journal on: Reliability Engineering & System Safety Elsevier 10.1016/S0951-8320(03)00089-9 81 239-257
Hengartner, M. P.; Kruger, T. H. C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Ehrig, R.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Leeners, B. Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles 2017 Journal of Psychosomatic Research 10.1016/j.jpsychores.2017.05.018 99 21-27
Mancini, T. ; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Tronci, E. On minimising the maximum expected verification time 2017 Information Processing Letters 10.1016/j.ipl.2017.02.001
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Interoperability mapping from XML schemas to ER diagrams 2006 Data Knowl. Eng. Elsevier Science Publishers B. V. 0169-023x 10.1016/j.datak.2005.08.002 59 166-188
Intrigila, Benedetto; Melatti, Igor; Tofani, Alberto; Macchiarelli, Guido Computational models of myocardial endomysial collagen arrangement 2007 Computer Methods and Programs in Biomedicine Elsevier North-Holland, Inc. 0169-2607 10.1016/j.cmpb.2007.03.004 86 232-244
Böhm, Corrado; Tronci, Enrico About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus 1991 Inf. Comput. 10.1016/0890-5401(91)90057-9 90 1-32
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh Parallel and distributed model checking in Eddy 2009 Int. J. Softw. Tools Technol. Transf. Springer-Verlag 1433-2779 10.1007/s10009-008-0094-x 11 13-25