AAAI — AAAI Conference on Artificial Intelligence
Going Beyond Primal Treewidth for {(M)ILP}
Robert Ganian - M.S. Ramanujan - Sebastian Ordyniak
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA
CAV — Computer Aided Verification
The Hanoi Omega-Automata Format (
DOI)
Tomáš Babiak - František Blahoudek - Alexandre Duret-Lutz - Joachim Klein - Jan Křetínský - David Müller - David Parker - Jan Strejček
Computer Aided Verification: 27th International Conference, CAV 2015
LICS — Logic in Computer Science
Zero-reachability in probabilistic multi-counter automata (
DOI)
Tomáš Brázdil - Stefan Kiefer - Antonín Kučera - Petr Novotný - Joost-Pieter Katoen
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
ATVA — Automated Technology for Verification and Analysis
Model Checking of C and C++ with DIVINE 4 (
DOI)
Zuzana Baranová - Jiří Barnat - Katarína Kejstová - Tadeáš Kučera - Henrich Lauko - Jan Mrázek - Petr Ročkai - Vladimír Štill
Automated Technology for Verification and Analysis
Tighter Loop Bound Analysis (
DOI)
Pavel Čadek - Jan Strejček - Marek Trtík
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016
Compact Symbolic Execution (
DOI)
Jiří Slabý - Jan Strejček - Marek Trtík
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013
CONCUR — International Conference on Concurrency Theory
Stability in Graphs and Games (
DOI)
Tomáš Brázdil - Vojtěch Forejt - Antonín Kučera - Petr Novotný
27th International Conference on Concurrency Theory, CONCUR 2016
IM — International Symposium on Integrated Network Management
ISAAC — International Symposium on Algorithms and Computation
JSSPP — Job Scheduling Strategies for Parallel Processing
LPAR — International Conference on Logic for Programming, Artificial Intelligence and Reasoning
MFCS — International Symposium on Mathematical Foundations of Computer Science
SAT — Satisfiability Testing
New Width Parameters for Model Counting (
DOI)
Robert Ganian - Stefan Szeider
Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
Backdoor Treewidth for SAT (
DOI)
Robert Ganian - M.S. Ramanujan - Stefan Szeider
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
SMC — Systems, Man and Cybernetics
STACS — Symposium on Theoretical Aspects of Computer Science
Backdoors to q-Horn (
DOI)
Sebastian Ordyniak - M S Ramanujan - Stefan Szeider - Serge Gaspers - Saket Saurabh
LIPIcs
TACAS — International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ADBIS — European Conference on Advances in Databases and Information Systems
CMSB — Computational Methods in Systems Biology
DEXA — Database and Expert Systems Applications
EDM — Educational Data Mining
FSTTCS — Foundations of Software Technology and Theoretical Computer Science
Tunable Online MUS/MSS Enumeration (
DOI)
Jaroslav Bendík - Nikola Beneš - Ivana Černá - Jiří Barnat
Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016
FedCSIS — Federated Conference on Computer Science and Information Systems
HS — Hybrid systems: computation and control
ICCHP — Computers Helping People with Special Needs
ICCSA — Computational Science and Its Applications
ICTAC — International Colloquium on Theoretical Aspects of Computing
CAAL: Concurrency Workbench, Aalborg Edition (
DOI)
Jesper R. Andersen - Nicklas Andersen - Soeren Enevoldsen - Mathias M. Hansen - Kim G. Larsen - Simon R. Olesen - Jiří Srba - Jacob K. Wortmann
Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC'15)
IDEAS — Database Engineering and Applications Symposium
ISBI — International Symposium on Biomedical Imaging
LREC — Language Resources and Evaluation
NOMS — Network Operations and Management Symposium
NSS — International Conference on Network and System Security
SEAA — Software Engineering and Advanced Applications
SECRYPT — International Conference on Security and Cryptography
SEFM — International Conference on Software Engineering and Formal Methods
TSD — Text, Speech and Dialogue
Annotated Amharic Corpora (
DOI)
Pavel Rychlý - Vít Suchomel
Text, Speech, and Dialogue 19th International Conference, TSD 2016 Brno, Czech Republic, September 12–16, 2016 Proceedings