Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
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 |
Piperno, Adolfo; Tronci, Enrico |
Regular Systems of Equations in λ-calculus |
1990 |
Int. J. Found. Comput. Sci. |
|
|
|
10.1142/S0129054190000230 |
1 |
325-340 |
Piperno, Adolfo; Tronci, Enrico |
Regular Systems of Equations in λ-calculus |
1989 |
Ictcs |
|
|
|
10.1142/S0129054190000230 |
|
|
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico |
Solving Equations in λ-calculus |
1989 |
Proc. of: Logic Colloquium 88 |
|
|
|
|
|
|
Böhm, Corrado; Tronci, Enrico |
X-Separability and Left-Invertibility in lambda-calculus |
1987 |
Symposium on Logic in Computer Science (LICS) |
IEEE Computer Society |
|
|
|
|
320-328 |
Böhm, Corrado; Tronci, Enrico |
X-separability and left-invertibility in the λ-calculus (extended abstract, invited paper) |
1987 |
Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea |
|
|
|
|
|
|
Tronci, Enrico |
On Computing Optimal Controllers for Finite State Systems |
1997 |
CDC '97: Proceedings of the 36th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
|
|
|
Tronci, Enrico |
Optimal Finite State Supervisory Control |
1996 |
CDC '96: Proceedings of the 35th IEEE International Conference on Decision and Control |
IEEE Computer Society |
|
|
10.1109/CDC.1996.572981 |
|
|
Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico |
A Model Checking Technique for the Verification of Fuzzy Control Systems |
2005 |
CIMCA '05: Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) |
IEEE Computer Society |
0-7695-2504-0-01 |
|
10.1109/CIMCA.2005.1631319 |
|
536-542 |
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 |