Searching for authors named Witold Charatonik – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Directional Type Checking for Logic Programs: Beyond Discriminative Types
- …Directional Type Checking for Logic Programs: Beyond Discriminative Types Witold Charatonik Max…
- Cited by 7 (1 self) – Add To MetaCart
-
Automata on DAG Representations of Finite Trees
- … of Finite Trees Witold Charatonik MPI--I--1999--2--001 March 1999 FORSCHUNGSBERICHT RESEARCH REPORT M A X…
- Cited by 1 (0 self) – Add To MetaCart
-
The decidability of model checking mobile ambients
- …Model Checking Mobile Ambients Witold Charatonik1,2,7 Silvano Dal Zilio3 Andrew D. Gordon4…
- Cited by 29 (6 self) – Add To MetaCart
-
The Independence Property of a Class of Set Constraints
- …The Independence Property of a Class of Set Constraints Witold Charatonik Andreas Podelski Max…
- Cited by 11 (3 self) – Add To MetaCart
-
Solving Set Constraints for Greatest Models
- …Solving set constraints for greatest models Witold Charatonik Andreas Podelski MPI--I--97…
- Cited by 1 (0 self) – Add To MetaCart
-
Co-definite Set Constraints
- …Co-definite Set Constraints Witold Charatonik Andreas Podelski Max-Planck-Institut fur Informatik…
- Cited by 16 (8 self) – Add To MetaCart
-
Set Constraints with Intersection
- …Set Constraints with Intersection Witold Charatonik y;z and Andreas Podelski y y Max…
- Cited by 26 (8 self) – Add To MetaCart
-
Set constraints with projections are in NEXPTIME
- …Set constraints with projections are in NEXPTIME Witold Charatonik y Leszek Pacholski z CRIN…
- Cited by 30 (10 self) – Add To MetaCart
-
Negative Set Constraints With Equality
- …Negative set constraints with equality Witold Charatonik y Leszek Pacholski z Institute…
- Cited by 31 (10 self) – Add To MetaCart
-
Set-based Analysis of Reactive Infinite-state Systems
- …Set-based Analysis of Reactive Innite-state Systems Witold Charatonik ? Andreas Podelski Max…
- Cited by 26 (8 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
