Sortiert nach
International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.33-48
2022
Link zum Volltext
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.465-480
2018
Link zum Volltext
ACM transactions on programming languages and systems, 2022-09, Vol.44 (3), p.1-40
2022
Link zum Volltext
Formal methods in system design, 2023-10
2023
Link zum Volltext
Journal of automated reasoning, 2017, Vol.59 (1), p.3-45
2017
Link zum Volltext
ACM transactions on computational logic, 2023-01, Vol.24 (1), p.1-76, Article 1
2023
Link zum Volltext
Artificial intelligence, 2022-07, Vol.308, p.103724, Article 103724
2022
Link zum Volltext
Formal methods in system design, 2021-08, Vol.57 (2), p.270-302
2021
Link zum Volltext
Formal methods in system design, 2021-01, Vol.57 (2), p.270-302
2021
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.47-61
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.423-444
2018
Link zum Volltext
Formal methods in system design, 2017, Vol.50 (2-3), p.289-316
2017
Link zum Volltext
Mathematical structures in computer science, 2022-06, Vol.32 (6), p.794-826
2022
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.196-218
Link zum Volltext
Software Engineering and Formal Methods, p.282-300
Link zum Volltext
Computer Science -- Theory and Applications, 2015, Vol.9139, p.426-442
2015
Link zum Volltext
Computer Aided Verification, p.745-761
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Link zum Volltext
Static Analysis, p.280-297
Link zum Volltext
PRIMA 2015: Principles and Practice of Multi-Agent Systems, p.185-200
Link zum Volltext
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.185-194
2018
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2017, p.1-24
2017
Link zum Volltext
Programming Languages and Systems, 2017, Vol.10201, p.611-638
2017
Link zum Volltext
Automated Technology for Verification and Analysis, p.196-212
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.214-228
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- 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
- Ranking Function
- Resource Bound Analysis
- Software Engineering/programming And Operating Systems
- Transitive Closure
- Algorithms
Kollektion
- Ingenta
- Springer Book Series
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- Journals@Ovid Full Text
- MEDLINE
- IngentaConnect Journals
- Nexis
- Nature Journals Online
- Cambridge Journals Online (DEFF)
- Access via Business Source (EBSCOhost)
- Elsevier ScienceDirect Journals Complete
- IEEE/IET Electronic Library
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
- International Journal On Software Tools For Technology Transfer
- Journal Of Automated Reasoning