Teodor Knapik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1991–2013
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICDCIT | Verification of Message Sequence Structures. | Meenakshi D'Souza, Teodor Knapik |
| 2005 | ICALP | Unsafe Grammars and Panic Automata. | Teodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz |
| 2003 | MFCS | Using Transitive-Closure Logic for Deciding Linear Properties of Monoids. | Christian Delhomm, Teodor Knapik, D. Gnanaraj Thomas |
| 2002 | FOSSACS | Higher-Order Pushdown Trees Are Easy. | Teodor Knapik, Damian Niwinski, Pawel Urzyczyn |
| 2002 | MFCS | A Chomsky-Like Hierarchy of Infinite Graphs. | Didier Caucal, Teodor Knapik |
| 1999 | FCT | Synchronized Product of Linear Bounded Machines. | Teodor Knapik, tienne Payet |
| 1992 | ESOP | Towards an Adequate Notion of Observation. | Gilles Bernot, Michel Bidoit, Teodor Knapik |
| 1991 | COMPASS | Specifications with Observable Formulae and Observational Satisfaction Relation. | Teodor Knapik |