Witold Charatonik

According to our database, Witold Charatonik authored at least 47 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

A simple and efficient implementation of strong call by need by an abstract machine.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Proc. ACM Program. Lang., 2022

The Zoo of Lambda-Calculus Reduction Strategies, And Coq.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Strong Call by Value is Reasonable for Time.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

CoRR, 2021

A Derived Reasonable Abstract Machine for Strong Call by Value.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

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

2020

An Abstract Machine for Strong Call by Value.

Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Deriving an Abstract Machine for Strong Call by Need.

Malgorzata Biernacka, Witold Charatonik

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

Two-variable First-Order Logic with Counting in Forests.

Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Generalized Refocusing: From Hybrid Strategies to Abstract Machines.

Malgorzata Biernacka, Witold Charatonik, Klara Zielinska

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Modulo Counting on Words and Trees.

Bartosz Bednarczyk, Witold Charatonik

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

Extending Two-Variable Logic on Trees.

Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016

Two-Variable Logic with Counting and Trees.

Witold Charatonik, Piotr Witkowski

ACM Trans. Comput. Log., 2016

Complexity of Two-Variable Logic on Finite Trees.

Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell

ACM Trans. Comput. Log., 2016

Two-variable Logic with Counting and a Linear Order.

Witold Charatonik, Piotr Witkowski

Log. Methods Comput. Sci., 2016

Bounded Model Checking of Pointer Programs Revisited.

Witold Charatonik, Piotr Witkowski

CoRR, 2016

2014

Decidability of weak logics with deterministic transitive closure.

Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Parameterized complexity of basic decision problems for tree automata.

Witold Charatonik, Agata Chorowska

Int. J. Comput. Math., 2013

Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees

Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki

CoRR, 2013

2011

The Parameterized Complexity of Chosen Problems for Finite Automata on Trees.

Agata Barecka, Witold Charatonik

Proceedings of the Language and Automata Theory and Applications, 2011

2010

Set constraints with projections.

Witold Charatonik, Leszek Pacholski

J. ACM, 2010

On the Complexity of the Bernays-Schönfinkel Class with Datalog.

Witold Charatonik, Piotr Witkowski

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2008

Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates.

Witold Charatonik, Michal Wrona

Proceedings of the Logic for Programming, 2008

Quantified Positive Temporal Constraints.

Witold Charatonik, Michal Wrona

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007

Regular directional types for logic programs.

Witold Charatonik

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

2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices.

Witold Charatonik, Michal Wrona

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

2005

Bounded Model Checking of Pointer Programs.

Witold Charatonik, Lilia Georgieva, Patrick Maier

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2003

Model checking mobile ambients.

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Theor. Comput. Sci., 2003

2002

Set Constraints with Intersection.

Witold Charatonik, Andreas Podelski

Inf. Comput., 2002

Compositional Termination Analysis of Symbolic Forward Analysis.

Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski

Proceedings of the Verification, 2002

Atomic Set Constraints with Projection.

Witold Charatonik, Jean-Marc Talbot

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.

Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski

Proceedings of the Logic Programming, 18th International Conference, 2002

Finite-Control Mobile Ambients.

Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot

Proceedings of the Programming Languages and Systems, 2002

On Name Generation and Set-Based Analysis in the Dolev-Yao Model.

Roberto M. Amadio, Witold Charatonik

Proceedings of the CONCUR 2002, 2002

2001

The Complexity of Model Checking Mobile Ambients.

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

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

The Decidability of Model Checking Mobile Ambients.

Witold Charatonik, Jean-Marc Talbot

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Paths vs. Trees in Set-Based Program Analysis.

Witold Charatonik, Andreas Podelski, Jean-Marc Talbot

Proceedings of the POPL 2000, 2000

Directional Type Checking for Logic Programs: Beyond Discriminative Types.

Witold Charatonik

Proceedings of the Programming Languages and Systems, 2000

1999

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.

Andreas Podelski, Witold Charatonik, Martin Müller

Proceedings of the Programming Languages and Systems, 1999

1998

An Undecidable Fragment of the Theory of Set Constraints.

Witold Charatonik

Inf. Process. Lett., 1998

Set Constraints in Some Equational Theories.

Witold Charatonik

Inf. Comput., 1998

Set-Based Analysis of Reactive Infinite-State Systems.

Witold Charatonik, Andreas Podelski

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Directional Type Inference for Logic Programs.

Witold Charatonik, Andreas Podelski

Proceedings of the Static Analysis, 5th International Symposium, 1998

Co-definite Set Constraints.

Witold Charatonik, Andreas Podelski

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

The Horn Mu-calculus.

Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1996

The Independence Property of a Class of Set Constraints.

Witold Charatonik, Andreas Podelski

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1994

Negative Set Constraints with Equality

Witold Charatonik, Leszek Pacholski

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Set constraints with projections are in NEXPTIME

Witold Charatonik, Leszek Pacholski

Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994

1991

Word Equations with Two Variables.

Witold Charatonik, Leszek Pacholski

Proceedings of the Word Equations and Related Topics, Second International Workshop, 1991