| |
Author |
Title  |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
|
Tronci, Enrico |
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming |
1995 |
Tenth Annual IEEE Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
10.1109/LICS.1995.523275 |
|
408-418 |
|
|
|
Dipoppa, G.; D'Alessandro, G.; Semprini, R.; Tronci, E. |
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design |
2001 |
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on |
IEEE Computer Society |
0-7695-1275-5 |
|
10.1109/HASE.2001.966821 |
|
209-219 |
|
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa |
Integrating RAM and Disk Based Verification within the Mur$\varphi$ Verifier |
2003 |
Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings |
Springer |
3-540-20363-X |
|
10.1007/978-3-540-39724-3_25 |
|
277-282 |
|
|
|
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 |
|
|
|
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano |
Intersection types and λ-definability |
2003 |
Mathematical Structures in Computer Science |
Cambridge University Press |
0960-1295 |
|
10.1017/S0960129502003833 |
13 |
15-53 |
|
|
|
Tronci, Enrico |
Introductory Paper |
2006 |
Sttt |
|
|
|
10.1007/s10009-005-0212-y |
8 |
355-358 |
|
|
|
Leeners, B.; Kruger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Hengartner, M.P. |
Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles |
2017 |
Frontiers in Behavioral Neuroscience |
|
1662-5153 |
|
10.3389/fnbeh.2017.00120 |
11 |
120 |
|
|
|
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 |
|
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems |
2012 |
Proceedings of ICSEA 2012, The Seventh International Conference on Software Engineering Advances |
ThinkMind |
|
|
|
|
664-671 |
|
|
|
Alimguzhin, V.; Mari, F.; Melatti, I.; Salvo, I.; Tronci, E. |
Linearising Discrete Time Hybrid Systems |
2017 |
IEEE Transactions on Automatic Control |
|
0018-9286 |
|
10.1109/TAC.2017.2694559 |
62 |
5357-5364 |
|
