×

zbMATH — the first resource for mathematics

Nilsson, Marcus

Compute Distance To:
Author ID: nilsson.marcus Recent zbMATH articles by "Nilsson, Marcus"
Published as: Nilson, Marcus; Nilsson, Marcus; Nilsson, Marcus.
Documents Indexed: 21 Publications since 1999, including 1 Book

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 150 times in 107 Documents Cited by Year
\(p\)-adic deterministic and random dynamics. Zbl 1135.37003
Khrennikov, Andrei Yu.; Nilson, Marcus
36
2004
Regular model checking. Zbl 0974.68118
Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus; Touili, Tayssir
24
2000
A survey of regular model checking. Zbl 1099.68055
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank
13
2004
On the number of cycles of \(p\)-adic dynamical systems. Zbl 0994.11039
Khrennikov, Andrei; Nilsson, Marcus
13
2001
Handling global conditions in parameterized system verification. Zbl 1046.68573
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus
13
1999
Transitive closures of regular relations for verifying infinite-state systems. Zbl 0960.68039
Jonsson, Bengt; Nilsson, Marcus
9
2000
Regular model checking for LTL(MSO). Zbl 1103.68070
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank
6
2004
Regular model checking made simple and efficient. Zbl 1012.68134
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
6
2002
Algorithmic improvements in regular model checking. Zbl 1278.68150
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
5
2003
Behaviour of Hensel perturbations of \(p\)-adic monomial dynamical systems. Zbl 1027.11090
Khrennikov, Andrei; Nilsson, Marcus
5
2003
Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488
Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus
4
2006
The asymptotic number of periodic points of discrete \(p\)-adic dynamical systems. Zbl 1098.37048
Nilsson, Marcus; Nyqvist, Robert
3
2004
The asymptotic number of periodic points of discrete polynomial \(p\)-adic dynamical systems. Zbl 1054.11059
Khrennikov, Andrei; Nilsson, Marcus; Nyqvist, Robert
3
2003
Non-Archimedean dynamics. Zbl 1096.46044
Khrennikov, Andrei; Nilsson, Marcus; Maïnetti, Nicolas
3
2002
Fuzzy cycles of \(p\)-adic monomial dynamical systems. Zbl 1086.12005
Nilsson, Marcus
2
2003
Cycles of monomial and perturbated monomial \(p\)-adic dynamical systems. Zbl 0967.37007
Nilsson, Marcus
2
2000
A number theoretical observation about the degeneracy of the genetic code. Zbl 1178.92016
Khrennikov, Andrei Yu.; Nilsson, Marcus
1
2009
\(p\)-adic monomial dynamical systems. Zbl 1098.37045
Nilsson, Marcus.
1
2004
Distribution of cycles of monomial \(p\)-adic dynamical systems. Zbl 0990.37030
Nilsson, Marcus
1
2001
A number theoretical observation about the degeneracy of the genetic code. Zbl 1178.92016
Khrennikov, Andrei Yu.; Nilsson, Marcus
1
2009
Minimization of non-deterministic automata with large alphabets. Zbl 1172.68488
Abdulla, Parosh Aziz; Deneux, Johann; Kaati, Lisa; Nilsson, Marcus
4
2006
\(p\)-adic deterministic and random dynamics. Zbl 1135.37003
Khrennikov, Andrei Yu.; Nilson, Marcus
36
2004
A survey of regular model checking. Zbl 1099.68055
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank
13
2004
Regular model checking for LTL(MSO). Zbl 1103.68070
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien; Saksena, Mayank
6
2004
The asymptotic number of periodic points of discrete \(p\)-adic dynamical systems. Zbl 1098.37048
Nilsson, Marcus; Nyqvist, Robert
3
2004
\(p\)-adic monomial dynamical systems. Zbl 1098.37045
Nilsson, Marcus.
1
2004
Algorithmic improvements in regular model checking. Zbl 1278.68150
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
5
2003
Behaviour of Hensel perturbations of \(p\)-adic monomial dynamical systems. Zbl 1027.11090
Khrennikov, Andrei; Nilsson, Marcus
5
2003
The asymptotic number of periodic points of discrete polynomial \(p\)-adic dynamical systems. Zbl 1054.11059
Khrennikov, Andrei; Nilsson, Marcus; Nyqvist, Robert
3
2003
Fuzzy cycles of \(p\)-adic monomial dynamical systems. Zbl 1086.12005
Nilsson, Marcus
2
2003
Regular model checking made simple and efficient. Zbl 1012.68134
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; d’Orso, Julien
6
2002
Non-Archimedean dynamics. Zbl 1096.46044
Khrennikov, Andrei; Nilsson, Marcus; Maïnetti, Nicolas
3
2002
On the number of cycles of \(p\)-adic dynamical systems. Zbl 0994.11039
Khrennikov, Andrei; Nilsson, Marcus
13
2001
Distribution of cycles of monomial \(p\)-adic dynamical systems. Zbl 0990.37030
Nilsson, Marcus
1
2001
Regular model checking. Zbl 0974.68118
Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus; Touili, Tayssir
24
2000
Transitive closures of regular relations for verifying infinite-state systems. Zbl 0960.68039
Jonsson, Bengt; Nilsson, Marcus
9
2000
Cycles of monomial and perturbated monomial \(p\)-adic dynamical systems. Zbl 0967.37007
Nilsson, Marcus
2
2000
Handling global conditions in parameterized system verification. Zbl 1046.68573
Abdulla, Parosh Aziz; Bouajjani, Ahmed; Jonsson, Bengt; Nilsson, Marcus
13
1999
all top 5

