Sortiert nach
Verification, Model Checking, and Abstract Interpretation, p.214-228
Volltextzugriff (PDF)
Computer Science -- Theory and Applications, 2015, Vol.9139, p.426-442
2015
Volltextzugriff (PDF)
Nature communications, 2024-03, Vol.15 (1), p.2364-2364, Article 2364
- Tretter, Celina
- de Andrade Krätzig, Niklas
- Pecoraro, Matteo
- Lange, Sebastian
- Seifert, Philipp
- von Frankenberg, Clara
- Untch, Johannes
- Zuleger, Gabriela
- Wilhelm, Mathias
- Zolg, Daniel P
- Dreyer, Florian S
- Bräunlein, Eva
- Engleitner, Thomas
- Uhrig, Sebastian
- Boxberg, Melanie
- Steiger, Katja
- Slotta-Huspenina, Julia
- Ochsenreither, Sebastian
- von Bubnoff, Nikolas
- Bauer, Sebastian
- Boerries, Melanie
- Jost, Philipp J
- Schenck, Kristina
- Dresing, Iska
- Bassermann, Florian
- Friess, Helmut
- Reim, Daniel
- Grützmann, Konrad
- Pfütze, Katrin
- Klink, Barbara
- Schröck, Evelin
- Haller, Bernhard
- Kuster, Bernhard
- Mann, Matthias
- Weichert, Wilko
- Fröhling, Stefan
- Rad, Roland
- Hiltensperger, Michael
- Krackhardt, Angela M
2024
Volltextzugriff (PDF)
Fundamentals of Computation Theory, p.3-10
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.465-480
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2018-12, Vol.53 (4), p.465-480
2018
Volltextzugriff (PDF)
Static Analysis, p.280-297
Volltextzugriff (PDF)
Journal of automated reasoning, 2017, Vol.59 (1), p.3-45
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2023-01, Vol.24 (1), p.1-76, Article 1
2023
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.185-194
2018
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.196-218
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.196-212
Volltextzugriff (PDF)
Formal methods in system design, 2017, Vol.50 (2-3), p.289-316
2017
Volltextzugriff (PDF)
Computer Aided Verification, p.561-579
Volltextzugriff (PDF)
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014, p.41-51
2014
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.282-300
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2018, Vol.10747, p.205-225
2018
Volltextzugriff (PDF)
Journal of analytical atomic spectrometry, 2009-01, Vol.24 (6), p.825
2009
Volltextzugriff (PDF)
Static Analysis, 2018, Vol.11002, p.423-444
2018
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.375-387
Volltextzugriff (PDF)
Biodiversity data journal, 2023-04, Vol.11, p.e99588-e99588
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing - SAT 2020, 2020, Vol.12178, p.429-446
2020
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.313-328
2015
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2017, p.1-24
2017
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Logic
- Computer Science, Artificial Intelligence
- Abstract Domain
- Complexity
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Cost Analysis
- Model Check
- Parameterization
- Physical Sciences
- Ranking Function
- Resource Bound Analysis
- Software Engineering/programming And Operating Systems
- Transitive Closure
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- 2022 ECC(Springer)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- MEDLINE
- IngentaConnect Journals
- Nexis Uni
- Springer Nature - Connect here FIRST to enable access
- Cambridge Journals Online (DEFF)
- EBSCOhost Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
- IEL
Zeitschrift / Serie
- Formal Methods In System Design
- Nature Communications
- Sigplan Notices
- Acm Sigplan Notices
- Acm Transactions On Computational Logic
- Acm Transactions On Programming Languages And Systems
- Artificial Intelligence
- Biodiversity Data Journal
- Biodiversity Data Jurnal
- International Journal On Software Tools For Technology Transfer