italiano | contact
PUBLICATIONS

Special Issues/Journals/Books Proceedings Chapter Technical Report

1   |   2      »      

2003

D.Cantone, A.Formisano, E.G.Omodeo and C.G.Zarba. Compiling dyadic first-order specifications into map algebra, Theoretical Computer Science (2):293, pagg. 447-475

V. Cortellessa, A. Di Marco, P. Inverardi, F. Mancinelli, P. Pelliccione. Tool-One XML Integration Core Schemas, Dipartimento di Informatica, Università dell'Aquila, Tech. Report 2003/1

2002

E.-E. Doberkat and E.G. Omodeo. Algebraic semantics of ER-models in the context of the calculus of relations. II: Dynamic view, Relational methods in computer science, LNCS, pagg. 50-65

P. Caianiello, S. Costantini and E.G. Omodeo. An environment for stepwise map specification and reasoning in Prolog. I: Three language extension mechanisms, Joint Conference on Declarative Programming. AGP02

A. Formisano, E.G. Omodeo, and A.Policriti. Automation of aggregate theories: The cornerstones of equational expressibility, Joint Conference on Declarative Programming. AGP02

A. Formisano, E.G. Omodeo, and A.Policriti. The axiom of elementary sets. II: The edge of Peircean expressibility, Dipartimento di Matematica e Informatica, Univ. di Perugia, Tech. Report 2002/20/02

A. Formisano, E.G. Omodeo, and A. Policriti. The axiom of elementary sets. I: Three-variable statements of set-pairing, Dipartimento di Matematica e Informatica, Univ. di Perugia, Tech. Report 2002/19/02

A.Formisano, E.G.Omodeo, and A.Policriti. Three-variable statements of set-pairing, Denis Richard 60th Birthday Conference

E.G.Omodeo and J.T.Schwartz. A modularization mechanism for interactive proof-development, 2002-AMS and MAA Spring Southeastern Section Meeting

A.Formisano, E.G.Omodeo, and A.Policriti. Automated validation of three-variable formulations of set pairing, 2002-AMS and MAA Spring Southeastern Section Meeting

D. Cantone, E.G. Omodeo and P. Ursino. Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators, Information and Computation, pagg. 165-201

E.G.Omodeo and J.T.Schwartz. A "Theory" mechanism for a proof-verifier based on first-order set theory, "Computational Logic: Logic Programming and beyond", Essays in honour of Robert Kowalski, part II, LNAI, pagg. 214-230

2001

D. Cantone, E. Omodeo, and A.Policriti. Set Theory for Computing - From decision procedures to declarative programming with sets,

A.Dovier, A.Formisano and E.G.Omodeo. Decidability results for sets with atoms, Proceedings of the Joint Conference on Declarative Programming. AGP01, pagg. 245-259

A. Formisano, E.G.Omodeo, and A.Policriti. The edge of 3-variable-inexpressibility beside Tarski's Peircean formulation of set-pairing, ESSLLI Workshop on Logic and Games

A. Formisano, E.G.Omodeo, and A.Policriti. The axiom of elementary sets and Peircean expressibility, Vingtièmes Journées sur les Arithmétiques Faibles - 20th Weak Arithmetics Days

A. Formisano, E.G.Omodeo, and M.Temperini. Instructing equational set-reasoning with Otter, Automated Reasoning. Proc. of First International Joint Conference, IJCAR 2001--(CADE+FTP+TABLEAUX), LNCS, pagg. 152-167

A. Formisano, E.G.Omodeo, and M.Temperini. Layered map reasoning: An experimental approach put to trial on sets, Declarative Programming - Selected Papers from AGP 2000, Electronic Notes in Theoretical Computer Science, pagg. 1-28

E.G. Omodeo and E.-E. Doberkat. Algebraic semantics of ER-models in the context of the calculus of relations. I: Static view, Relational Methods in Software, RelMiS 2001 (ETAPS 2001), Electronic Notes in Theoretical Computer Science

A. Formisano, E.G.Omodeo, and M.Simeoni. A graphical approach to relational reasoning, Relational Methods in Software, RelMiS 2001 (ETAPS 2001), Electronic Notes in Theoretical Computer Science

 
 
 
 

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 ›