italiano | contact

Special Issues/Journals/Books Proceedings Chapter Technical Report

[1]      «      38   |   39   |   40   |   41   |   42      »      [42]


M. Nesi. Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic, 3rd Workshop on Computer Aided Verification 1991, Lecture Notes in Computer Science, pagg. 288-298

P. Inverardi and M. Nesi. On Rewriting Behavioural Semantics in Process Algebras, AMAST'91, Workshops in Computing Series

F.Parisi-Presicce, A. Pierantonio. System Design by Deriving using Rewriting, 4th International Conf. Software Engineering and Knowledge Engineering,, pagg. 317-324


F. Parisi-Presicce, A. Pierantonio. An Algebralc View of Inheritance and Subtyping in Object Oriented Programming, European Software Engineering Conference (ESEC '91), LNCS, pagg. 364-379

F. Parisi-Presicce, A. Pierantonio. Towards the Algebraic Specification of Classes in Object Oriented Programming, Bulletin of the European Association for Theoretical Computer Science (45):, pagg. 86-97

M. Flammini. Apprendimento delle Formule m-DNF tramite Alberi di Decisione, workshop GAA91 (Giornate sull'Apprendimento Automatico)

R. De Nicola, P. Inverardi and M. Nesi. Equational Reasoning about LOTOS Specifications: A Rewriting Approach, 6th International Workshop on Software Specification and Design, pagg. 148-155

P. Inverardi and M. Nesi. Infinite Normal Forms for Non-linear Term Rewriting Systems, MFCS'91, Lecture Notes in Computer Science, pagg. 231-239

A. Camilleri, P. Inverardi and M. Nesi. Combining Interaction and Automation in Process Algebra Verification, TAPSOFT'91, Lecture Notes in Computer Science, pagg. 283-296


P. Inverardi, M. Nesi. A Rewriting Strategy to Verify Observational Congruence, Information Processing Letters, North-Holland (35):, pagg. 191-199

P. Inverardi and M. Nesi. A Rewriting Strategy to Verify Observational Congruence, Information Processing Letters (35):, pagg. 191-199

R. De Nicola, P. Inverardi and M. Nesi. Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications, Workshop on Automatic Verification Methods for Finite State Systems 1989, Lecture Notes in Computer Science, pagg. 54-67


S. Gnesi, P. Inverardi and M. Nesi. A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences, Concurrency'88, Lecture Notes in Computer Science, pagg. 181-196


P. Inverardi, A. Fantechi, N. Lijtmaer. Using High Level Languages for Local Computer Communication: A case study in Ada, Software Practice & Esperience (16):8, pagg. 701-717

G. Della Penna, A. Di Marco, B. Intrigila, I. Melatti, A. Pierantonio. Xere: Towards a Natural Interoperability between XML and ER Diagrams, FASE 2003

G. Della Penna, B. Intrigila, I. Melatti, M. Minichino, E. Ciancamerla, A. Parisse, E. Tronci, M. Venturini Zilli. Automatic Verification of a Turbogas Control System with the Murphi Verifier, HSCC 2003

M. Caporuscio, P. Inverardi. Yet Another Framework for Supporting Mobile and Collaborative Work, International Workshop on Distributed and Mobile Collaboration(DMC2003). IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2003).

P. Inverardi, Massimo Tivoli. Deadlock free Software Architectures for COM/DCOM Applications, , Tech. Report

F. Corradini, Dino Di Cola. The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes, Mathematical Structures in Computer Science

F. Corradini, Walter Vogler, Lars Jenner. Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS, Published: Acta Informatica (11):38



Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›


Numerous articles published in international scientific journals, books, and ...

continua ›

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›