Teodor Knapik - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2018

Shelah-Stupp's Iteration and Muchnik's IterationDidier Caucal, Teodor Knapik. FUIN, 159(4):327-359, 2018. [doi]

Shelah-Stupp's Iteration and Muchnik's IterationDidier Caucal, Teodor Knapik. FUIN, 159(4):327-359, 2018. [doi]

2013

Verification of Message Sequence StructuresMeenakshi D'Souza, Teodor Knapik. icdcit 2013: 171-182 [doi]

2011

Higher order indexed monadic systemsDidier Caucal, Teodor Knapik. fsttcs 2011: 469-480 [doi]

2005

Unsafe Grammars and Panic AutomataTeodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz. icalp 2005: 1450-1461 [doi]

2003

Using Transitive-Closure Logic for Deciding Linear Properties of MonoidsChristian Delhommé, Teodor Knapik, D. Gnanaraj Thomas. mfcs 2003: 378-387 [doi]

2002

A Chomsky-Like Hierarchy of Infinite GraphsDidier Caucal, Teodor Knapik. mfcs 2002: 177-187 [doi]

The evaluation of first-order substitution is monadic second-order compatibleBruno Courcelle, Teodor Knapik. TCS, 281(1-2):177-206, 2002. [doi]

Higher-Order Pushdown Trees Are EasyTeodor Knapik, Damian Niwinski, Pawel Urzyczyn. fossacs 2002: 205-222 [doi]

Checking Simple Properties of Transition Systems Defined by Thue SpecificationsTeodor Knapik. JAR, 28(5):337-369, 2002.

2001

An Internal Presentation of Regular Graphs by Prefix-Recognizable GraphsDidier Caucal, Teodor Knapik. mst, 34(4):299-336, 2001. [doi]

Deciding Monadic Theories of Hyperalgebraic TreesTeodor Knapik, Damian Niwinski, Pawel Urzyczyn. tlca 2001: 253-267 [doi]

1999

Thue Specifications and Their Monadic Second-order PropertiesTeodor Knapik, Hugues Calbrix. FUIN, 39(3):305-325, 1999.

Synchronized Product of Linear Bounded MachinesTeodor Knapik, Étienne Payet. fct 1999: 362-373 [doi]

1998

A String-Rewriting Characterization of Muller and Schupp s Context-Free GraphsHugues Calbrix, Teodor Knapik. fsttcs 1998: 331-342

The Full Quotient and its Closure Property for Regular LanguagesTeodor Knapik, Étienne Payet. ipl, 65(2):57-62, 1998. [doi]

1995

Observational Specifications and the Indistinguishability AssumptionGilles Bernot, Michel Bidoit, Teodor Knapik. TCS, 139(1&2):275-314, 1995. [doi]

1994

Behavioural Approaches to Algebraic Specifications: A Comparative StudyGilles Bernot, Michel Bidoit, Teodor Knapik. ACTA, 31(7):651-671, 1994.

1992

Towards an Adequate Notion of ObservationGilles Bernot, Michel Bidoit, Teodor Knapik. ESOP 1992: 39-55

1991

Specifications with Observable Formulae and Observational Satisfaction RelationTeodor Knapik. compass 1993: 271-291

Sign in or sign up to see more results.

runs on WebDSL