Witold Charatonik

Available identifiers

zbMath Open charatonik.witoldMaRDI QIDQ1271567

List of research outcomes

Publication	Date of Publication	Type
Set constraints in some equational theories	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5089007	2022-07-18	Paper
An abstract machine for strong call by value	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q5136301	2020-11-25	Paper
Extending Two-Variable Logic on Trees	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5111306	2020-05-26	Paper
Two-variable First-Order Logic with Counting in Forests	2019-07-04	Paper
Decidability of weak logics with deterministic transitive closure	2018-04-23	Paper
Two-variable Logic with Counting and a Linear Order	2017-08-31	Paper
Two-Variable Logic with Counting and Trees	2017-07-13	Paper
Complexity of Two-Variable Logic on Finite Trees	2017-07-13	Paper
Two-Variable Logic with Counting and Trees	2017-07-03	Paper
Two-variable Logic with Counting and a Linear Order	2016-07-06	Paper
Paths vs. trees in set-based program analysis	2015-03-17	Paper
Parameterized complexity of basic decision problems for tree automata	2013-10-22	Paper
Complexity of Two-Variable Logic on Finite Trees	2013-08-07	Paper
The Parameterized Complexity of Chosen Problems for Finite Automata on Trees	2011-06-03	Paper
On the Complexity of the Bernays-Schönfinkel Class with Datalog	2010-10-12	Paper
Set constraints with projections	2010-07-14	Paper
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates	2009-01-27	Paper
Quantified Positive Temporal Constraints	2008-11-20	Paper
Computer Science Logic	2006-11-01	Paper
Set constraints with intersection	2006-10-10	Paper
Model checking mobile ambients	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4808755	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4809160	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4736991	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738363	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4484507	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4783317	2002-12-04	Paper
Set constraints in some equational theories	2002-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q2769429	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4518877	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4936126	2000-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4266519	1999-10-04	Paper
An undecidable fragment of the theory of set constraints	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4217932	1998-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4375589	1998-02-08	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Witold Charatonik