toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages Links (down)
Böhm, Corrado; Piperno, Adolfo; Tronci, Enrico Solving Equations in λ-calculus 1989 Proc. of: Logic Colloquium 88 details   openurl
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 details   openurl
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 details   openurl
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 details   pdf openurl
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Control Software Visualization 2012 Proceedings of INFOCOMP 2012, The Second International Conference on Advanced Communications and Computation ThinkMind 978-1-61208-226-4 15-20 details   pdf openurl
Kuijpers, Ed; Carotenuto, Luigi; Malapert, Jean-Cristophe; Markov-Vetter, Daniela; Melatti, Igor; Orlandini, Andrea; Pinchuk, Ranni Collaboration on ISS Experiment Data and Knowledge Representation 2012 Proc. of IAC 2012 D.5.11 details   pdf openurl
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 details   pdf isbn
Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro On Placing Skips Optimally in Expectation 2008 Web Search and Web Data Mining (WSDM 2008) Acm 10.1145/1341531.1341537 15-24 details   pdf doi
Bucciarelli, Antonio; de Lorenzis, Silvia; Piperno, Adolfo; Salvo, Ivano Some Computational Properties of Intersection Types (Extended Abstract) 1999 IEEE Computer Society 10.1109/LICS.1999.782598 109-118 details   pdf doi
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: