Gilles Dowek
Orcid: 000000016253935XAffiliations:
 INRIA, France
According to our database^{1},
Gilles Dowek
authored at least 131 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org

on id.loc.gov

on dnb.info
On csauthors.net:
Bibliography
2024
CoRR, 2024
CoRR, 2024
Proceedings of the Logic, Language, Information, and Computation, 2024
Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories colocated with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024
Proceedings of the Reversible Computation  16th International Conference, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
2023
Theor. Comput. Sci., October, 2023
Theor. Comput. Sci., May, 2023
Log. Methods Comput. Sci., 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
A Proof Synthesis Algorithm for a Mathematical Vernacular in the Calculus of Constructions.
CoRR, 2023
CoRR, 2023
The Undecidability of Third Order Pattern Matching in Calculi with Dependent Types or Type Constructors.
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View.
CoRR, 2023
The physical ChurchTuring thesis and non deterministic computation over the real numbers.
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
CoRR, 2023
2022
Confluence of leftlinear higherorder rewrite theories by checking their nested critical pairs.
Math. Struct. Comput. Sci., August, 2022
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022
From the Universality of Mathematical Truth to the Interoperability of Proof Systems.
Proceedings of the Automated Reasoning  11th International Joint Conference, 2022
2021
Proceedings of the Sixteenth Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, 2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
2020
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence, 2020
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence, 2020
2019
Comput. J., 2019
Biosyst., 2019
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019
2017
Log. Methods Comput. Sci., 2017
FLAP, 2017
Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems.
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017
Proceedings of the Theory and Practice of Natural Computing  6th International Conference, 2017
Models and Termination of Proof Reduction in the lambda PiCalculus Modulo Theory.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
2016
J. Log. Comput., 2016
Dagstuhl Reports, 2016
CoRR, 2016
CoRR, 2016
CoRR, 2016
2015
CoRR, 2015
CoRR, 2015
Proceedings of the Eleventh International Workshop on Developments in Computational Models, 2015
Proceedings of the Theory and Practice of Natural Computing, 2015
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015
Proceedings of the Frontiers of Combining Systems  10th International Symposium, 2015
2014
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics.
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014
Cutelimination and the decidability of reachability in alternating pushdown systems.
CoRR, 2014
2013
Inf. Comput., 2013
Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013
Proceedings of the Computer Science  Theory and Applications, 2013
2012
ACM Trans. Comput. Log., 2012
PNL to HOL: From the logic of nominal sets to the logic of higherorder functions.
Theor. Comput. Sci., 2012
Sci. Comput. Program., 2012
Notre Dame J. Formal Log., 2012
Nat. Comput., 2012
Nat. Comput., 2012
Int. J. Found. Comput. Sci., 2012
ERCIM News, 2012
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012
Around the Physical ChurchTuring Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory.
Proceedings of the Language and Automata Theory and Applications, 2012
Proceedings of the Automata, Languages, and Programming  39th International Colloquium, 2012
Nominal Semantics for Predicate Logic: Algebras, Substitution, Quantifiers, and Limits.
Proceedings of the 9th Italian Convention on Computational Logic, 2012
2011
Undergraduate Topics in Computer Science, Springer, ISBN: 9780857290762, 2011
Undergraduate Topics in Computer Science, Springer, ISBN: 9780857291219, 2011
Theor. Comput. Sci., 2011
Inf. Comput., 2011
From nominal sets binding to functions and lambdaabstraction: connecting the logic of permutation models with the logic of functions.
CoRR, 2011
2010
J. Autom. Reason., 2010
Permissive nominal terms and their unification: an infinite, coinfinite approach to nominal techniques.
Log. J. IGPL, 2010
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.
Proceedings of the Second NASA Formal Methods Symposium, 2010
Proceedings of the Theoretical Computer Science, 2010
Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010
2009
Undergraduate Topics in Computer Science, Springer, ISBN: 9781848820326, 2009
Log. J. IGPL, 2009
Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009
Comput. J., 2009
Proceedings of the Fourth International Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, 2009
2008
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008
2007
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007
2006
Eigenvariables, bracketing and the decidability of positive minimal predicate logic.
Theor. Comput. Sci., 2006
Proceedings of the Types for Proofs and Programs, International Workshop, 2006
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System.
Proceedings of the Rigorous Development of Complex FaultTolerant Systems [FP6 IST511599 RODIN project], 2006
2005
Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005
Proceedings of the Automated Deduction, 2005
2004
Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004
2003
Int. J. Softw. Tools Technol. Transf., 2003
J. Symb. Log., 2003
J. Autom. Reason., 2003
Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic.
Proceedings of the Mathematics, 2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
2002
Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002
Proceedings of the Logic for Programming, 2002
2001
Math. Struct. Comput. Sci., 2001
J. Log. Comput., 2001
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Inf. Comput., 2000
Proceedings of the Frontiers of Combining Systems, 2000
1999
Math. Struct. Comput. Sci., 1999
HOL<i>lambdasigma</i>: An Intentional FirstOrder Expression of HigherOrder Logic.
Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999
, 1999
1998
Automated Theorem Proving in FirstOrder Logic Modulo: On the Difference between Type Theory and Set Theory.
Proceedings of the Automated Deduction in Classical and NonClassical Logics, 1998
1997
Proceedings of the Theorem Proving in Higher Order Logics, 10th International Conference, 1997
1996
Proceedings of the Types for Proofs and Programs, 1996
Proceedings of the Logic Programming, 1996
1995
Proceedings of the Typed Lambda Calculi and Applications, 1995
Proceedings of the Proceedings, 1995
1994
Ann. Pure Appl. Log., 1994
1993
The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable.
Theor. Comput. Sci., 1993
J. Log. Comput., 1993
Proceedings of the Typed Lambda Calculi and Applications, 1993
1991
Démonstration Automatique dans le Calcul des Constructions. (Automated Theorem Proving in the Calculus of Constructions).
PhD thesis, 1991
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991