×

zbMATH — the first resource for mathematics

Höfner, Peter

Compute Distance To:
Author ID: hofner.peter Recent zbMATH articles by "Höfner, Peter"
Published as: Höfner, Peter; Höfner, P.
External Links: MGP
Documents Indexed: 46 Publications since 2006, including 3 Books

Publications by Year

Citations contained in zbMATH Open

30 Publications have been cited 140 times in 86 Documents Cited by Year
Automated reasoning in Kleene algebra. Zbl 1184.68462
Höfner, Peter; Struth, Georg
24
2007
A process algebra for wireless mesh networks. Zbl 1352.68183
Fehnker, Ansgar; van Glabbeek, Rob; Höfner, Peter; McIver, Annabelle; Portmann, Marius; Tan, Wee Lum
13
2012
On automating the calculus of relations. Zbl 1165.68460
Höfner, Peter; Struth, Georg
12
2008
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg
9
2006
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B.
9
2011
Automated verification of relational while-programs. Zbl 1405.68070
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa
8
2014
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard
7
2009
Dijkstra, Floyd and Warshall meet Kleene. Zbl 1259.68243
Höfner, Peter; Möller, Bernhard
6
2012
CCS: it’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Zbl 1327.68171
van Glabbeek, Rob J.; Höfner, Peter
6
2015
Omega algebra, demonic refinement algebra and commands. Zbl 1134.68409
Höfner, Peter; Möller, Bernhard; Solin, Kim
5
2006
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
2009
Towards an algebra of hybrid systems. Zbl 1185.68431
Höfner, Peter; Möller, Bernhard
3
2006
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. Zbl 1448.68051
Bourke, Timothy; van Glabbeek, Rob; Höfner, Peter
3
2014
Cardinality of relations and relational approximation algorithms. Zbl 1351.68152
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa
3
2016
A timed process algebra for wireless networks with an application in routing (extended abstract). Zbl 1335.68005
Bres, Emile; van Glabbeek, Rob; Höfner, Peter
3
2016
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111
Höfner, Peter; Struth, Georg
3
2010
Cardinality of relations with applications. Zbl 1403.03132
Berghammer, Rudolf; Danilenko, Nikita; Höfner, Peter; Stucke, Insa
3
2016
Modelling and verifying the AODV routing protocol. Zbl 1386.68019
van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum
3
2016
Showing invariance compositionally for a process algebra for network protocols. Zbl 1416.68153
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter
2
2014
Algebraic calculi for hybrid systems. Zbl 1237.68010
Höfner, Peter
2
2009
Lazy semiring neighbours and some applications. Zbl 1134.68408
Höfner, Peter; Möller, Bernhard
2
2006
Automated reasoning for hybrid systems – two case studies. Zbl 1138.68526
Höfner, Peter
2
2008
Semiring neighbours: an algebraic embedding and extension of neighbourhood logic. Zbl 1277.03028
Höfner, Peter
1
2007
Foundations of coloring algebra with consequences for feature-oriented programming. Zbl 1364.68137
Höfner, Peter; Möller, Bernhard; Zelend, Andreas
1
2012
Towards an algebra of routing tables. Zbl 1329.68042
Höfner, Peter; McIver, Annabelle
1
2011
Structured document algebra in action. Zbl 1454.68023
Batory, Don; Höfner, Peter; Köppl, Dominik; Möller, Bernhard; Zelend, Andreas
1
2015
Quantum computing using pulse-based electron-nuclear double resonance (ENDOR): molecular spin-qubits. Zbl 1203.81044
Sato, Kazuo; Nakazawa, Shigeki; Rahimi, Robabeh D.; Nishida, Shinsuke; Ise, Tomoaki; Shimoi, Daisuke; Toyota, Kazuo; Morita, Yasushi; Kitagawa, Masahiro; Carl, Parick; Höfner, Peter; Takui, Takeji
1
2009
Mechanizing a process algebra for network protocols. Zbl 1356.68182
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter
1
2016
Non-termination in idempotent semirings. Zbl 1138.68461
Höfner, Peter; Struth, Georg
1
2008
Algebraic neighbourhood logic. Zbl 1142.03036
Höfner, Peter; Möller, Bernhard
1
2008
Cardinality of relations and relational approximation algorithms. Zbl 1351.68152
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa
3
2016
A timed process algebra for wireless networks with an application in routing (extended abstract). Zbl 1335.68005
Bres, Emile; van Glabbeek, Rob; Höfner, Peter
3
2016
Cardinality of relations with applications. Zbl 1403.03132
Berghammer, Rudolf; Danilenko, Nikita; Höfner, Peter; Stucke, Insa
3
2016
Modelling and verifying the AODV routing protocol. Zbl 1386.68019
van Glabbeek, Rob; Höfner, Peter; Portmann, Marius; Tan, Wee Lum
3
2016
Mechanizing a process algebra for network protocols. Zbl 1356.68182
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter
1
2016
CCS: it’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Zbl 1327.68171
van Glabbeek, Rob J.; Höfner, Peter
6
2015
Structured document algebra in action. Zbl 1454.68023
Batory, Don; Höfner, Peter; Köppl, Dominik; Möller, Bernhard; Zelend, Andreas
1
2015
Automated verification of relational while-programs. Zbl 1405.68070
Berghammer, Rudolf; Höfner, Peter; Stucke, Insa
8
2014
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. Zbl 1448.68051
Bourke, Timothy; van Glabbeek, Rob; Höfner, Peter
3
2014
Showing invariance compositionally for a process algebra for network protocols. Zbl 1416.68153
Bourke, Timothy; van Glabbeek, Robert J.; Höfner, Peter
2
2014
A process algebra for wireless mesh networks. Zbl 1352.68183
Fehnker, Ansgar; van Glabbeek, Rob; Höfner, Peter; McIver, Annabelle; Portmann, Marius; Tan, Wee Lum
13
2012
Dijkstra, Floyd and Warshall meet Kleene. Zbl 1259.68243
Höfner, Peter; Möller, Bernhard
6
2012
Foundations of coloring algebra with consequences for feature-oriented programming. Zbl 1364.68137
Höfner, Peter; Möller, Bernhard; Zelend, Andreas
1
2012
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B.
9
2011
Towards an algebra of routing tables. Zbl 1329.68042
Höfner, Peter; McIver, Annabelle
1
2011
Algebraic notions of nontermination: Omega and divergence in idempotent semirings. Zbl 1205.68111
Höfner, Peter; Struth, Georg
3
2010
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard
7
2009
Automated verification of refinement laws. Zbl 1184.68463
Höfner, Peter; Struth, Georg; Sutcliffe, Geoff
4
2009
Algebraic calculi for hybrid systems. Zbl 1237.68010
Höfner, Peter
2
2009
Quantum computing using pulse-based electron-nuclear double resonance (ENDOR): molecular spin-qubits. Zbl 1203.81044
Sato, Kazuo; Nakazawa, Shigeki; Rahimi, Robabeh D.; Nishida, Shinsuke; Ise, Tomoaki; Shimoi, Daisuke; Toyota, Kazuo; Morita, Yasushi; Kitagawa, Masahiro; Carl, Parick; Höfner, Peter; Takui, Takeji
1
2009
On automating the calculus of relations. Zbl 1165.68460
Höfner, Peter; Struth, Georg
12
2008
Automated reasoning for hybrid systems – two case studies. Zbl 1138.68526
Höfner, Peter
2
2008
Non-termination in idempotent semirings. Zbl 1138.68461
Höfner, Peter; Struth, Georg
1
2008
Algebraic neighbourhood logic. Zbl 1142.03036
Höfner, Peter; Möller, Bernhard
1
2008
Automated reasoning in Kleene algebra. Zbl 1184.68462
Höfner, Peter; Struth, Georg
24
2007
Semiring neighbours: an algebraic embedding and extension of neighbourhood logic. Zbl 1277.03028
Höfner, Peter
1
2007
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg
9
2006
Omega algebra, demonic refinement algebra and commands. Zbl 1134.68409
Höfner, Peter; Möller, Bernhard; Solin, Kim
5
2006
Towards an algebra of hybrid systems. Zbl 1185.68431
Höfner, Peter; Möller, Bernhard
3
2006
Lazy semiring neighbours and some applications. Zbl 1134.68408
Höfner, Peter; Möller, Bernhard
2
2006
all top 5

