×

zbMATH — the first resource for mathematics

Dam, Mads

Compute Distance To:
Author ID: dam.mads Recent zbMATH articles by "Dam, Mads"
Published as: Dam, Mads
Documents Indexed: 26 Publications since 1986, including 2 Books

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 97 times in 86 Documents Cited by Year
CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus. Zbl 0798.03018
Dam, Mads
30
1994
Model checking mobile processes. Zbl 0864.68036
Dam, Mads
15
1996
On the structure of inductive reasoning: Circular and tree-shaped proofs in the \(\mu\)-calculus. Zbl 1029.03016
Sprenger, Christoph; Dam, Mads
11
2003
Proof systems for \(\pi\)-calculus logics. Zbl 1038.03034
Dam, Mads
7
2003
On the decidability of process equivalences for the \(\pi\)-calculus. Zbl 0901.68033
Dam, Mads
6
1997
Process-algebraic interpretations of positive linear and relevant logics. Zbl 0810.03025
Dam, Mads
5
1994
\(\mu\)-calculus with explicit points and approximations. Zbl 1003.03033
Dam, Mads; Gurov, Dilian
4
2002
A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang
3
2009
Proving properties of dynamic process networks. Zbl 0892.68034
Dam, Mads
3
1998
Fixed points of Büchi automata. Zbl 0919.03033
Dam, Mads
3
1992
Provably correct runtime monitoring. Zbl 1192.68116
Aktug, Irem; Dam, Mads; Gurov, Dilian
3
2009
On global induction mechanisms in a \(\mu\)-calculus with explicit approximations. Zbl 1111.68518
Sprenger, Christoph; Dam, Mads
2
2003
Machine assisted proof of ARMv7 instruction level isolation properties. Zbl 1426.68286
Khakpour, Narges; Schwarz, Oliver; Dam, Mads
2
2013
On the secure implementation of security protocols. Zbl 1032.68654
Giambiagi, Pablo; Dam, Mads
1
2003
\(R\)-generability, and definability in branching time logics. Zbl 0766.03009
Dam, Mads
1
1992
Decidability and proof systems for language-based noninterference relations. Zbl 1369.68133
Dam, Mads
1
2006
Machine assisted proof of ARMv7 instruction level isolation properties. Zbl 1426.68286
Khakpour, Narges; Schwarz, Oliver; Dam, Mads
2
2013
A data symmetry reduction technique for temporal-epistemic logic. Zbl 1262.68110
Cohen, Mika; Dam, Mads; Lomuscio, Alessio; Qu, Hongyang
3
2009
Provably correct runtime monitoring. Zbl 1192.68116
Aktug, Irem; Dam, Mads; Gurov, Dilian
3
2009
Decidability and proof systems for language-based noninterference relations. Zbl 1369.68133
Dam, Mads
1
2006
On the structure of inductive reasoning: Circular and tree-shaped proofs in the \(\mu\)-calculus. Zbl 1029.03016
Sprenger, Christoph; Dam, Mads
11
2003
Proof systems for \(\pi\)-calculus logics. Zbl 1038.03034
Dam, Mads
7
2003
On global induction mechanisms in a \(\mu\)-calculus with explicit approximations. Zbl 1111.68518
Sprenger, Christoph; Dam, Mads
2
2003
On the secure implementation of security protocols. Zbl 1032.68654
Giambiagi, Pablo; Dam, Mads
1
2003
\(\mu\)-calculus with explicit points and approximations. Zbl 1003.03033
Dam, Mads; Gurov, Dilian
4
2002
Proving properties of dynamic process networks. Zbl 0892.68034
Dam, Mads
3
1998
On the decidability of process equivalences for the \(\pi\)-calculus. Zbl 0901.68033
Dam, Mads
6
1997
Model checking mobile processes. Zbl 0864.68036
Dam, Mads
15
1996
CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus. Zbl 0798.03018
Dam, Mads
30
1994
Process-algebraic interpretations of positive linear and relevant logics. Zbl 0810.03025
Dam, Mads
5
1994
Fixed points of Büchi automata. Zbl 0919.03033
Dam, Mads
3
1992
\(R\)-generability, and definability in branching time logics. Zbl 0766.03009
Dam, Mads
1
1992
all top 5

Cited by 142 Authors

5 Dam, Mads
4 Cardelli, Luca
4 Lange, Martin
3 Abel, Andreas M.
3 Benevides, Mario R. F.
3 Bradfield, Julian Charles
3 Hüttel, Hans
3 Kamide, Norihiro
3 Schechter, Luis Menasché
2 Barthe, Gilles
2 Caires, Luís
2 Friedmann, Oliver
2 Gorrieri, Roberto
2 Gurov, Dilian
2 Kernberger, Daniel
2 Klin, Bartek
2 Kupferman, Orna
2 Majumdar, Rupak
2 Meyer, Roland
2 Reynolds, Mark Alexander
2 Simpson, Alex K.
2 Studer, Thomas
2 Walukiewicz, Igor
1 Adelsberger, Stephan
1 Affeldt, Reynald
1 Afrati, Foto N.
1 Amadio, Roberto M.
1 Andersen, Henrik Reif
1 Andronikos, Theodore
1 Askarov, Aslan
1 Baldan, Paolo
1 Belardinelli, Francesco
1 Betarte, Gustavo
1 Blanqui, Frédéric
1 Bocchi, Laura
1 Borgström, Johannes
1 Boudou, Joseph
1 Brázdil, Tomáš
1 Brotherston, James
1 Brožek, Václav
1 Bundgaard, Mikkel
1 Busi, Nadia
1 Campo, Juan Diego
1 Carapelle, Claudia
1 Cervesato, Iliano
1 Chakrabarti, Partha Pratim
1 Chatterjee, Krishnendu
1 Chen, Huowang
1 Chen, Tzu-Chun
1 Cîrstea, Corina
1 Courcelle, Bruno
1 Crafa, Silvia
1 Cranen, Sjoerd
1 D’Argenio, Pedro Rubén
1 Das, Anupam
1 Dasgupta, Pallab
1 De Nicola, Rocco
1 Dechesne, Francien
1 Demangeon, Romain
1 Deng, Yuxin
1 Dong, JinSong
1 Enqvist, Sebastian
1 Eriksson, Lars-Henrik
1 Forejt, Vojtěch
1 Forsberg Gutkovas, Ramūnas
1 Foustoucos, Eugénie
1 French, Tim
1 Gardner, Philippa Anne
1 Ghelli, Giorgio
1 Godskesen, Jens Chr.
1 Goldblatt, Robert Ian
1 Goranko, Valentin F.
1 Groote, Jan Friso
1 Guelev, Dimitar P.
1 Guessarian, Irène
1 Gutierrez, Julian
1 Haagensen, Bjørn
1 Hedin, Daniel
1 Henzinger, Thomas A.
1 Hoa, Koh Chuen
1 Honda, Kohei
1 Hou, Zhe
1 Huisman, Marieke
1 Jacobs, Bart
1 Jäger, Gerhard
1 Kaivola, Roope
1 Kapron, Bruce M.
1 Kartzow, Alexander
1 Kobayashi, Naoki
1 Kretz, Mathis
1 Łełyk, Mateusz
1 Li, Zhoujun
1 Lin, Huimin
1 Lohrey, Markus
1 Lomuscio, Alessio
1 Loreti, Michele
1 Lorini, Emiliano
1 Luna, Carlos
1 Lundblad, Andreas
1 Lüttgen, Gerald
...and 42 more Authors

Citations by Year