Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An omega-Algebra for Real-Time Energy Problems.

D. Cachera, U. Fahrenberg, and A. Legay. FSTTCS, volume 45 of LIPIcs, page 394-407. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Marie Davidova University of Stuttgart

David Krach University of Stuttgart

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr SandstoneM. Balcewicz, M. Siegert, M. Gurris, M. Ruf, D. Krach, H. Steeb, and E. Saenger. Frontiers in Earth Science, (2021)

Digital Rock Physics : A Geological Driven Workflow for the Segmentation of Anisotropic Ruhr SandstoneM. Balcewicz, M. Siegert, M. Gurris, M. Ruf, D. Krach, H. Steeb, and E. Saenger. Frontiers in Earth Science, (2021)Permeability Estimation of Regular Porous Structures : A Benchmark for Comparison of MethodsA. Wagner, E. Eggenweiler, F. Weinhardt, Z. Trivedi, D. Krach, C. Lohrmann, K. Jain, N. Karadimitriou, C. Bringedal, P. Voland and 4 other author(s). Transport in porous media, 138 (1): 1-23 (2021)Simulation of weak-inertia single-phase flow in porous materials using Smoothed Particle HydrodynamicsD. Krach, and H. Steeb. PAMM, 20 (1): e202000289 (2021)

David Inkermann

David Briesenick University of Stuttgart

David Gudnason University of Stuttgart

Other publications of authors with the same name

Programmation d'un interpréteur abstrait certifié en logique constructive.D. Cachera, and D. Pichardie. Technique et Science Informatiques, 30 (4): 381-408 (2011)An ωωømega-Algebra for Real-Time Energy Problems.D. Cachera, U. Fahrenberg, and A. Legay. Logical Methods in Computer Science, (2019)An ω-Algebra for Real-Time Energy Problems.D. Cachera, U. Fahrenberg, and A. Legay. CoRR, (2017)Certified Memory Usage Analysis.D. Cachera, T. Jensen, D. Pichardie, and G. Schneider. FM, volume 3582 of Lecture Notes in Computer Science, page 91-106. Springer, (2005)Certified Static Analysis by Abstract Interpretation.F. Besson, D. Cachera, T. Jensen, and D. Pichardie. FOSAD, volume 5705 of Lecture Notes in Computer Science, page 223-257. Springer, (2009)Extracting a data flow analyser in constructive logic.D. Cachera, T. Jensen, D. Pichardie, and V. Rusu. Theor. Comput. Sci., 342 (1): 56-78 (2005)Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement.Y. Zakowski, D. Cachera, D. Demange, and D. Pichardie. SAC, page 1881-1890. ACM, (2018)Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.D. Cachera, T. Jensen, A. Jobin, and P. Sotin. AMAST, volume 5140 of Lecture Notes in Computer Science, page 122-138. Springer, (2008)Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.L. Bougé, D. Cachera, Y. Guyadec, G. Utard, and B. Virot. The Data Parallel Programming Model, volume 1132 of Lecture Notes in Computer Science, page 252-281. Springer, (1996)Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral Logic.K. Morin-Allory, and D. Cachera. CHARME, volume 3725 of Lecture Notes in Computer Science, page 376-379. Springer, (2005)