Witold Charatonik

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 17

Top Topics

Predicate Logic

Abstract Machine

Parameterized Complexity

Top Venues

ACM Trans. Comput. Log.

Publications

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
The Zoo of Lambda-Calculus Reduction Strategies, And Coq. ITP (2022)
Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
A simple and efficient implementation of strong call by need by an abstract machine. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
A Derived Reasonable Abstract Machine for Strong Call by Value. PPDP (2021)
Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
Strong Call by Value is Reasonable for Time. CoRR (2021)
Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
An Abstract Machine for Strong Call by Value. APLAS (2020)
Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
An Abstract Machine for Strong Call by Value. CoRR (2020)
Malgorzata Biernacka, Witold Charatonik
Deriving an Abstract Machine for Strong Call by Need. FSCD (2019)
Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski
Two-variable First-Order Logic with Counting in Forests. LPAR (2018)
Malgorzata Biernacka, Witold Charatonik, Klara Zielinska
Generalized Refocusing: From Hybrid Strategies to Abstract Machines. FSCD (2017)
Bartosz Bednarczyk, Witold Charatonik
Modulo Counting on Words and Trees. CoRR (2017)
Bartosz Bednarczyk, Witold Charatonik
Modulo Counting on Words and Trees. FSTTCS (2017)
Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski
Extending Two-Variable Logic on Trees. CSL (2017)
Witold Charatonik, Piotr Witkowski
Two-Variable Logic with Counting and Trees. ACM Trans. Comput. Log. 17 (4) (2016)
Witold Charatonik, Piotr Witkowski
Bounded Model Checking of Pointer Programs Revisited. CoRR (2016)
Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski
Extending Two-Variable Logic on Trees. CoRR (2016)
Witold Charatonik, Piotr Witkowski
Two-variable Logic with Counting and a Linear Order. Log. Methods Comput. Sci. 12 (2) (2016)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Complexity of Two-Variable Logic on Finite Trees. ACM Trans. Comput. Log. 17 (4) (2016)
Witold Charatonik, Piotr Witkowski
Two-variable Logic with Counting and a Linear Order. CSL (2015)
Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki
Decidability of weak logics with deterministic transitive closure. CSL-LICS (2014)
Witold Charatonik, Piotr Witkowski
Two-Variable Logic with Counting and Trees. LICS (2013)
Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki
Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees CoRR (2013)
Witold Charatonik, Agata Chorowska
Parameterized complexity of basic decision problems for tree automata. Int. J. Comput. Math. 90 (6) (2013)
Saguy Benaim, Michael Benedikt, Witold Charatonik, Emanuel Kieronski, Rastislav Lenhardt, Filip Mazowiecki, James Worrell
Complexity of Two-Variable Logic on Finite Trees. ICALP (2) (2013)
Agata Barecka, Witold Charatonik
The Parameterized Complexity of Chosen Problems for Finite Automata on Trees. LATA (2011)
Witold Charatonik, Piotr Witkowski
On the Complexity of the Bernays-Schönfinkel Class with Datalog. LPAR (Yogyakarta) (2010)
Witold Charatonik, Leszek Pacholski
Set constraints with projections. J. ACM 57 (4) (2010)
Witold Charatonik, Michal Wrona
Quantified Positive Temporal Constraints. CSL (2008)
Witold Charatonik, Michal Wrona
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. LPAR (2008)
Witold Charatonik, Michal Wrona
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. ISMVL (2007)
Witold Charatonik
Regular directional types for logic programs. PPDP (2007)
Witold Charatonik, Lilia Georgieva, Patrick Maier
Bounded Model Checking of Pointer Programs. CSL (2005)
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
Model checking mobile ambients. Theor. Comput. Sci. 308 (1-3) (2003)
Witold Charatonik, Jean-Marc Talbot
Atomic Set Constraints with Projection. RTA (2002)
Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot
Finite-Control Mobile Ambients. ESOP (2002)
Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
Compositional Termination Analysis of Symbolic Forward Analysis. VMCAI (2002)
Witold Charatonik, Andreas Podelski
Set Constraints with Intersection. Inf. Comput. 179 (2) (2002)
Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. ICLP (2002)
Roberto M. Amadio, Witold Charatonik
On Name Generation and Set-Based Analysis in the Dolev-Yao Model. CONCUR (2002)
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
The Complexity of Model Checking Mobile Ambients. FoSSaCS (2001)
Witold Charatonik, Jean-Marc Talbot
The Decidability of Model Checking Mobile Ambients. CSL (2001)
Witold Charatonik, Andreas Podelski, Jean-Marc Talbot
Paths vs. Trees in Set-Based Program Analysis. POPL (2000)
Witold Charatonik
Directional Type Checking for Logic Programs: Beyond Discriminative Types. ESOP (2000)
Andreas Podelski, Witold Charatonik, Martin Müller
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. ESOP (1999)
Witold Charatonik, Andreas Podelski
Co-definite Set Constraints. RTA (1998)
Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz
The Horn Mu-calculus. LICS (1998)
Witold Charatonik
Set Constraints in Some Equational Theories. Inf. Comput. 142 (1) (1998)
Witold Charatonik, Andreas Podelski
Directional Type Inference for Logic Programs. SAS (1998)
Witold Charatonik, Andreas Podelski
Set-Based Analysis of Reactive Infinite-State Systems. TACAS (1998)
Witold Charatonik
An Undecidable Fragment of the Theory of Set Constraints. Inf. Process. Lett. 68 (3) (1998)
Witold Charatonik, Andreas Podelski
Set Constraints with Intersection. LICS (1997)
Witold Charatonik, Andreas Podelski
The Independence Property of a Class of Set Constraints. CP (1996)
Witold Charatonik, Leszek Pacholski
Negative Set Constraints with Equality LICS (1994)
Witold Charatonik, Leszek Pacholski
Set constraints with projections are in NEXPTIME FOCS (1994)
Witold Charatonik
Set Constraints in Some Equational Theories. CCL (1994)
Witold Charatonik, Leszek Pacholski
Word Equations with Two Variables. IWWERT (1991)