Publications

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  ALL, with author ALL, in the category Books (or show them all):   (Items found: 75)


2019 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2008 | 2007 | 2006 | 2004 | 2003 | 2002 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1989 | 1988 | 1987 | 1986 | 1985 | 1984 | 1983 | 1981

2019  [top]

2017  [top]
  • Lisitsa A., Nemytykh A.P., Maurizio Proietti eds.: Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017, Electronic Proceedings in Theoretical Computer Science, 253, Elsevier, 2017
  • Missikoff M, Anna Formica, Elaheh Pourabbas, Francesco Taglino: Enriching semantic search with preference and quality scores, Encyclopedia with Semantic Computing and Robotic Intelligence, 01(01), DOI: 10.1142/S0000000016500023, World Scientific, 2017

2016  [top]
  • Alberto Pettorossi: Semantics of Programming Languages. Third Edition, Aracne Editrice Ariccia, Italy, 2016
  • Alberto Pettorossi: Elements of Computability, Decidability, and Complexity Fifth edition., Aracne Editrice Ariccia, Italy, 2016
  • Alberto Pettorossi, Maurizio Proietti: First Order Predicate Calculus and Logic Programming. Fourth Edition., Aracne Editrice, 2016

2015  [top]
  • Mahjoub A.R., Giovanni Rinaldi, Woeginger G.J. eds.: Combinatorial Optimization, Mathematical Programming, 150, Springer, 2015
  • Maurizio Proietti, Seki H. eds.: Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014 Canterbury, UK, September 9-11, 2014 Revised Selected Papers, Lecture Notes in Computer Science, 8981, 2015

2014  [top]
  • Giovanni Abramo, Ciriaco Andrea D'Angelo: Research evaluation: improvisation or science?, Bibliometrics: Use and Abuse in the Review of Research Performance, PORTLAND PRESS LONDON W1N 3AJ ENGLAND (GBR), 2014
  • Carlo Chiarla, Ivo Giovannini, Siegel J.H., Vellone M., Ardito F., Murazio M., Clemente G., Zadak Z.: hypocholesterolemia and plasma amino acids in sepsis, Discrete Applied Mathematics, Iconcept Press, 2014
  • d'Onofrio A., Gandolfi A. eds.: Mathematical Oncology 2013, Modeling and Simulation in Science, Engineering and Technology, Birkhauser Boston, 2014
  • Elaheh Pourabbas ed.: Geographical Information Systems: Trends and Technologies, CRC Press Inc/ Taylor & Francis Group: http://www.crcpress.com/product/isbn/9781466596931 ISBN 9781466596931, 2014
  • Elaheh Pourabbas: Semantic Similarity based on Weighted Ontology, Geographical Information Systems: Trends and Technologies, Elaheh Pourabbas (ed.), CRC Press Inc/ Taylor & Francis Group, ISBN 9781466596931, 2014

2013  [top]

2012  [top]

2011  [top]
  • Alessandro Borri: Hybrid Control of Cyber-Physical Systems. Doctoral Thesis, Department of Electrical and Information Engineering, University of L'Aquila, Italy, 2011

2010  [top]

2008  [top]
  • Giovanni Abramo, Mancuso P.: Esercizi di Microeconomia e Analisi degli Investimenti, Economia, III edizione, Texmat Via di Tor Vergata 93, 00133 Roma, 2008
  • Lodi A., Panconesi A., Giovanni Rinaldi eds.: Integer Programming and Combinatorial Optimization - IPCO XIII, Lecture Notes in Computer Science, 5035, Springer, 2008

2007  [top]
  • Alessandro Borri: Integrated Vehicle Control using Active Front Steering and Active Differential. Master Thesis, Department of Electrical and Information Engineering, University of L'Aquila, Italy, 2007
  • Mauro Mazzei, Chiodi S., Pettinato G.: The black stone of Nassiriya, S. IX V. XXII F. 2, Bardi Editore, 2007

2006  [top]

2004  [top]
  • Alessandro Borri: Polynomial Extended Kalman Filter for simultaneous state-parameter estimation. Bachelor Thesis (in Italian), Department of Electrical and Information Engineering, University of L'Aquila, Italy, 2004
  • Gui D., Piscitelli P., Azzaretto M.: Manuale di terapia medico chirurgica, CIC Edizioni Internazionali, 2004

2003  [top]

2002  [top]

2000  [top]

1999  [top]

1998  [top]
  • Campisi D. ed.: Quaderni AIIG. Rassegna delle pubblicazioni internazionali, Collana Internazionale, V/98, Litogi Milano, 1998
  • Pirillo G., Degano P., Vaccaro U. eds.: Proceedings of the 6th Italian Conference of Theoretical Computer Science (ICTCS '98), 1998
  • Maurizio Rafanelli, Jarke M. eds.: Scientific and Statistical Database Management, IEEE Computer Society, 1998

1997  [top]

1996  [top]
  • Bianco L., Toth P. eds.: Advances Methods in Transportation Analysis, Springer-Verlag, 1996
  • Maurizio Proietti ed.: Logic Program Synthesis and Transformation -- LOPSTR '95, Lecture Notes in Computer Science, 1048, Springer-Verlag, 1996

1995  [top]

1994  [top]

1993  [top]
  • Bianco L., Bielli M., Speranza M.G. eds.: Summer Institute in Urban Traffic Management, European Journal of Operational Research, 71, North Holland, 1993
  • Bianco L., Odoni A.R. eds.: Large Scale Computation and Information Processing in Air Traffic Control, Springer-Verlag, 1993
  • Giovanni Rinaldi, Wolsey L.A. eds.: Integer Programming and Combinatorial Optimization - IPCO III, Centro Ettore Majorana Erice, 1993

1992  [top]

1989  [top]

1988  [top]

1987  [top]

1986  [top]
  • Ausiello G., Atzeni P. eds.: Database Theory (Proceedings of ICDT '86, Rome, September 1986), Lecture Notes in Computer Science, 243, Springer-Verlag, 1986
  • Bianco L., La Bella A. eds.: Automotive Micro-Electronics, North-Holland, 1986

1985  [top]

1984  [top]

1983  [top]

1981  [top]
  • Ausiello G., Lucertini M. eds.: Analysys and design of Algorithms in Combinatorial Optimization, Springer-Verlag New York, 1981
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -