Edit Profile (opens in new tab) Godskesen, Jens Chr. Co-Author Distance Author ID: godskesen.jens-chr Published as: Godskesen, Jens Chr. Documents Indexed: 18 Publications since 1995 Co-Authors: 16 Co-Authors with 15 Joint Publications 532 Co-Co-Authors all top 5 Co-Authors 3 single-authored 7 Song, Lei 5 Zhang, Lijun 4 Hildebrandt, Thomas T. 3 Bundgaard, Mikkel 2 Eisentraut, Christian 2 Hermanns, Holger 2 Hüttel, Hans 1 Haagensen, Bjørn 1 Jansen, David N. 1 Kühnrich, Morten 1 Larsen, Kim Guldstrand 1 Nielsen, Brian 1 Nielson, Flemming 1 Sassone, Vladimiro 1 Skou, Arne 1 Yang, Pengfei Serials 1 Acta Informatica 1 Theoretical Computer Science 1 Formal Methods in System Design 1 Logical Methods in Computer Science Fields 18 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 2 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 14 Publications have been cited 80 times in 60 Documents Cited by ▼ Year ▼ A calculus for mobile ad hoc networks (extended abstract). Zbl 1292.68108 Godskesen, Jens Chr. 16 2007 A CPS encoding of name-passing in higher-order mobile embedded resources. Zbl 1092.68064 Bundgaard, Mikkel; Hildebrandt, Thomas; Godskesen, Jens Chr. 12 2006 A CPS encoding of name-passing in higher-order mobile embedded resources. Zbl 1272.68293 Bundgaard, Mikkel; Hildebrandt, Thomas; Godskesen, Jens Chr. 9 2005 A calculus of mobile resources. Zbl 1012.68519 Godskesen, Jens Chr.; Hildebrandt, Thomas; Sassone, Vladimiro 8 2002 Extending Howe’s method to early bisimulations for typed mobile embedded resources with local names. Zbl 1172.68553 Godskesen, Jens Chr.; Hildebrandt, Thomas 7 2005 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 7 2013 A calculus for mobile ad-hoc networks with static location binding. Zbl 1291.68286 Godskesen, Jens Chr. 4 2009 Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2014 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2011 Probabilistic mobility models for mobile and wireless networks. Zbl 1202.68270 Song, Lei; Godskesen, Jens Chr. 3 2010 Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374 Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. 2 2018 Decidable fragments of a higher order calculus with locations. Zbl 1291.68283 Bundgaard, Mikkel; Godskesen, Jens Chr.; Haagensen, Bjørn; Hüttel, Hans 2 2009 Broadcast abstraction in a stochastic calculus for mobile networks. Zbl 1362.68018 Song, Lei; Godskesen, Jens Chr. 2 2012 Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193 Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun 2 2015 Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374 Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. 2 2018 Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193 Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun 2 2015 Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2014 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 7 2013 Broadcast abstraction in a stochastic calculus for mobile networks. Zbl 1362.68018 Song, Lei; Godskesen, Jens Chr. 2 2012 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2011 Probabilistic mobility models for mobile and wireless networks. Zbl 1202.68270 Song, Lei; Godskesen, Jens Chr. 3 2010 A calculus for mobile ad-hoc networks with static location binding. Zbl 1291.68286 Godskesen, Jens Chr. 4 2009 Decidable fragments of a higher order calculus with locations. Zbl 1291.68283 Bundgaard, Mikkel; Godskesen, Jens Chr.; Haagensen, Bjørn; Hüttel, Hans 2 2009 A calculus for mobile ad hoc networks (extended abstract). Zbl 1292.68108 Godskesen, Jens Chr. 16 2007 A CPS encoding of name-passing in higher-order mobile embedded resources. Zbl 1092.68064 Bundgaard, Mikkel; Hildebrandt, Thomas; Godskesen, Jens Chr. 12 2006 A CPS encoding of name-passing in higher-order mobile embedded resources. Zbl 1272.68293 Bundgaard, Mikkel; Hildebrandt, Thomas; Godskesen, Jens Chr. 9 2005 Extending Howe’s method to early bisimulations for typed mobile embedded resources with local names. Zbl 1172.68553 Godskesen, Jens Chr.; Hildebrandt, Thomas 7 2005 A calculus of mobile resources. Zbl 1012.68519 Godskesen, Jens Chr.; Hildebrandt, Thomas; Sassone, Vladimiro 8 2002 all cited Publications top 5 cited Publications all top 5 Cited by 107 Authors 6 Bernardo, Marco 6 Merro, Massimo 5 De Nicola, Rocco 5 Godskesen, Jens Chr. 5 Xu, Xian 4 Loreti, Michele 4 Schmitt, Alan 3 Ghassemi, Fatemeh 3 Hüttel, Hans 3 Lanotte, Ruggero 3 Lenglet, Sergueï 3 Pérez, Jorge A. 3 Sangiorgi, Davide 3 Stefani, Jean-Bernard 2 Bundgaard, Mikkel 2 Fokkink, Willem Jan 2 Gorla, Daniele 2 Hermanns, Holger 2 Hildebrandt, Thomas T. 2 Höfner, Peter 2 Kouzapas, Dimitrios 2 Kühnrich, Morten 2 Lanese, Ivan 2 Larsen, Kim Guldstrand 2 Liu, Si 2 Long, Huan 2 Meseguer Guaita, José 2 Olveczky, Peter Csaba 2 Sassone, Vladimiro 2 Sibilio, Eleonora 2 van Glabbeek, Robert Jan 2 Yin, Qiang 2 Yoshida, Nobuko 2 Zhang, Lijun 1 Åman Pohjola, Johannes 1 Bacci, Giorgio 1 Baier, Christel 1 Ballardin, Francesco 1 Barbanera, Franco 1 Bartoletti, Massimo 1 Borgström, Johannes 1 Bourke, Timothy 1 Buchholz, Peter 1 Bugliesi, Michele 1 Cao, Zining 1 Cardelli, Luca 1 Castagna, Giuseppe 1 Cenciarelli, Pietro 1 D’Argenio, Pedro Rubén 1 Demangeon, Romain 1 Deng, Yuxin 1 Dezani-Ciancaglini, Mariangiola 1 Di Cosmo, Roberto 1 Eisentraut, Christian 1 Forejt, Vojtěch 1 Gardner, Philippa Anne 1 Grosu, Radu 1 Guan, Yong 1 Haagensen, Bjørn 1 Hirschkoff, Daniel 1 Huang, Shuqin 1 Jančar, Petr 1 Johansen, Christian 1 Johansson, Magnus M. 1 Khosravi, Ramtin 1 Kiefer, Stefan 1 Li, Xiaojuan 1 Maffeis, Sergio 1 Mardare, Radu 1 Mauro, Jacopo 1 Minami, Kiraku 1 Movaghar, Ali 1 Murgia, Maurizio 1 Nielson, Flemming 1 Normann, Håkon 1 Parrow, Joachim 1 Pedersen, Mathias Ruggaard 1 Pilegaard, Henrik 1 Portmann, Marius 1 Pugliese, Rosario 1 Raabjerg, Palle 1 Ramakrishnan, C. R. 1 Riis Nielson, Hanne 1 Salvo, Ivano 1 Schuster, Johann Christoph 1 Singh, Anu 1 Smolka, Scott A. 1 Sobociński, Paweł 1 Song, Lei 1 Tan, Wee Lum 1 Tarasyuk, Igor’ Valer’evich 1 Tini, Simone 1 Tribastone, Mirco 1 Tschaikowski, Max 1 Turrini, Andrea 1 Vandin, Andrea 1 Victor, Björn 1 Vitek, Jan 1 Wang, Ming 1 Wang, Rui ...and 7 more Authors all top 5 Cited in 15 Serials 10 Information and Computation 9 Theoretical Computer Science 4 Acta Informatica 3 Formal Aspects of Computing 3 Logical Methods in Computer Science 3 Journal of Logical and Algebraic Methods in Programming 1 Science of Computer Programming 1 Journal of Automated Reasoning 1 International Journal of Computer Mathematics 1 Distributed Computing 1 Formal Methods in System Design 1 Mathematical Problems in Engineering 1 The Journal of Logic and Algebraic Programming 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 6 Fields 59 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 2 Probability theory and stochastic processes (60-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year