RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

David Cerna, Dr

RISC PostDoc

Publications

David M. Cerna , Wolfgang Schreiner. An Algorithmic Approach to Bounding the Time Complexity of Stream Specifications. January 2017. [pdf] [bib]
David M. Cerna , Wolfgang Schreiner. Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. In: Epic series in computer science, Mohamed Mosbah, Michaël Rusinowitch (eds). (ed.), Proceedings of SCSS 2017, 8th International Symposium on Symbolic Computation in Software Science, Epic 45, pp. 1-15. April 2017. Easy chair, 2398-7340. http://easychair.org/publications/download/Measuring_the_Gap_Algorithmic_Approximation_Bounds_for_the_Space_Complexity_of_Stream_Specifications. [pdf] [bib]
David M. Cerna, Wolfgang Schreiner. Writing Time- and Space- Efficient LogicGuard Specifications. March 2017. [pdf] [bib]
David Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner. Ceres in Intuitionistic Logic. Annals of Pure and Applied Logic, pp. 1783-1836. October 2017. Elsevier, ISSN 0168-0072. [url] [bib]
David M. Cerna and Michael Lettmann. Towards a Clausal Analysis of Proof Schemata. In: SYNASC 2017, KA (ed.), IEEE Xplore , pp. -. September 2017. KA. [bib]
David M. Cerna and Michael Lettmann. Integrating a Global Induction Mechanism into a Sequent Calculus. In: TABLEAUX 2017, KA (ed.), Proceedings of Tableaux, lecture notes in computer science , pp. -. September 2017. Springer, KA. [bib]
Wolfgang Schreiner, David Cerna, Temur Kutsia, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl. Practical Event Monitoring in the LogicGuard Framework. In: embedded world Conference 2016, February 23-25 2016, Nürnberg, Germany, Matthias Sturm et al. (ed.), pp. -. February 2016. Design & Elektronik, Haar, Germany, ISBN 978-3-645-50159-0. [pdf] [bib]
David M. Cerna, Wolfgang Schreiner, and Temur Kutsia. Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. In: SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science, James H. Davenport and Fadoua Ghourabi (ed.), Proceedings of The 7th International Symposium on Symbolic Computation in Software Science, EPiC Series in Computing 39, pp. 29-41. 2016. EasyChair, ISSN 2040-557X. [url] [pdf] [bib]
David M. Cerna and Alexander Leitsch. Schematic Cut Elimination and the Ordered Pigeonhole Principle. In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, Nicola Olivetti and Ashish Tiwari (ed.), Proceedings of IJCAR, Lecture Notes in Computer Science 9706, pp. 241-256. June 2016. Springer, RISC Institute, 0302-9743. [url] [bib]
David M. Cerna , Wolfgang Schreiner. Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. November 2016. Submitted. [pdf] [bib]
David M. Cerna , Wolfgang Schreiner, Temur Kutsia. Analytic and Algorithmic Methods for Computing the Space Requirements of Stream Monitor Specifications. October 2016. Submitted. [pdf] [bib]
David M. Cerna , Wolfgang Schreiner, Temur Kutsia. Better Space Bounds for Future-Looking Stream Monitors. july 2016. Submitted. [pdf] [bib]
David Cerna. Space Complexity of Operational Semantics for the LogicGuard Core Language. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, May 2015. Technical Report. [pdf] [bib]
David M. Cerna. Space Complexity of LogicGuard Revisited. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, October 2015. Technical Report. [pdf] [bib]
Wolfgang Schreiner, Temur Kutsia, Davic Cerna, Michael Krieger, Bashar Ahmad, Helmut Otto, Martin Rummerstorfer, Thomas Gössl. The LogicGuard Stream Monitor Specification Language Tutorial and Reference Manual. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, October 2015. Technical Report. [pdf] [bib]


webmaster