Electronic Proceedings in Theoretical Computer Science

Book title Buchtitel
Electronic Proceedings in Theoretical Computer Science
Publisher Herausgeber
Open Publishing Association
Place of publishing Erscheinungsort

Publications Publikationen

Results 1-20 of 22 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kruckman, Alex ; Rubin, Sasha ; Sheridan, John ; Zax, Ben ; Faella, Marco ; Murano, Aniello A Myhill-Nerode theorem for automata with adviceKonferenzbeitrag Inproceedings 2012
2Schoisswohl, Johannes ; Kovács, Laura ; Pimentel, Elaine ; Tassi, Enrico Automating Induction by ReflectionKonferenzbeitrag Inproceedings 2021
3Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina ; Moss, Lawrence Causality and Epistemic Reasoning in Byzantine Multi-Agent SystemsKonferenzbeitrag Inproceedings 2019
4Aschieri, Federico ; Genco, Francesco ; Ciabattoni, Agata Classical Proofs as Parallel ProgramsKonferenzbeitrag Inproceedings 2018
5Freund, Rudolf ; Fernau, Henning ; Holzer, Markus ; Esik, Zoltan Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid ModesKonferenzbeitrag Inproceedings2014
6Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard ; Bogaerts, Bart ; Erdem, Esra ; Fodor, Paul ; Formisano, Andrea ; Ianni, Giovambattista ; Inclezan, Daniela ; De Vos, Marina ; Yang, Fangkai Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
7Ebner, Gabriel Fast Cut-Elimination using Proof Terms: An Empirical StudyKonferenzbeitrag Inproceedings2018
8Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Fire!Konferenzbeitrag Inproceedings 2021
9Aminof, Benjamin ; Rubin, Sasha First Cycle GamesKonferenzbeitrag Inproceedings 2014
10Schreiner, Wolfgang ; Reichl, Franz-Xaver First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT SolvingKonferenzbeitrag Inproceedings 2021
11Freund, Rudolf ; Paun, Gheorghe ; Neary, Turlough How to Obtain Computational Completeness in P Systems with One CatalystKonferenzbeitrag Inproceedings 2013
12Bartocci, Ezio ; Grosu, Radu Monitoring with uncertaintyKonferenzbeitrag Inproceedings2013
13Aschieri, Federico Natural Deduction and Normalization Proofs for the Intersection Type DisciplineKonferenzbeitrag Inproceedings 2019
14Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido On the Robustness of Temporal Properties for Stochastic ModelsKonferenzbeitrag Inproceedings 2013
15Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan ; Kaliszyk, Cezary Prooftool: a GUI for the GAPT FrameworkKonferenzbeitrag Inproceedings 2013
16Kiesel, Rafael Quantitative and Stream Extensions of Answer Set ProgrammingKonferenzbeitrag Inproceedings 2021
17Bartocci, Ezio Sampling-based Decentralized Monitoring for Networked Embedded SystemsKonferenzbeitrag Inproceedings 2013
18Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana SEA-PARAM: Exploring Schedulers in Parametric MDPsKonferenzbeitrag Inproceedings2017
19Geibinger, Tobias ; Tompits, Hans Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent LogicsKonferenzbeitrag Inproceedings 2020
20Kuich, Werner ; Droste, Manfred ; Esik, Zoltan ; Chuhaj-Varju, Erzebet ; Dömösi, Pal ; Vaszil, György The Triple-Pair Construction for Weighted Omega-Pushdown AutomataKonferenzbeitrag Inproceedings2017