Cited by 174 Authors

13 Khrennikov, Andreĭ Yur’evich
9 Mukhamedov, Farruh Maksutovich
5 Abdulla, Parosh Aziz
4 Fan, Ai Hua
4 Kozyrev, Sergeĭ Vladimirovich
4 Liao, Lingmin
4 Yurova, Ekaterina I.
3 Albeverio, Sergio A.
3 Anashin, Vladimir Sergeevich
3 Dragovich, Branko
3 Fan, Shilei
3 Lindahl, Karl-Olof
3 Rezine, Ahmed
3 Touili, Tayssir
2 Björklund, Henrik
2 Bouajjani, Ahmed
2 Bultan, Tevfik
2 Cécé, Gérard
2 Delzanno, Giorgio
2 Fares, Youssef
2 Finkel, Alain
2 Ibarra, Oscar H.
2 Iurato, Giuseppe
2 Lakhnech, Yassine
2 Majumdar, Rupak
2 Pnueli, Amir
2 Raskin, Jean-François
2 Schnoebelen, Philippe
2 Silva, Cesar E.
2 Svensson, Per-Anders
2 Vojnar, Tomáš
2 Volovich, Igor’ Vasil’evich
2 Yu, Fang
2 Zuck, Lenore D.
1 Adam, David
1 Akin, Hasan
1 Alkhalaf, Muath
1 Aref’eva, Irina Yaroslavna
1 Axelsson, E. Yurova
1 Barceló, Pablo
1 Baukus, Kai
1 Bensalem, Saddek
1 Bertrand, Nathalie
1 Boigelot, Bernard
1 Botbol, Vincent
1 Bouyer, Patricia
1 Chailloux, Emmanuel
1 Chakraborty, Supratik
1 Cimatti, Alessandro
1 Cloth, Lucia
1 Cousot, Patrick
1 Da Costa, Simone André
1 Dams, Dennis René
1 D’Antoni, Loris
1 Degbomont, Jean-François
1 Diao, Hansheng
1 Diarra, Bertin
1 Dima, Cătălin
1 Dimitrova, Rayna
1 Đorđević, Goran S.
1 d’Orso, Julien
1 Du, Hongwei
1 Duan, Zhenhua
1 Eisinger, Jochen
1 Falugi, Paola
1 Fang, Yi
1 Figueira, Diego
1 Fisher, Michael W.
1 Geeraerts, Gilles
1 Giarré, Laura
1 Glöckner, Helge
1 Gulavani, Bhargav S.
1 Habermehl, Peter
1 Haverkort, Boudewijn R.
1 Héam, Pierre-Cyrille
1 Hendriks, Martijn
1 Iyer, S. Purushothaman
1 Jacquemard, Florent
1 Kawaguchi, Shu
1 Khamraev, Murod
1 Kingsbery, James
1 Klaedtke, Felix
1 Konev, Boris
1 Konnov, Igor V.
1 Konstantinidis, Stavros
1 Kouvaros, Panagiotis
1 Křena, Bohuslav
1 Kuzhel, Sergii
1 Kyas, Marcel
1 Labroue, Anne
1 Lang, Frédéric
1 Larsen, Kim Guldstrand
1 Lazić, Ranko
1 Le Gall, Tristan
1 Legay, Axel
1 Levin, Alex
1 Li, Mingtian
1 Libkin, Leonid O.
1 Lin, Liyong
1 Lisitsa, Alexei
...and 74 more Authors
all top 5

Cited in 45 Serials

12 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
7 Proceedings of the Steklov Institute of Mathematics
6 Formal Methods in System Design
4 Advances in Mathematics
4 Journal of Computer and System Sciences
4 Theoretical Computer Science
4 Information and Computation
3 Journal of Mathematical Analysis and Applications
2 Acta Informatica
2 Reports on Mathematical Physics
2 Chaos, Solitons and Fractals
2 Journal of Differential Equations
2 The Journal of Logic and Algebraic Programming
2 ACM Transactions on Computational Logic
1 Artificial Intelligence
1 Discrete Mathematics
1 International Journal of General Systems
1 Theoretical and Mathematical Physics
1 Archiv der Mathematik
1 Automatica
1 Journal of Algebra
1 Journal of Number Theory
1 Mathematische Zeitschrift
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 Proceedings of the American Mathematical Society
1 Programming and Computer Software
1 Transactions of the American Mathematical Society
1 Systems & Control Letters
1 Science of Computer Programming
1 Journal of Computer Science and Technology
1 Journal of Automated Reasoning
1 Applied Mathematics Letters
1 Formal Aspects of Computing
1 International Journal of Foundations of Computer Science
1 Designs, Codes and Cryptography
1 Expositiones Mathematicae
1 Discrete and Continuous Dynamical Systems
1 Doklady Mathematics
1 Theory of Computing Systems
1 RAIRO. Theoretical Informatics and Applications
1 Czechoslovak Journal of Physics
1 Computer Languages, Systems & Structures
1 International Journal of Number Theory
1 Journal of Logical and Algebraic Methods in Programming
1 Research in Number Theory

Citations by Year