# Nicolas Peltier

Orcid: 0000-0002-8943-7000
According to our database

Collaborative distances:

^{1}, Nicolas Peltier authored at least 131 papers between 1994 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

J. Log. Comput., 2024

Proceedings of the Logic, Language, Information, and Computation, 2024

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

J. Autom. Reason., September, 2023

Inf. Process. Lett., August, 2023

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates.

CoRR, 2023

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

J. Autom. Reason., 2022

Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules.

Inf. Process. Lett., 2022

CoRR, 2022

A Proof Procedure For Separation Logic With Inductive Definitions and Theory Reasoning.

CoRR, 2022

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

2021

CoRR, 2021

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Establishment.

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

Proceedings of the Automated Deduction - CADE 28, 2021

2020

The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates.

ACM Trans. Comput. Log., 2020

J. Autom. Reason., 2020

Formalizing the Cox-Ross-Rubinstein Pricing of European Derivatives in Isabelle/HOL.

J. Autom. Reason., 2020

Checking Entailment Between Separation Logic Symbolic Heaps: Beyond Connected and Established Systems.

CoRR, 2020

Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems.

CoRR, 2020

Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard.

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms, 2020

2019

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

CoRR, 2018

CoRR, 2018

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules.

J. Log. Comput., 2017

J. Log. Comput., 2017

J. Artif. Intell. Res., 2017

Proceedings of the Automated Deduction - CADE 26, 2017

2016

J. Autom. Reason., 2016

J. Autom. Reason., 2016

Arch. Formal Proofs, 2016

Arch. Formal Proofs, 2016

2015

Proceedings of the Language and Automata Theory and Applications, 2015

A simulation framework for rapid prototyping and evaluation of thermal mitigation techniques in many-core architectures.

Proceedings of the IEEE/ACM International Symposium on Low Power Electronics and Design, 2015

Proceedings of the Automated Deduction - CADE-25, 2015

2014

Proceedings of the Computational Approaches to Analogical Reasoning: Current Trends, 2014

J. Log. Comput., 2014

J. Autom. Reason., 2014

Early design stage thermal evaluation and mitigation: The locomotiv architectural case.

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Proceedings of the IEEE 2014 Custom Integrated Circuits Conference, 2014

A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses.

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

ACM Trans. Comput. Log., 2013

Fundam. Informaticae, 2013

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Proceedings of the IJCAI 2013, 2013

Proceedings of the Frontiers of Combining Systems, 2013

Proceedings of the Automated Deduction - CADE-24, 2013

System-level thermal modeling for 3D circuits: Characterization with a 65nm memory-on-logic circuit.

Proceedings of the 2013 IEEE International 3D Systems Integration Conference (3DIC), 2013

2012

J. Symb. Comput., 2012

J. Autom. Reason., 2012

CoRR, 2012

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

J. Artif. Intell. Res., 2011

Inf. Process. Lett., 2011

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

CoRR, 2011

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Generating Schemata of Resolution Proofs.

Proceedings of the TABLEAUX 2011, 2011

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

J. Log. Comput., 2010

CoRR, 2010

Ann. Math. Artif. Intell., 2010

Proceedings of the Language and Automata Theory and Applications, 2010

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

<i>I</i>-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness.

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Ann. Math. Artif. Intell., 2009

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

Proceedings of the Automated Deduction, 2009

2008

Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview.

Int. J. Intell. Syst., 2008

Discret. Appl. Math., 2008

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Fundam. Informaticae, 2007

Proceedings of the Logic, 2007

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

J. Autom. Reason., 2005

Log. J. IGPL, 2005

2004

Theor. Comput. Sci., 2004

A Proof Procedure for Functional First Order Logic Programs with Non-Deterministic Lazy Functions and Built-in Predicates.

J. Funct. Log. Program., 2004

Representing and Building Models for Decidable Subclasses of Equational Clausal Logic.

J. Autom. Reason., 2004

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003

J. Symb. Comput., 2003

Model building with ordered resolution: extracting models from saturated clause sets.

J. Symb. Comput., 2003

Building Infinite Models for Equational Clause Sets: Constructing Non-Ambiguous Formulae.

Log. J. IGPL, 2003

Extracting models from clause sets saturated under semantic refinements of the resolution rule.

Inf. Comput., 2003

Fundam. Informaticae, 2003

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models.

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

2001

Log. J. IGPL, 2001

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models.

J. Symb. Comput., 2000

Proceedings of the Automated Deduction, 2000

The Connection Method, Constraints and Model Building.

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1999

Log. J. IGPL, 1999

1998

A New Method for Automated Finite Model Building Exploiting Failures and Symmetries.

J. Log. Comput., 1998

J. Autom. Reason., 1998

Proceedings of the Automated Deduction, 1998

1997

Nouvelles techniques pour la construction de modèles finis ou infinis en déduction automatique. (New techniques for finite or infinite model building in automated deduction).

PhD thesis, 1997

Increasing Model Building Capabilities by Constraint Solving on Terms with Integer Exponents.

J. Symb. Comput., 1997

J. Autom. Reason., 1997

Fundam. Informaticae, 1997

Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models.

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Proceedings of the Automated Deduction, 1997

1996

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

Disc<sub>Atinf</sub>: A General Framework for Implementing Calculi and Strategies.

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

A Method for Building Models Automatically. Experiments with an Extension of OTTER.

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994