Theoretical Computer Science

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Theoretical Computer Science
 
e-ISSN
1879-2294
 
ISSN
0304-3975
 
Publisher Herausgeber
ELSEVIER
 
Publisher's Address Herausgeber Adresse
RADARWEG 29, AMSTERDAM, Netherlands, 1043 NX
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Results 41-60 of 61 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Schmid, Ulrich Random Trees in Queueing Systems with DeadlinesArtikel Article1995
42Eiter, Thomas ; Gottlob, Georg Reasoning Under Minimal Upper Bounds in Propositional LogicArtikel Article2006
43Ordyniak, Sebastian ; Paulusma, Daniel ; Szeider, Stefan Satisfiability of acyclic and almost acyclic CNF formulasArtikel Article 2013
44Slivovsky, Friedrich ; Szeider, Stefan Soundness of Q-resolution with dependency schemesArtikel Article 2016
45Biely, Martin ; Schmid, Ulrich ; Weiss, Bettina Synchronous consensus under hybrid process and link failuresArtikel Article2011
46Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido System Design of Stochastic Models using Robustness of Temporal PropertiesArtikel Article 2015
47Martínez, Conrado ; Panholzer, Alois ; Prodinger, Helmut The analysis of Range Quickselect and related problemsArtikel Article2011
48Robinson, Peter ; Schmid, Ulrich The Asynchronous Bounded-Cycle ModelArtikel Article2011
49Kuba, Markus ; Panholzer, Alois The left-right-imbalance of binary search treesArtikel Article2007
50Leitsch, Alexander ; Lettmann, Michael The problem of Pi_2-cut-introductionArtikel Article 2017
51Loridant, Benoit ; Messaoudi, A. ; Surer, Paul ; Thuswaldner, J.M. Tilings induced by a class of cubic Rauzy fractalsArtikel Article 22-Dec-2013
52Freund, Rudolf ; Alhazov, Artiom Time-freeness and clock-freeness and related concepts in {P} systemsArtikel Article 2020
53Freund, Rudolf ; Paun, Gheorghe ; Pérez-Jiménez, Mario Tissue P Systems with Channel StatesArtikel Article2005
54van der Hoog, Ivor ; van Kreveld, Marc ; Meulemans, Wouter ; Verbeek, Kevin ; Wulms, Jules Topological stability of kinetic k-centersArtikel Article 18-Apr-2021
55Moser, Heinrich Towards a real-time distribiuted computing modelArtikel Article2008
56Pichler, Reinhard ; Savenkov, Vadim Towards practical feasibility of core computation in data exchangeArtikel Article2010
57Baldi, Paolo ; Ciabattoni, Agata Uniform proofs of standard completeness for extensions of first-order MTLArtikel Article2015
58Alhazov-2022-Theoretical Computer Science-vor.pdf.jpgAlhazov, Artiom ; Freund, Rudolf ; Ivanov, Sergiu ; Oswald, Marion Variants of derivation modes for which purely catalytic {P} systemsare computationally completeArticle Artikel 12-Jun-2022
59Svozil, Karl Varieties of contextuality based on probability and structural nonembeddabilityArtikel Article 2022
60Droste, Manfred ; Kuich, Werner Weighted finite automata over hemiringsArtikel Article2013