| Publication | Date of Publication | Type |
|---|
| From finite automata toward hybrid systems (Extended abstract) | 2022-12-09 | Paper |
| On nets, algebras and modularity | 2022-08-16 | Paper |
| Automata, circuits and hybrids | 2015-02-27 | Paper |
| From Logic to Theoretical Computer Science – An Update | 2008-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4824485 | 2004-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4824486 | 2004-11-01 | Paper |
| A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329518 | 2002-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535006 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934319 | 2002-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2713174 | 2001-05-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263952 | 2000-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4349581 | 1997-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332423 | 1997-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296305 | 1996-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038700 | 1993-05-18 | Paper |
| Connectedness and synchronization | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204054 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3833596 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733393 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805871 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805922 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3476794 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4720770 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347263 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3856759 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880271 | 1979-01-01 | Paper |
| Completeness of algorithmic logic | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926033 | 1979-01-01 | Paper |
| Frequency computations | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4127379 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168922 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174232 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4121883 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133140 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4058655 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4766570 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3214824 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4043073 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4770949 | 1973-01-01 | Paper |
| On the complexity of reduction algorithms in Novikov-Boone constructions | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611776 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619818 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5597528 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559540 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5666533 | 1966-01-01 | Paper |
| Introduction to the theory of finite automata. Translated from the Russian. Translation edited by J.C. Shepherdson | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599174 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5515141 | 1964-01-01 | Paper |
| The definition of finite set and the deductive incompleteness of the theory of sets | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586350 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599173 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675634 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3844647 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5586282 | 1963-01-01 | Paper |
| Impossibility of an algorithm for the decision problem in finite classes | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3289363 | 1962-01-01 | Paper |
| Finite automata and the logic of one-place predicates | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5723183 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557936 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5723184 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3258128 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3260814 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3845629 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5725040 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3253796 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3268317 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3245554 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3247437 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3234159 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3226755 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5847181 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5817396 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5797034 | 1950-01-01 | Paper |
