E-LIB Suche - Ergebnisse für: Höfner, Peter

1

Shoggoth: A Formal Foundation for Strategic Rewriting:

Qin, Xueying ; O'Connor, Liam ; van Glabbeek, Rob...
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 61-89 , 2024

Link: https://doi.org/10.1145/..

2

Radio Continuum and Water Maser Observations of the High-ma..:

Rodríguez, Tatiana M. ; Momjian, Emmanuel ; Hofner, Peter..
The Astrophysical Journal. 962 (2024) 2 - p. 133 , 2024

Link: https://doi.org/10.3847/..

3

Excited Hydroxyl Outflow in the High-mass Star-forming Regi..:

Tan, Wei Siang ; Araya, Esteban D. ; Rigg, Cade...
The Astrophysical Journal. 953 (2023) 1 - p. 90 , 2023

Link: https://doi.org/10.3847/..

4

Searching for Molecular Jets from High-mass Protostars:

Rodríguez, Tatiana M. ; Hofner, Peter ; Edelman, Isaac..
The Astrophysical Journal Supplement Series. 264 (2023) 2 - p. 30 , 2023

Link: https://doi.org/10.3847/..

5

Water Maser Zeeman Splitting in the Ionized Jet IRAS 19035+..:

Rodríguez, Tatiana M. ; Momjian, Emmanuel ; Hofner, Peter..
Proceedings of the International Astronomical Union. 18 (2022) S380 - p. 232-234 , 2022

Link: https://doi.org/10.1017/..

6

Algorithmics:

, In: IFIP Advances in Information and Communication Technology; Advancing Research in Information and Communication Technology,

Bird, Richard ; Gibbons, Jeremy ; Hinze, Ralf... - p. 59-98 , 2021

Link: https://doi.org/10.1007/..

7

Effect Algebras, Girard Quantales and Complementation in Se..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Bannister, Callum ; Höfner, Peter ; Struth, Georg - p. 37-53 , 2021

Link: https://doi.org/10.1007/..

8

Assuming just enough fairness to make session types complet..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

van Glabbeek, Rob ; Höfner, Peter ; Horne, Ross - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

9

A Highly Collimated Flow from the High-mass Protostar ISOSS..:

Rodríguez, Tatiana M. ; Hofner, Peter ; Araya, Esteban...
Research Notes of the AAS. 5 (2021) 4 - p. 70 , 2021

Link: https://doi.org/10.3847/..

10

Relational characterisations of paths:

Berghammer, Rudolf ; Furusawa, Hitoshi ; Guttmann, Walter.
Journal of Logical and Algebraic Methods in Programming. 117 (2020) - p. 100590 , 2020

Link: https://doi.org/10.1016/..

11

Preface:

Höfner, Peter ; Morgan, Carroll ; Pratt, Vaughan
Acta Informatica. 57 (2020) 3-5 - p. 305-311 , 2020

Link: https://doi.org/10.1007/..

12

Techno-economic system comparison of a wood gas and a natur..:

Koch, Katharina ; Höfner, Peter ; Gaderer, Matthias
Energy. 202 (2020) - p. 117710 , 2020

Link: https://doi.org/10.1016/..

13

Relational and algebraic methods in computer science:

Höfner, Peter ; Pous, Damien ; Struth, Georg
Journal of Logical and Algebraic Methods in Programming. 106 (2019) - p. 198-199 , 2019

Link: https://doi.org/10.1016/..

14

A Process Algebra for Link Layer Protocols:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

van Glabbeek, Rob ; Höfner, Peter ; Markl, Michael - p. 668-693 , 2019

Link: https://doi.org/10.1007/..

15

Progress, Justness, and Fairness:

Glabbeek, Rob Van ; Höfner, Peter
ACM Computing Surveys. 52 (2019) 4 - p. 1-38 , 2019

Link: https://doi.org/10.1145/..