Cited by 107 Authors

17 Höfner, Peter
16 Möller, Bernhard
10 Struth, Georg
9 Guttmann, Walter
7 Berghammer, Rudolf
6 van Glabbeek, Robert Jan
5 Dang, Han-Hing
5 Solin, Kim
5 Stucke, Insa
3 Desharnais, Jules
2 Armstrong, Alasdair
2 Dongol, Brijesh
2 Foster, Simon
2 Ghassemi, Fatemeh
2 Glück, Roland
2 Hayes, Ian J.
2 Lanotte, Ruggero
2 McIver, Annabelle K.
2 Melo de Sousa, Simão
2 Merro, Massimo
2 Moreira, Nelma
2 Pereira, David P.
2 Roocks, Patrick
2 Sutcliffe, Geoff
2 Winter, Michael
2 Zelend, Andreas
1 Åman Pohjola, Johannes
1 Barbosa, Luís Soares
1 Barioni, Maria Camila N.
1 Bourke, Timothy
1 Bouwman, Mark
1 Braßel, Bernd
1 Bres, Emile
1 Brunet, Paul
1 Çakmak, Selçuk
1 Castellani, Ilaria
1 Cavalcanti, Ana
1 Cenciarelli, Pietro
1 Christiansen, Jan
1 Colvin, Robert J.
1 Cristiá, Maximiliano
1 Danilenko, Nikita
1 de Amo, Sandra
1 de Carufel, Jean-Lou
1 Dezani-Ciancaglini, Mariangiola
1 Docherty, Simon
1 Dworzański, Leonid W.
1 Ehrhard, Thomas
1 Fehnker, Ansgar
1 Fischer, Sebastian
1 Fokkink, Willem Jan
1 Furusawa, Hitoshi
1 Garavel, Hubert
1 Gençten, Azmi
1 Giannini, Paola
1 Golińska-Pilarek, Joanna
1 Gomes, Victor B. F.
1 Gorla, Daniele
1 Gün, Ahmet
1 Hoare, C. A. R. Tony
1 Hofmann, Dirk
1 Horne, Ross
1 Hussain, Akbar
1 Jiang, Ying
1 Khosravi, Ramtin
1 Krivine, Jean
1 Labbé, Cyril
1 Li, Xiaobing
1 Liu, Jun
1 Lomazova, Irina A.
1 Luttik, Bas
1 Martins, Manuel António
1 Meinicke, Larissa A.
1 Mennicke, Stephan
1 Mora, Angel
1 Morgan, Carroll C.
1 Muñoz-Velasco, Emilio
1 Neves, Renato
1 O’Hearn, Peter W.
1 Oliveira, José Nuno
1 Parrow, Joachim
1 Petersen, Rasmus Lerchedahl
1 Portmann, Marius
1 Pous, Damien
1 Prehn, Tobias
1 Preoteasa, Viorel
1 Pym, David J.
1 Rabehaja, Tahiry M.
1 Ribeiro, Marcos Roberto
1 Roncancio, Claudia
1 Rossi, Gianfranco
1 Ruan, Da
1 Salvo, Ivano
1 Schmidt, Gunther
1 Schnoor, Henning
1 Tan, Wee Lum
1 Tini, Simone
1 van Staden, Stephan
1 Villard, Jules
1 von Wright, Joakim
...and 7 more Authors

Citations by Year