| 2005 |
|---|
| 16 | EE | Teodor Knapik,
Damian Niwinski,
Pawel Urzyczyn,
Igor Walukiewicz:
Unsafe Grammars and Panic Automata.
ICALP 2005: 1450-1461 |
| 2003 |
|---|
| 15 | EE | Christian Delhommé,
Teodor Knapik,
D. Gnanaraj Thomas:
Using Transitive-Closure Logic for Deciding Linear Properties of Monoids.
MFCS 2003: 378-387 |
| 2002 |
|---|
| 14 | EE | Teodor Knapik,
Damian Niwinski,
Pawel Urzyczyn:
Higher-Order Pushdown Trees Are Easy.
FoSSaCS 2002: 205-222 |
| 13 | EE | Didier Caucal,
Teodor Knapik:
A Chomsky-Like Hierarchy of Infinite Graphs.
MFCS 2002: 177-187 |
| 12 | | Teodor Knapik:
Checking Simple Properties of Transition Systems Defined by Thue Specifications.
J. Autom. Reasoning 28(5): 337-369 (2002) |
| 11 | EE | Bruno Courcelle,
Teodor Knapik:
The evaluation of first-order substitution is monadic second-order compatible.
Theor. Comput. Sci. 281(1-2): 177-206 (2002) |
| 2001 |
|---|
| 10 | EE | Teodor Knapik,
Damian Niwinski,
Pawel Urzyczyn:
Deciding Monadic Theories of Hyperalgebraic Trees.
TLCA 2001: 253-267 |
| 9 | EE | Didier Caucal,
Teodor Knapik:
An Internal Presentation of Regular Graphs by Prefix-Recognizable Graphs.
Theory Comput. Syst. 34(4): 299-336 (2001) |
| 1999 |
|---|
| 8 | EE | Teodor Knapik,
Étienne Payet:
Synchronized Product of Linear Bounded Machines.
FCT 1999: 362-373 |
| 7 | | Teodor Knapik,
Hugues Calbrix:
Thue Specifications and Their Monadic Second-order Properties.
Fundam. Inform. 39(3): 305-325 (1999) |
| 1998 |
|---|
| 6 | | Hugues Calbrix,
Teodor Knapik:
A String-Rewriting Characterization of Muller and Schupp's Context-Free Graphs.
FSTTCS 1998: 331-342 |
| 5 | EE | Teodor Knapik,
Étienne Payet:
The Full Quotient and its Closure Property for Regular Languages.
Inf. Process. Lett. 65(2): 57-62 (1998) |
| 1995 |
|---|
| 4 | EE | Gilles Bernot,
Michel Bidoit,
Teodor Knapik:
Observational Specifications and the Indistinguishability Assumption.
Theor. Comput. Sci. 139(1&2): 275-314 (1995) |
| 1994 |
|---|
| 3 | | Gilles Bernot,
Michel Bidoit,
Teodor Knapik:
Behavioural Approaches to Algebraic Specifications: A Comparative Study.
Acta Inf. 31(7): 651-671 (1994) |
| 1992 |
|---|
| 2 | | Gilles Bernot,
Michel Bidoit,
Teodor Knapik:
Towards an Adequate Notion of Observation.
ESOP 1992: 39-55 |
| 1991 |
|---|
| 1 | | Teodor Knapik:
Specifications with Observable Formulae and Observational Satisfaction Relation.
COMPASS/ADT 1991: 271-291 |
