Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Salvo, I.; Prodanovic, M.; Gruber, J. K.; Hayes, B.; Elmegaard, L. |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids |
2014 |
Proceedings of Smart Grid Communications (SmartGridComm), 2014 IEEE International Conference On |
|
|
|
10.1109/SmartGridComm.2014.7007745 |
|
|
Tronci, E.; Mancini, T.; Salvo, I.; Mari, F.; Melatti, I.; Massini, A.; Sinisi, S.; Davì, F.; Dierkes, T.; Ehrig, R.; Röblitz, S.; Leeners, B.; Krüger, T.; Egli, M.; Ille, F. |
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records |
2014 |
Formal Methods in Computer-Aided Design (FMCAD) |
|
|
|
10.1109/FMCAD.2014.6987615 |
|
|
Tronci, Enrico |
Introductory Paper |
2006 |
Sttt |
|
|
|
10.1007/s10009-005-0212-y |
8 |
355-358 |
Tronci, Enrico |
Automatic Synthesis of Control Software for an Industrial Automation Control System |
1999 |
Proc.of: 14th IEEE International Conference on: Automated Software Engineering (ASE) |
|
|
|
10.1109/ASE.1999.802292 |
|
247-250 |
Tronci, Enrico |
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications |
1999 |
4th IEEE International Symposium on High-Assurance Systems Engineering (HASE) |
IEEE Computer Society |
0-7695-0418-3 |
|
10.1109/HASE.1999.809490 |
|
151 |
Tronci, Enrico |
Automatic Synthesis of Controllers from Formal Specifications |
1998 |
Proc of 2nd IEEE International Conference on Formal Engineering Methods (ICFEM) |
|
|
|
10.1109/ICFEM.1998.730577 |
|
134-143 |
Tronci, Enrico |
Equational Programming in Lambda-Calculus via SL-Systems. Part 1 |
1996 |
Theoretical Computer Science |
|
|
|
10.1016/0304-3975(95)00105-0 |
160 |
145-184 |
Tronci, Enrico |
Equational Programming in Lambda-Calculus via SL-Systems. Part 2 |
1996 |
Theoretical Computer Science |
|
|
|
10.1016/0304-3975(95)00106-9 |
160 |
185-216 |
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 |
Tronci, Enrico |
Defining Data Structures via Böhm-Out |
1995 |
J. Funct. Program. |
|
|
|
10.1017/S0956796800001234 |
5 |
51-64 |