Facet browsing currently unavailable
Page 7 of 16663 results
Sort by: relevance publication year
Local abstraction refinement for probabilistic timed programs JOURNAL ARTICLE published June 2014 in Theoretical Computer Science |
A linear ordering of a multi-parameter universe is usually nonsense JOURNAL ARTICLE published April 2012 in Theoretical Computer Science |
Characteristics of graph languages generated by edge replacement JOURNAL ARTICLE published 1987 in Theoretical Computer Science |
Boundary sets of regular and context-free languages JOURNAL ARTICLE published January 2016 in Theoretical Computer Science |
Foreword JOURNAL ARTICLE published October 1990 in Theoretical Computer Science |
Rational languages and the Burnside problem JOURNAL ARTICLE published 1985 in Theoretical Computer Science |
Frontiers in algorithmics JOURNAL ARTICLE published May 2014 in Theoretical Computer Science |
Viability in hybrid systems JOURNAL ARTICLE published February 1995 in Theoretical Computer Science |
Learning counting functions with queries JOURNAL ARTICLE published June 1997 in Theoretical Computer Science |
The extra connectivity of the enhanced hypercubes JOURNAL ARTICLE published December 2019 in Theoretical Computer Science |
On the properties of language classes defined by bounded reaction automata JOURNAL ARTICLE published October 2012 in Theoretical Computer Science |
Fitting truncated geometric distributions in large scale real world networks JOURNAL ARTICLE published September 2014 in Theoretical Computer Science Research funded by Department of Science and Technology, Ministry of Science and Technology (INT/BRAZIL/IT-P/05/2010) |
Reaction systems and extremal combinatorics properties JOURNAL ARTICLE published September 2015 in Theoretical Computer Science Research funded by MIUR (H41J12000190001) | French National Research Agency (ANR-09-BLAN-0164) |
On the computational complexity of imperative programming languages JOURNAL ARTICLE published June 2004 in Theoretical Computer Science |
Interactions between Computer Science and Biology JOURNAL ARTICLE published July 2015 in Theoretical Computer Science |
A logical characterization of timed regular languages JOURNAL ARTICLE published January 2017 in Theoretical Computer Science |
An output-sensitive algorithm to compute the normal vector of a digital plane JOURNAL ARTICLE published April 2016 in Theoretical Computer Science Research funded by ANR (ANR-11-BS02-009,ANR-2010-BLAN-0205) |
A pointer-free data structure for merging heaps and min-max heaps JOURNAL ARTICLE published July 1991 in Theoretical Computer Science |
The online knapsack problem: Advice and randomization JOURNAL ARTICLE published March 2014 in Theoretical Computer Science Research funded by ETH (TH 18 07-3) | SNF (200020-120073,200021-141089) |
The fault-tolerant capacitated K-center problem JOURNAL ARTICLE published February 2015 in Theoretical Computer Science Research funded by Israel Science Foundation (894/09) | United States–Israel Binational Science Foundation (2008348) | Israel Ministry of Science and Technology (3-6478) |