Maria Chiara Meo

Math. Struct. Comput. Sci., 2022

Timed Concurrent Language for Argumentation: An Interleaving Approach.

[BibT_eX]

[DOI]

Stefano Bistarelli

Carlo Taticchi

Proceedings of the Practical Aspects of Declarative Languages, 2022

On the Need for a Common API for Abstract Domains of Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022

2021

Timed Concurrent Language for Argumentation.

[BibT_eX]

[DOI]

Stefano Bistarelli

Carlo Taticchi

Proceedings of the 36th Italian Conference on Computational Logic, 2021

Concurrent Argumentation with Time: an Overview.

[BibT_eX]

[DOI]

Stefano Bistarelli

Carlo Taticchi

Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

On collecting semantics for program analysis.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

2019

Semantics and Controllability of Time-Aware Business Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

2018

Descending chains and narrowing on template abstract domains.

[BibT_eX]

[DOI]

Simone Di Nardo Di Maio

Acta Informatica, 2018

A Taxonomy of Program Analyses.

[BibT_eX]

[DOI]

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

2017

Verifying Controllability of Time-Aware Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

2016

Verification of Time-Aware Business Processes Using Constrained Horn Clauses.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

Unfolding for CHR programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Timed soft concurrent constraint programs: An interleaved and a parallel approach.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Exploiting Linearity in Sharing Analysis of Object-oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Narrowing Operators on Template Abstract Domains.

[BibT_eX]

[DOI]

Simone Di Nardo Di Maio

Proceedings of the FM 2015: Formal Methods, 2015

2013

The expressive power of CHR with priorities.

[BibT_eX]

[DOI]

Jacopo Mauro

Inf. Comput., 2013

2012

On the Expressive Power of Multiple Heads in CHR.

[BibT_eX]

[DOI]

Cinzia Di Giusto

ACM Trans. Comput. Log., 2012

2010

Decidability properties for fragments of CHR.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Theoretical Foundations and Semantics of Logic Programming.

[BibT_eX]

[DOI]

Annalisa Bossi

Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010

2009

A compositional semantics for CHR.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Expressiveness of Multiple Heads in CHR.

[BibT_eX]

[DOI]

Cinzia Di Giusto

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

On the expressive power of priorities in CHR.

[BibT_eX]

[DOI]

Jacopo Mauro

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

A Compositional Semantics for CHR with Propagation Rules.

[BibT_eX]

[DOI]

Paolo Tacchella

Proceedings of the Constraint Handling Rules, 2008

Timed Soft Concurrent Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007

Unfolding in CHR.

[BibT_eX]

[DOI]

Paolo Tacchella

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2005

A compositional semantics for CHR.

[BibT_eX]

[DOI]

Giorgio Delzanno

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

2004

Proving correctness of timed concurrent constraint programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2004

A Timed Linda Language and its Denotational Semantics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

2003

Compositional Verification of Infinite State Systems.

[BibT_eX]

[DOI]

Giorgio Delzanno

Proceedings of the Logic Programming, 19th International Conference, 2003

2001

Transformations of CCP programs.

[BibT_eX]

[DOI]

Sandro Etalle

ACM Trans. Program. Lang. Syst., 2001

A Theory of Observables for Logic Programs.

[BibT_eX]

[DOI]

Marco Comini

Inf. Comput., 2001

Preface.

[BibT_eX]

[DOI]

Agostino Dovier

Andrea Omicini

Proceedings of the Declarative Programming, 2001

A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Denotational Semantics for Timed Linda.

[BibT_eX]

[DOI]

Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

2000

A Timed Concurrent Constraint Language.

[BibT_eX]

[DOI]

Inf. Comput., 2000

A Timed Linda Language.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999

Compositionality Properties of <i>SLD</i>-Derivations.

[BibT_eX]

[DOI]

Marco Comini

Theor. Comput. Sci., 1999

Abstract Diagnosis.

[BibT_eX]

[DOI]

J. Log. Program., 1999

On the Expressiveness of Concurrent Constraint Languages.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Unfold/Fold Transformations of CCP Programs.

[BibT_eX]

[DOI]

Sandro Etalle

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Semantics and Expressive Power of a Timed Concurrent Constraint Language.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Differential Logic Programs: Programming Methodologies and Semantics.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1996

Resultants Semantics for Prolog.

[BibT_eX]

[DOI]

J. Log. Comput., 1996

Proving Properties of Logic Programs by Abstract Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995

Observable Behaviors and Equivalences of Logic Programs

[BibT_eX]

[DOI]

Inf. Comput., October, 1995

Compositionality in SLD-Derivations and their Abstractions.

[BibT_eX]

[DOI]

Marco Comini

Proceedings of the Logic Programming, 1995

1994

A Compositional Semantics for Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

A Bottom-up Semantics for Constructive Negation.

[BibT_eX]

Annalisa Bossi

Massimo Fabris

Proceedings of the Logic Programming, 1994

Compilative Constructive Negation in Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Trees in Algebra and Programming, 1994

1993

Differential Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Intensional Negation in Constraint Logic Programs.

[BibT_eX]

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

Observational Equivalences for Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1992

Contributions to the Semantics of Open Logic Programs.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns.

[BibT_eX]

[DOI]