italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

[1]      «      36   |   37   |   38   |   39   |   40      »      [42]

1995

S. Orefice, G. Costagliola, A. De Lucia, G. Tortora. Automatic Generation of Visual Programming Environments, IEEE Computer (28):3, pagg. 56-66

S. Costantini, G. A. Lanzarone, L. Sbarbaro. A Formal Definition and a Sound Implementation of Analogical Reasoning in Logic Programming, Annals of Mathematics and Artificial Intelligence 14

S. Costantini. Contributions to the Stable Model Semantics of Logic Programs with Negation, Theoretical Computer Science 149

S. Costantini, G. A. Lanzarone. Static Semantics as Program Transformation and Well-Founded Computation, Non-Monotonic Extensions of Logic Programming, Lecture Notes in Artificial Intelligence

P. Inverardi and M. Nesi. Infinite Normal Forms for Non-linear Term Rewriting Systems, Theoretical Computer Science (152):, pagg. 285-303

P. Inverardi and M. Nesi. Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting, Theoretical Computer Science (139):, pagg. 315-354

A. Pierantonio. Making Statics Dynamic: Towards an Axiomatization for Dynamic ADTs, International Workshop on Communication based Systems, pagg. 19-34

1994

F. Parisi-Presicce, A. Pierantonio. An Algebraic Theory of Class Specifications, ACM Transaction on Software Engineering and Methodology (3):2, pagg. 166-199

F. Parisi-Presicce, A. Pierantonio. Reusing Object-Oriented Design: An Algebraic Approach, International Symposium on Object-Oriented Methodologies and Systems, LNCS, pagg. 329-345

P. Inverardi. Rewriting for Preorder Relations, CTRS 1994, LNCS

P. Inverardi, M. Venturini-Zilli. Rational Rewriting, MFCS 1994, LNCS

P. Inverardi, N. De Francesco. Proving Fineteness of CCS Processes by Non-standard Semantics, ACTA INFORMATICA (31):1, pagg. 55-80

P. Inverardi, D. Yankelevich, C. Priami. Automatizing Parametric Reasoning on Distribuited Systems, Formal Aspects of Computing 1994 (6):, pagg. 676-695

P. Inverardi, P. Asirelli, D. Di Grande, F. Nicodemi. Graphics by a Logic Database Management System, Journal of Visual Languages and Computing (5):, pagg. 365-388

F. Corradini, Rocco De Nicola. Distribution and Locality of Concurrent Systems, ICALP'94, LNCS, pagg. 154-165

M. Flammini. km-DNF Formulae are Learnable under Product Distribution, Information Processing Letters (52):3, pagg. 167-173

M. Flammini, G.Gambosi, S.Salomone. Interval Routing Schemes for Chordal Rings, 1st Colloquium on Structural Information and Communication Complexity (SICC)

S. Costantini, G. A. Lanzarone. A Metalogic Programming Approach: Language, Semantics and Applications, JETAI, International Journal of Experimental and Theoretical Artificial Intelligence

M. Nesi, V. de Paiva and E. Ritter. Rewriting Properties of Combinators for Rudimentary Linear Logic, International Workshop on Higher Order Algebra, Logic and Term Rewriting - HOA'93, Lecture Notes in Computer Science, pagg. 256-275

Francesco Parisi-Presicce, Alfonso Pierantonio. Towards the Algebraic Specification of Classes in Object Oriented Programming, Bulletin of the European Association for Theoretical Computer Science vol. 45 (1991) pp 86-97. Also in Current Trends in Theoretical Computer Science, Essays and Tutorials (eds. G.Rozenberg and A. Salomaa), World Scientific

 
 
 
 

Organization

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

continua ›
 
 
 
 

Publications

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

continua ›
 
 
 
 

Job Postings

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

continua ›