Research output per year
Research output per year
Personal profile
Biography
This webpage is autogenerated. It is neither complete nor is it intended to be complete. Please see http://www.hoefner-online.de for further details
Research student supervision
- Registered to supervise
Fingerprint
Dive into the research topics where Peter Hoefner is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 2 Similar Profiles
-
Algorithmics
Bird, R., Gibbons, J., Hinze, R., Höfner, P., Jeuring, J., Meertens, L., Möller, B., Morgan, C., Schrijvers, T., Swierstra, W. & Wu, N., 2021, IFIP Advances in Information and Communication Technology. Springer Science and Business Media Deutschland GmbH, p. 59-98 40 p. (IFIP Advances in Information and Communication Technology; vol. 600).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access -
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Glabbeek, R. V., Hofner, P. & Horne, R., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Institute of Electrical and Electronics Engineers Inc., 9470531. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access21 Citations (Scopus) -
Effect Algebras, Girard Quantales and Complementation in Separation Logic
Bannister, C., Höfner, P. & Struth, G., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 37-53 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Formalising the optimised link state routing protocol
Barry, R., van Glabbeek, R. & Höfner, P., 26 Apr 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 316, p. 40-71 32 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Citation (Scopus) -
Formal models of the OSPF routing protocol
Drury, J., Höfner, P. & Wang, W., 26 Apr 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 316, p. 72-120 49 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Citations (Scopus)
-
-
Automated Verification of Control Protocols with Timed Automata (Extension 2020 2021)
Hoefner, P., McIver, A., Portmann, M. & Zhu, L.
1/03/20 → 30/06/21
Project: Research