Teodor Knapik

	2011
17		Didier Caucal, Teodor Knapik: Higher order indexed monadic systems. FSTTCS 2011: 469-480
	2005
16		Teodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz: Unsafe Grammars and Panic Automata. ICALP 2005: 1450-1461
	2003
15		Christian Delhommé, Teodor Knapik, D. Gnanaraj Thomas: Using Transitive-Closure Logic for Deciding Linear Properties of Monoids. MFCS 2003: 378-387
	2002
14		Teodor Knapik, Damian Niwinski, Pawel Urzyczyn: Higher-Order Pushdown Trees Are Easy. FoSSaCS 2002: 205-222
13		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		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		Teodor Knapik, Damian Niwinski, Pawel Urzyczyn: Deciding Monadic Theories of Hyperalgebraic Trees. TLCA 2001: 253-267
9		Didier Caucal, Teodor Knapik: An Internal Presentation of Regular Graphs by Prefix-Recognizable Graphs. Theory Comput. Syst. 34(4): 299-336 (2001)
	1999
8		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		Teodor Knapik, Étienne Payet: The Full Quotient and its Closure Property for Regular Languages. Inf. Process. Lett. 65(2): 57-62 (1998)
	1995
4		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

Coauthor Index

1	Gilles Bernot	[2] [3] [4]
2	Michel Bidoit	[2] [3] [4]
3	Hugues Calbrix	[6] [7]
4	Didier Caucal	[9] [13] [17]
5	Bruno Courcelle	[11]
6	Christian Delhommé	[15]
7	Damian Niwinski	[10] [14] [16]
8	Étienne Payet	[5] [8]
9	D. Gnanaraj Thomas (D. G. Thomas)	[15]
10	Pawel Urzyczyn	[10] [14] [16]
11	Igor Walukiewicz	[16]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page