Sortiert nach
International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.33-48
2022
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
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2021, p.1-9
2021
- Link zum Volltext
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-13
2023
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 Aided Verification, p.745-761
Link zum Volltext
Static Analysis, 2018, Vol.11002, p.423-444
2018
Link zum Volltext
Fundamentals of Computation Theory, p.3-10
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Link zum Volltext
Mathematical Foundations of Computer Science 2014, p.208-219
Link zum Volltext
Static Analysis, p.280-297
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2017, p.1-24
2017
Link zum Volltext
Automated Technology for Verification and Analysis, p.196-212
Link zum Volltext
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.511-522
2015
Link zum Volltext
PRIMA 2015: Principles and Practice of Multi-Agent Systems, p.185-200
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Logic
- Benchmark Testing
- Complexity
- Computer Science, Artificial Intelligence
- Data Structures
- Physical Sciences
- Software
- Abstract Domain
- Automation
- Cognition
- Computer Science, Hardware & Architecture
- Computer Science, Interdisciplinary Applications
- Cost Analysis
- Engineering
Kollektion
- Ingenta
- SpringerLink Series
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- Springer Books
- IEEE/IET Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- Journals@Ovid Complete
- IngentaConnect Journals
- Nexis Uni
- Nature
- Cambridge Journals Online (DEFF)
- EBSCOhost Business Source Ultimate
- Elsevier ScienceDirect Journals Complete
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 Analytical Atomic Spectrometry
Neu hinzugefügt