|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 12 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Agata Barecka, Witold Charatonik |
The Parameterized Complexity of Chosen Problems for Finite Automata on Trees.  |
LATA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Leszek Pacholski |
Set constraints with projections. |
J. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Piotr Witkowski |
On the Complexity of the Bernays-Schönfinkel Class with Datalog. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala (eds.) |
Fundamentals of Computation Theory, 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009. Proceedings |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Michal Wrona |
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Michal Wrona |
Quantified Positive Temporal Constraints. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Michal Wrona |
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. |
ISMVL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik |
Regular directional types for logic programs. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Lilia Georgieva, Patrick Maier |
Bounded Model Checking of Pointer Programs. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot |
Model checking mobile ambients. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Set Constraints with Intersection. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Witold Charatonik |
On Name Generation and Set-Based Analysis in the Dolev-Yao Model. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
name generation, verification, cryptographic protocols, set constraints |
| 1 | Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski |
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Jean-Marc Talbot |
Atomic Set Constraints with Projection. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski |
Compositional Termination Analysis of Symbolic Forward Analysis. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot |
Finite-Control Mobile Ambients. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Jean-Marc Talbot |
The Decidability of Model Checking Mobile Ambients. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot |
The Complexity of Model Checking Mobile Ambients. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski, Jean-Marc Talbot |
Paths vs. Trees in Set-Based Program Analysis. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik |
Directional Type Checking for Logic Programs: Beyond Discriminative Types. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
types in logic programming, directional types, tree automata, regular types |
| 1 | Andreas Podelski, Witold Charatonik, Martin Müller |
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik |
An Undecidable Fragment of the Theory of Set Constraints. |
Inf. Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik |
Set Constraints in Some Equational Theories. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Set-Based Analysis of Reactive Infinite-State Systems. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Co-definite Set Constraints. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz |
The Horn Mu-calculus. |
LICS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Directional Type Inference for Logic Programs. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Andreas Podelski |
Set Constraints with Intersection. |
LICS |
1997 |
DBLP DOI BibTeX RDF |
satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints |
| 1 | Witold Charatonik, Andreas Podelski |
The Independence Property of a Class of Set Constraints. |
CP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Leszek Pacholski |
Negative Set Constraints with Equality |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Leszek Pacholski |
Set constraints with projections are in NEXPTIME |
FOCS |
1994 |
DBLP DOI BibTeX RDF |
negated set constraints, NEXPTIME, program analysis, projections, type inference, decidability, set constraints |
| 1 | Witold Charatonik |
Set Constraints in Some Equational Theories. |
CCL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Witold Charatonik, Leszek Pacholski |
Word Equations with Two Variables. |
IWWERT |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")