| Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
| 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 |
| 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 |
| Tronci, Enrico |
Equational Programming in lambda-calculus |
1991 |
Sixth Annual IEEE Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
10.1109/LICS.1991.151644 |
|
191-202 |
| 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 |
