| Publication | Date of Publication | Type |
|---|
Counting linear congruence systems with a fixed number of solutions
(available as arXiv preprint) | 2025-01-01 | Paper |
| scientific article; zbMATH DE number 6327462 (Why is no real title available?) | 2014-08-07 | Paper |
| Towards a bifurcation theory for perturbed monomial dynamical systems modulo a prime | 2013-04-16 | Paper |
Towards a bifurcation theory for perturbed monomial dynamical systems modulo a prime
(available as arXiv preprint) | 2013-01-01 | Paper |
On monomial dynamical systems on the p-adic n-torus
(available as arXiv preprint) | 2010-09-02 | Paper |
Algorithmic improvements in regular model checking.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
A number theoretical observation about the degeneracy of the genetic code
Proceedings of the Steklov Institute of Mathematics | 2010-01-12 | Paper |
Implementation and Application of Automata
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 5071221 (Why is no real title available?) | 2006-11-08 | Paper |
| scientific article; zbMATH DE number 5071222 (Why is no real title available?) | 2006-11-08 | Paper |
| Fuzzy cycles of \(p\)-adic monomial dynamical systems | 2006-03-07 | Paper |
Non-Archimedean dynamics
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2005-12-02 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 2146322 (Why is no real title available?) | 2005-03-15 | Paper |
| scientific article; zbMATH DE number 2102701 (Why is no real title available?) | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2064592 (Why is no real title available?) | 2004-05-18 | Paper |
Behaviour of Hensel perturbations of p-adic monomial dynamical systems
Analysis Mathematica | 2003-12-14 | Paper |
| scientific article; zbMATH DE number 1927558 (Why is no real title available?) | 2003-06-12 | Paper |
| Distribution of cycles of monomial p-adic dynamical systems | 2002-08-17 | Paper |
On the number of cycles of \(p\)-adic dynamical systems
Journal of Number Theory | 2002-01-02 | Paper |
Regular model checking
Lecture Notes in Computer Science | 2001-11-11 | Paper |
Cycles of monomial and perturbated monomial \(p\)-adic dynamical systems
Annales Mathématiques Blaise Pascal | 2001-08-31 | Paper |
Cycles of monomial and perturbated monomial \(p\)-adic dynamical systems
Annales Mathématiques Blaise Pascal | 2001-08-31 | Paper |
Transitive closures of regular relations for verifying infinite-state systems
Lecture Notes in Computer Science | 2000-12-03 | Paper |
