toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN (down) ISBN DOI Volume Pages Links
Della Penna, Giuseppe; Di Marco, Antinisca; Intrigila, Benedetto; Melatti, Igor; Pierantonio, Alfonso Xere: Towards a Natural Interoperability between XML and ER Diagrams 2003 Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Springer 3-540-00899-3 10.1007/3-540-36578-8_25 356-371 details   pdf doi
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa Exploiting Transition Locality in the Disk Based Mur$\varphi$ Verifier 2002 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD) Springer 3-540-00116-6 10.1007/3-540-36126-X_13 202-219 details   pdf doi
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. On Checking Equivalence of Simulation Scripts 2021 Journal of Logical and Algebraic Methods in Programming 2352-2208 10.1016/j.jlamp.2021.100640 100640 details   pdf doi
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Synthesizing Control Software from Boolean Relations 2012 International Journal on Advances in Software IARIA 1942-2628 vol. 5, nr 3&4 212-223 details   pdf url
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 2013 International Journal on Advances in Software IARIA 1942-2628 vol. 6, nr 1&2 155-169 details   pdf url
Mancini, T.; Melatti, I.; Tronci, E. Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 2021 IEEE Transactions on Software Engineering 1939-3520 10.1109/TSE.2021.3109842 1-1 details   pdf doi
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B. Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 2020 IOS Press 1875-8681 10.3233/FI-2020-1943 174 283-310 details   pdf doi
Chen, Q.M.; Finzi, A.; Mancini, T.; Melatti, I.; Tronci, E. MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 2020 IOS Press 1875-8681 10.3233/FI-2020-1941 174 229-258 details   pdf doi
Fischer, S.; Ehrig, R.; Schaefer, S.; Tronci, E.; Mancini, T.; Egli, M.; Ille, F.; Krueger, T.H.C.; Leeners, B.; Roeblitz, S. Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation 2021 Frontiers in Endocrinology 1664-2392 10.3389/fendo.2021.613048 12 117 details   pdf doi
Leeners, B.; Krueger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Egli, M.; Roeblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Ille, F. Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception 2019 Frontiers in Psychology 1664-1078 10.3389/fpsyg.2019.01296 10 1296 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: