|
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
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 the λ-calculus (extended abstract, invited paper) |
1987 |
Proceedings of: Temi e prospettive della Logica e della Filosofia della Scienza contemporanea |
|
|
|
|
|
|
|
|
Verzino Giovanni ; Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Yushtein, Yuri; Tronci, Enrico |
Model checking driven simulation of sat procedures |
2012 |
Proceedings of 12th International Conference on Space Operations (SpaceOps 2012) |
|
|
|
10.2514/6.2012-1275611 |
|
|
|
|
Tronci, E.; Mancini, T.; Mari, F.; Melatti, I.; Jacobsen, R. H.; Ebeid, E.; Mikkelsen, S. A.; Prodanovic, M.; Gruber, J. K.; Hayes, B. |
SmartHG: Energy Demand Aware Open Services for Smart Grid Intelligent Automation |
2014 |
Proceedings of the Work in Progress Session of SEAA/DSD 2014 |
|
|
978-3-902457-40-0 |
|
|
|
|
|
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, 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 |
|
|
|
|
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico |
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation |
2014 |
In Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014) |
|
|
|
10.1109/DSD.2014.91 |
|
|
|