Teodor Knapik

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 4

Top Topics

Viterbi Algorithm

Logical Theories

Top Venues

Fundam. Informaticae

Publications

Teodor Knapik
Lindenmayer graph languages, first-order theories and expanders. CoRR (2024)
Teodor Knapik, Adolphe Ratiarison, Hasina Razafindralambo
An experimental evaluation of choices of SSA forecasting parameters. CoRR (2024)
Teodor Knapik
Signal automata and hidden Markov models. CoRR (2021)
Didier Caucal, Teodor Knapik
Shelah-Stupp's Iteration and Muchnik's Iteration. Fundam. Informaticae 159 (4) (2018)
Meenakshi D'Souza, Teodor Knapik
Verification of Message Sequence Structures. ICDCIT (2013)
Didier Caucal, Teodor Knapik
Higher order indexed monadic systems. FSTTCS (2011)
Teodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz
Unsafe Grammars and Panic Automata. ICALP (2005)
Christian Delhommé, Teodor Knapik, D. Gnanaraj Thomas
Using Transitive-Closure Logic for Deciding Linear Properties of Monoids. MFCS (2003)
Teodor Knapik, Damian Niwinski, Pawel Urzyczyn
Higher-Order Pushdown Trees Are Easy. FoSSaCS (2002)
Teodor Knapik
Checking Simple Properties of Transition Systems Defined by Thue Specifications. J. Autom. Reason. 28 (5) (2002)
Bruno Courcelle, Teodor Knapik
The evaluation of first-order substitution is monadic second-order compatible. Theor. Comput. Sci. 281 (1-2) (2002)
Didier Caucal, Teodor Knapik
A Chomsky-Like Hierarchy of Infinite Graphs. MFCS (2002)
Didier Caucal, Teodor Knapik
An Internal Presentation of Regular Graphs by Prefix-Recognizable Graphs. Theory Comput. Syst. 34 (4) (2001)
Teodor Knapik, Damian Niwinski, Pawel Urzyczyn
Deciding Monadic Theories of Hyperalgebraic Trees. TLCA (2001)
Teodor Knapik, Hugues Calbrix
Thue Specifications and Their Monadic Second-order Properties. Fundam. Informaticae 39 (3) (1999)
Teodor Knapik, Étienne Payet
Synchronized Product of Linear Bounded Machines. FCT (1999)
Teodor Knapik, Étienne Payet
The Full Quotient and its Closure Property for Regular Languages. Inf. Process. Lett. 65 (2) (1998)
Hugues Calbrix, Teodor Knapik
A String-Rewriting Characterization of Muller and Schupp's Context-Free Graphs. FSTTCS (1998)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Observational Specifications and the Indistinguishability Assumption. Theor. Comput. Sci. 139 (1&2) (1995)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Behavioural Approaches to Algebraic Specifications: A Comparative Study. Acta Informatica 31 (7) (1994)
Gilles Bernot, Michel Bidoit, Teodor Knapik
Towards an Adequate Notion of Observation. ESOP (1992)
Teodor Knapik
Specifications with Observable Formulae and Observational Satisfaction Relation. COMPASS/ADT (1991)