|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Wallner, Michael | A bijection of plane increasing trees with relaxed binary trees of right height at most one | Artikel Article  | 2019 |
| 2 | | Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel | Algorithmic introduction of quantified cuts | Artikel Article | 2014 |
| 3 | | Genitrini, Antoine ; Gittenberger, Bernhard ; Kraus, Veronika ; Mailler, Cécile | Associative and commutative tree representations for Boolean functions | Artikel Article | 2015 |
| 4 | | Holzer, Andreas ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut | Closure properties and complexity of rational sets of regular languages | Artikel Article | 2015 |
| 5 | | Kreutzer, Stephan ; Ordyniak, Sebastian | Complexity and monotonicity results for domination games | Artikel Article | 2016 |
| 6 | | Alhazov, Artiom ; Ivanov, Sergui ; Freund, Rudolf ; Ivanov, Sergiu ; Siromoney, Rani ; Subramanian, K.G. | Contextual array grammars with matrix control, regular control languages, and tissue P systems control | Artikel Article | 2017 |
| 7 | | Kreutzer, Stephan ; Ordyniak, Sebastian | Digraph decompositions and monotonicity in digraph searching | Artikel Article | 2011 |
| 8 | | Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert | First-order satisfiability in Gödel logics: an NP-complete fragment | Artikel Article | 2011 |
| 9 | | Das, Shantanu ; Focardi, Riccardo ; Luccio, Flaminia L. ; Markou, Euripides ; Squarcina, Marco | Gathering of robots in a ring with mobile faults | Artikel Article | 2019 |
| 10 | | Biely, Martin ; Robinson, Peter ; Schmid, Ulrich ; Schwarz, Manfred ; Winkler, Kyrill | Gracefully degrading consensus and k-set agreement in directed dynamic networks | Artikel Article | 2018 |
| 11 | | Lellmann, Björn | Hypersequent Rules with Restricted Contexts for Propositional Modal Logics | Artikel Article | 2016 |
| 12 | | Ariful Islam, Md. ; Murthy, Abhishek ; Bartocci, Ezio ; Cherry, Elizabeth M. ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu | Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation | Artikel Article | 2015 |
| 13 | | Gramlich, Bernhard | Modularity in term rewriting revisited | Artikel Article | 2012 |
| 14 | | Gaspers, Serge ; Koivisto, Mikko ; Liedloff, Mathieu ; Ordyniak, Sebastian ; Szeider, Stefan | On finding optimal polytrees | Artikel Article | 2015 |
| 15 | | Weller, Daniel | On the elimination of quantifier-free cuts | Artikel Article | 2011 |
| 16 | | Nowak, Thomas ; Függer, Matthias ; Kößler, Alexander | On the performance of a retransmission-based synchronizer | Artikel Article | 2013 |
| 17 | | Alpuente, M. ; Escobar, S. ; Gramlich, B. ; Lucas, S. | On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation Strategy | Artikel Article | 2010 |
| 18 | | Kanj, Iyad ; Szeider, Stefan | Parameterized and subexponential-time complexity ofsatisfiability problems and applications | Artikel Article | 2015 |
| 19 | | Bekos, Michael A. ; De Luca, Felice ; Didimo, Walter ; Mchedlidze, Tamara ; Nöllenburg, Martin ; Symvonis, Antonios ; Tollis, Ioannis | Planar drawings of fixed-mobile bigraphs | Artikel Article | 2019 |
| 20 | | Islam, Md. Ariful ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A. | Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans | Artikel Article | 18-Apr-2019 |
