Michael Schaper

According to our database1, Michael Schaper authored at least 6 papers between 2012 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
A modular cost analysis for probabilistic programs.
Proc. ACM Program. Lang., 2020

2019
Modular Runtime Complexity Analysis of Probabilistic While Programs.
CoRR, 2019

2018
From Jinja bytecode to term rewriting: A complexity reflecting transformation.
Inf. Comput., 2018

2017
GUBS Upper Bound Solver (Extended Abstract).
Proceedings of the Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, 2017

2016
TcT: Tyrolean Complexity Tool.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2012
A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems
CoRR, 2012


  Loading...