×
Edit Profile (opens in new tab)

Hansen, René Rydhof

Co-Author Distance
Author ID: hansen.rene-rydhof Recent zbMATH articles by "Hansen, René Rydhof"
Published as: Hansen, René Rydhof
Documents Indexed: 15 Publications since 1999
1 Contribution as Editor
Co-Authors: 26 Co-Authors with 15 Joint Publications
655 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
6 Nielson, Flemming
6 Riis Nielson, Hanne
3 Larsen, Kim Guldstrand
3 Probst, Christian W.
2 Bøgsted Poulsen, Danny
2 Bolander, Thomas
2 Legay, Axel
2 Olesen, Mads Christian
1 Arora, Shiraj
1 Brunel, Julien
1 Buchholtz, Mikael
1 De Nicola, Rocco
1 Doligez, Damien
1 Gadyatskaya, Olga
1 Gordon, Andrew D.
1 Gorla, Daniele
1 Hankin, Chris L.
1 Hüttel, Hans
1 Jensen, Jacob Grydholt
1 Kammüller, Florian
1 Lawall, Julia L.
1 Muller, Gilles
1 Pilegaard, Henrik
1 Pugliese, Rosario
1 Seidl, Helmut
1 Sun, Hongyan

Serials

2 Science of Computer Programming
1 Theoretical Computer Science
1 Information and Computation
1 Lecture Notes in Computer Science

Fields

15 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

9 Publications have been cited 54 times in 43 Documents Cited by ▼ Year ▼
Abstract interpretation of mobile ambients. Zbl 0957.68079
Hansen, René Rydhof; Jensen, Jacob Grydholt; Nielson, Flemming; Nielson, Hanne Riis
16
1999
Validating firewalls using flow logics. Zbl 1016.68003
Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof
13
2002
Abstract interpretation of mobile ambients. Zbl 1047.68080
Nielson, Flemming; Hansen, René Rydhof; Nielson, Hanne Riis
7
2003
The succinct solver suite. Zbl 1126.68354
Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, René Rydhof; Pilegaard, Henrik; Seidl, Helmut
6
2004
From flow logic to static type systems for coordination languages. Zbl 1192.68126
de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario
5
2010
Modelling attack-defense trees using timed automata. Zbl 1433.68251
Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted
3
2016
Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Zbl 1327.68022
2
2016
Type inference for correspondence types. Zbl 1294.68110
Gordon, Andrew D.; Hüttel, Hans; Hansen, René Rydhof
1
2009
Hybrid logical analyses of the ambient calculus. Zbl 1175.68271
Bolander, Thomas; Hansen, René Rydhof
1
2007
Modelling attack-defense trees using timed automata. Zbl 1433.68251
Gadyatskaya, Olga; Hansen, René Rydhof; Larsen, Kim Guldstrand; Legay, Axel; Olesen, Mads Chr.; Poulsen, Danny Bøgsted
3
2016
Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Zbl 1327.68022
2
2016
From flow logic to static type systems for coordination languages. Zbl 1192.68126
de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario
5
2010
Type inference for correspondence types. Zbl 1294.68110
Gordon, Andrew D.; Hüttel, Hans; Hansen, René Rydhof
1
2009
Hybrid logical analyses of the ambient calculus. Zbl 1175.68271
Bolander, Thomas; Hansen, René Rydhof
1
2007
The succinct solver suite. Zbl 1126.68354
Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, René Rydhof; Pilegaard, Henrik; Seidl, Helmut
6
2004
Abstract interpretation of mobile ambients. Zbl 1047.68080
Nielson, Flemming; Hansen, René Rydhof; Nielson, Hanne Riis
7
2003
Validating firewalls using flow logics. Zbl 1016.68003
Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof
13
2002
Abstract interpretation of mobile ambients. Zbl 0957.68079
Hansen, René Rydhof; Jensen, Jacob Grydholt; Nielson, Flemming; Nielson, Hanne Riis
16
1999
all cited Publications top 5 cited Publications
all top 5

Cited by 68 Authors

10 Nielson, Flemming
10 Riis Nielson, Hanne
6 Bodei, Chiara
6 Levi, Francesca
4 Gori, Roberta
4 Hansen, René Rydhof
3 Braghin, Chiara
3 Cortesi, Agostino
3 Focardi, Riccardo
3 Pugliese, Rosario
2 Brodo, Linda
2 De Nicola, Rocco
2 Degano, Pierpaolo
2 Dezani-Ciancaglini, Mariangiola
2 El-Zawawy, Mohamed A.
2 Gordon, Andrew D.
2 Gorla, Daniele
2 Hermith, Diana
2 Pilegaard, Henrik
2 Pinchinat, Sophie
1 Amtoft, Torben
1 André, Étienne
1 Audinot, Maxime
1 Aziz, Benjamin
1 Barbanera, Franco
1 Barták, Roman
1 Bauer, Jörg
1 Bernardy, Jean-Philippe
1 Bernini, Andrea
1 Bolander, Thomas
1 Boneva, Iovka
1 Brihaye, Thomas
1 Cardelli, Luca
1 Coletta, Alessio
1 Coppo, Mario
1 Dovier, Agostino
1 Fallah, Mehran S.
1 Feret, Jérôme
1 Ferrari, Gian Luigi
1 Gaboardi, Marco
1 Gao, Han
1 Ghelli, Giorgio
1 Grove, Julian
1 Hamilton, Geoff W.
1 Hankin, Chris L.
1 Hüttel, Hans
1 Katsumata, Shin-ya
1 Kordy, Barbara
1 Li, Ximeng
1 Lime, Didier
1 Lluch Lafuente, Alberto
1 Luccio, Flaminia L.
1 Maffeis, Sergio
1 Nanz, Sebastian
1 Orchard, Dominic A.
1 Piazza, Carla
1 Probst, Christian W.
1 Ramparison, Mathias
1 Salvo, Ivano
1 Sassone, Vladimiro
1 Sato, Tetsuya
1 Sattarzadeh, Behnam
1 Seidl, Helmut
1 Stoelinga, Mariëlle
1 Talbot, Jean-Marc
1 Terefenko, Alexandre
1 Tiezzi, Francesco
1 Zhou, Neng-Fa
all top 5

Cited in 14 Serials

6 Information and Computation
5 Theoretical Computer Science
3 The Journal of Logic and Algebraic Programming
3 Computer Languages, Systems & Structures
2 Journal of the Egyptian Mathematical Society
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 Science of Computer Programming
1 International Journal of Foundations of Computer Science
1 Journal of Logic, Language and Information
1 Higher-Order and Symbolic Computation
1 Fundamenta Informaticae
1 Theory and Practice of Logic Programming
1 Logical Methods in Computer Science

Cited in 4 Fields

41 Computer science (68-XX)
7 Information and communication theory, circuits (94-XX)
6 Biology and other natural sciences (92-XX)
2 Mathematical logic and foundations (03-XX)

Citations by Year