Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 7 of 16663 results
Sort by: relevance publication year
Showing results for ISSN matching 0304-3975

Local abstraction refinement for probabilistic timed programs

JOURNAL ARTICLE published June 2014 in Theoretical Computer Science

Authors: Klaus Dräger | Marta Kwiatkowska | David Parker | Hongyang Qu

https://doi.org/10.1016/j.tcs.2013.07.013 Actions

A linear ordering of a multi-parameter universe is usually nonsense

JOURNAL ARTICLE published April 2012 in Theoretical Computer Science

Authors: H. Maurer

https://doi.org/10.1016/j.tcs.2011.12.042 Actions

Characteristics of graph languages generated by edge replacement

JOURNAL ARTICLE published 1987 in Theoretical Computer Science

Authors: Annegret Habel | Hans-Jörg Kreowski

https://doi.org/10.1016/0304-3975(87)90050-8 Actions

Boundary sets of regular and context-free languages

JOURNAL ARTICLE published January 2016 in Theoretical Computer Science

Authors: Markus Holzer | Sebastian Jakobi

https://doi.org/10.1016/j.tcs.2015.07.032 Actions

Foreword

JOURNAL ARTICLE published October 1990 in Theoretical Computer Science

Authors: J. Paredaens | M. Gyssens

https://doi.org/10.1016/0304-3975(90)90010-f Actions

Rational languages and the Burnside problem

JOURNAL ARTICLE published 1985 in Theoretical Computer Science

Authors: A Restivo

https://doi.org/10.1016/0304-3975(85)90104-5 Actions

Frontiers in algorithmics

JOURNAL ARTICLE published May 2014 in Theoretical Computer Science

Authors: Pinyan Lu | Jack Snoeyink

https://doi.org/10.1016/j.tcs.2014.04.001 Actions

Viability in hybrid systems

JOURNAL ARTICLE published February 1995 in Theoretical Computer Science

Authors: Wolf Kohn | Anil Nerode | Jeffrey B. Remmel | Alexander Yakhnis

https://doi.org/10.1016/0304-3975(94)00150-h Actions

Learning counting functions with queries

JOURNAL ARTICLE published June 1997 in Theoretical Computer Science

Authors: Zhixiang Chen | Steven Homer

https://doi.org/10.1016/s0304-3975(96)00144-2 Actions

The extra connectivity of the enhanced hypercubes

JOURNAL ARTICLE published December 2019 in Theoretical Computer Science

Authors: Eminjan Sabir | Aygul Mamut | Elkin Vumar

https://doi.org/10.1016/j.tcs.2019.09.035 Actions

On the properties of language classes defined by bounded reaction automata

JOURNAL ARTICLE published October 2012 in Theoretical Computer Science

Authors: Fumiya Okubo | Satoshi Kobayashi | Takashi Yokomori

https://doi.org/10.1016/j.tcs.2012.03.024 Actions

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)

Authors: Swarup Chattopadhyay | C.A. Murthy | Sankar K. Pal

https://doi.org/10.1016/j.tcs.2014.05.003 Actions

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)

Authors: Alberto Dennunzio | Enrico Formenti | Luca Manzoni

https://doi.org/10.1016/j.tcs.2015.06.001 Actions

On the computational complexity of imperative programming languages

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: L. Kristiansen | K.-H. Niggl

https://doi.org/10.1016/j.tcs.2003.10.016 Actions

Interactions between Computer Science and Biology

JOURNAL ARTICLE published July 2015 in Theoretical Computer Science

Authors: Paola Giannini | Emanuela Merelli | Angelo Troina

https://doi.org/10.1016/j.tcs.2015.05.024 Actions

A logical characterization of timed regular languages

JOURNAL ARTICLE published January 2017 in Theoretical Computer Science

Authors: Marcello M. Bersani | Matteo Rossi | Pierluigi San Pietro

https://doi.org/10.1016/j.tcs.2016.07.020 Actions

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)

Authors: Jacques-Olivier Lachaud | Xavier Provençal | Tristan Roussillon

https://doi.org/10.1016/j.tcs.2015.11.021 Actions

A pointer-free data structure for merging heaps and min-max heaps

JOURNAL ARTICLE published July 1991 in Theoretical Computer Science

Authors: Giorgio Gambosi | Enrico Nardelli | Maurizio Talamo

https://doi.org/10.1016/0304-3975(91)90262-z Actions

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)

Authors: Hans-Joachim Böckenhauer | Dennis Komm | Richard Královič | Peter Rossmanith

https://doi.org/10.1016/j.tcs.2014.01.027 Actions

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)

Authors: Shiri Chechik | David Peleg

https://doi.org/10.1016/j.tcs.2014.11.017 Actions
Feedback: support@crossref.org