Toni Mancini

Annalisa Massini

Enrico Tronci

Parallel Process. Lett., 2017

On minimising the maximum expected verification time.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

2016

Anytime system level verification via parallel random exhaustive hardware in the loop simulation.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2016

SyLVaaS: System Level Formal Verification as a Service.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Experimental evaluation of algorithms for solving problems with combinatorial explosion.

[BibT_eX]

[DOI]

Marco Maratea

Francesco Ricca

AI Commun., 2016

2015

20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

Marco Maratea

Francesco Ricca

J. Exp. Theor. Artif. Intell., 2015

Simulator Semantics for System Level Formal Verification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Experimental evaluation of algorithms for solving problems with combinatorial explosion.

[BibT_eX]

[DOI]

Angelo Oddi

AI Commun., 2015

Computing Biological Model Parameters by Parallel Statistical Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics and Biomedical Engineering, 2015

User Flexibility Aware Price Policy Synthesis for Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Now or Never: Negotiating Efficiently with Unknown Counterparts.

[BibT_eX]

[DOI]

Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2014

Demand-aware price policy synthesis and verification services for Smart Grids.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Patient-specific models from inter-patient biological models and clinical records.

[BibT_eX]

[DOI]

Tillmann H. C. Kruger

Marcel Egli

Fabian Ille

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

Automated reasoning.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

Finite model reasoning on UML class diagrams via constraint programming.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

System Level Formal Verification via Model Checking Driven Simulation.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

18th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

AI Commun., 2012

Combinatorial problem solving over relational databases: view synthesis through constraint-based local search.

[BibT_eX]

[DOI]

Pierre Flener

Justin Pearson

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.

[BibT_eX]

[DOI]

Alberto Pettorossi

Fundam. Informaticae, 2011

17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2011

2010

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

2009

Generalizing consistency and other constraint properties to quantified constraints.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

Negotiation Exploiting Reasoning by Projections.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Practical Applications of Agents and Multi-Agent Systems, 2009

Constrained Optimization Over Massive Databases.

[BibT_eX]

[DOI]

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2008

RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion.

[BibT_eX]

[DOI]

J. Algorithms, 2008

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2008

Evaluating ASP and Commercial Solvers on the CSPLib.

[BibT_eX]

[DOI]

Constraints An Int. J., 2008

2007

Combining relational algebra, SQL, constraint modelling, and local search.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

Exploiting functional dependencies in declarative problem specifications.

[BibT_eX]

[DOI]

Artif. Intell., 2007

Using a Theorem Prover for Reasoning on Constraint Problems.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2007

Complexity of Pure Equilibria in Bayesian Games.

[BibT_eX]

[DOI]

Georg Gottlob

Gianluigi Greco

Proceedings of the IJCAI 2007, 2007

Conditional Constraint Satisfaction: Logical Foundations and Complexity.

[BibT_eX]

[DOI]

Georg Gottlob

Gianluigi Greco

Proceedings of the IJCAI 2007, 2007

2006

Automated reformulation of specifications by safe delay of constraints.

[BibT_eX]

[DOI]

Artif. Intell., 2006

Evaluating ASP and commercial solvers on the CSPLib (Preliminary work).

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

SAT as an Effective Solving Technology for Constraint Problems.

[BibT_eX]

[DOI]

Fabio Patrizi

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

2005

Detecting and Breaking Symmetries by Reasoning on Problem Specifications.

[BibT_eX]

[DOI]

Proceedings of the Abstraction, 2005

CSP Properties for Quantified Constraints: Definitions and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

Finite Satisfiability of UML Class Diagrams by Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Scaling Up Reasoning about Actions Using Relational Database Technology.

[BibT_eX]

[DOI]

Giuseppe De Giacomo

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Reformulation Techniques for a Class of Permutation Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Towards automated reformulation of specications.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Knowledge Compilation = Query Rewriting + View Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Combining Relational Algebra, SQL, and Constraint Programming.

[BibT_eX]

[DOI]