E-LIB Suche - Ergebnisse für: Moser, Georg

1

On the Hardness of Analyzing Quantum Programs Quantitativel:

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

Avanzini, Martin ; Moser, Georg ; Péchoux, Romain. - p. 31-58 , 2024

2

Hopping Proofs of Expectation-Based Properties: Application..:

Avanzini, Martin ; Barthe, Gilles ; Grégoire, Benjamin..
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 784-809 , 2024

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

3

Effect of a Hypertensive Response During Exercise on Growth..:

van der Stouwe, Jan Gerrit ; Rossi, Valentina A ; Ghidoni, Céline...
American Journal of Hypertension. , 2024

Link: https://doi.org/10.1093/..

4

Herbrand complexity and the epsilon calculus with equality:

Miyamoto, Kenji ; Moser, Georg
Archive for Mathematical Logic. 63 (2023) 1-2 - p. 89-118 , 2023

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

5

Quantum Expectation Transformers for Cost Analysis:

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

Avanzini, Martin ; Moser, Georg ; Pechoux, Romain.. - p. 1-13 , 2022

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

6

Automated Expected Amortised Cost Analysis of Probabilistic..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian - p. 70-91 , 2022

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

7

Runtime Complexity Analysis of Logically Constrained Rewrit..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Winkler, Sarah ; Moser, Georg - p. 37-55 , 2021

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

8

ATLAS: Automated Amortised Complexity Analysis of Self-adju..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Leutgeb, Lorenz ; Moser, Georg ; Zuleger, Florian - p. 99-122 , 2021

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

9

Type-based analysis of logarithmic amortised complexity:

Hofmann, Martin ; Leutgeb, Lorenz ; Obwaller, David..
Mathematical Structures in Computer Science. 32 (2021) 6 - p. 794-826 , 2021

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

10

Teaching Software Quality Assurance with Gamification and C..:

, In: 2021 IEEE Global Engineering Education Conference (EDUCON),

Moser, Georg ; Vallon, Raoul ; Bernhart, Mario. - p. 505-509 , 2021

Link: https://doi.org/10.1109/..

11

A modular cost analysis for probabilistic programs:

Avanzini, Martin ; Moser, Georg ; Schaper, Michael
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

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

12

A modular cost analysis for probabilistic programs:

Avanzini, Martin ; Moser, Georg ; Schaper, Michael
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

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

13

Automated amortised resource analysis for term rewrite syst..:

Moser, Georg ; Schneckenreither, Manuel
Science of Computer Programming. 185 (2020) - p. 102306 , 2020

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

14

From Jinja bytecode to term rewriting: A complexity reflect..:

Moser, Georg ; Schaper, Michael
Information and Computation. 261 (2018) - p. 116-143 , 2018

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

15

A combination framework for complexity:

Avanzini, Martin ; Moser, Georg
Information and Computation. 248 (2016) - p. 22-55 , 2016

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