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

Efficient random sampling of binary and unary-binary trees via holonomic equations

JOURNAL ARTICLE published September 2017 in Theoretical Computer Science

Authors: Axel Bacher | Olivier Bodini | Alice Jacquot

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

Generic models for computational effects

JOURNAL ARTICLE published November 2006 in Theoretical Computer Science

Authors: John Power

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

Analysis of a cellular automaton model for car traffic with a junction

JOURNAL ARTICLE published September 2012 in Theoretical Computer Science

Authors: Yo-Sub Han | Sang-Ki Ko

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

Complexity of approximating the vertex centroid of a polyhedron

JOURNAL ARTICLE published March 2012 in Theoretical Computer Science

Authors: Khaled Elbassioni | Hans Raj Tiwary

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

Semi-online scheduling problems on two identical machines with inexact partial information

JOURNAL ARTICLE published May 2007 in Theoretical Computer Science

Authors: Zhiyi Tan | Yong He

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

Mellin transforms and asymptotics: digital sums

JOURNAL ARTICLE published January 1994 in Theoretical Computer Science

Authors: Philippe Flajolet | Peter Grabner | Peter Kirschenhofer | Helmut Prodinger | Robert F. Tichy

https://doi.org/10.1016/0304-3975(92)00065-y Actions

Computational isomorphisms in classical logic

JOURNAL ARTICLE published February 2003 in Theoretical Computer Science

Authors: Vincent Danos | Jean-Baptiste Joinet | Harold Schellinx

https://doi.org/10.1016/s0304-3975(01)00148-7 Actions

Three remarks on W graphs

JOURNAL ARTICLE published April 2024 in Theoretical Computer Science

Authors: Carl Feghali | Malory Marin

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

Finding dominating induced matchings in P10-free graphs in polynomial time

JOURNAL ARTICLE published April 2024 in Theoretical Computer Science

Authors: Andreas Brandstädt | Raffaele Mosca

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

Fundamentals of reversible flowchart languages

JOURNAL ARTICLE published January 2016 in Theoretical Computer Science

Research funded by MEXT (25730049) | Danish Council for Strategic Research (0603-00222B) | Danish Council for Independent Research (12-126689)

Authors: Tetsuo Yokoyama | Holger Bock Axelsen | Robert Glück

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

Abstract flows over time: A first step towards solving dynamic packing problems

JOURNAL ARTICLE published August 2014 in Theoretical Computer Science

Research funded by Deutsche Forschungsgemeinschaft (1307) | DFG Research Center Matheon (FZT 86)

Authors: Jan-Philipp W. Kappmeier | Jannik Matuschke | Britta Peis

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

Justified common knowledge

JOURNAL ARTICLE published July 2006 in Theoretical Computer Science

Authors: Sergei Artemov

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

Diameter of colorings under Kempe changes

JOURNAL ARTICLE published October 2020 in Theoretical Computer Science

Authors: Marthe Bonamy | Marc Heinrich | Takehiro Ito | Yusuke Kobayashi | Haruka Mizuta | Moritz Mühlenthaler | Akira Suzuki | Kunihiro Wasa

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

An approximability result of the multi-vehicle scheduling problem on a path with release and handling times

JOURNAL ARTICLE published January 2004 in Theoretical Computer Science

Authors: Yoshiyuki Karuno | Hiroshi Nagamochi

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

Hardness and approximation for the star p-Hub Routing Cost Problem in metric graphs

JOURNAL ARTICLE published June 2022 in Theoretical Computer Science

Authors: Hao-Ping Yeh | Wei Lu | Li-Hsuan Chen | Ling-Ju Hung | Ralf Klasing | Sun-Yuan Hsieh

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

Control machines: A new model of parallelism for compositional specifications and their effective compilation

JOURNAL ARTICLE published September 1991 in Theoretical Computer Science

Authors: A.G. Heibig

https://doi.org/10.1016/s0304-3975(06)80004-6 Actions

On the suitability of trace semantics for modular proofs of communicating processes

JOURNAL ARTICLE published 1985 in Theoretical Computer Science

Authors: R.J.R. Back | H. Mannila

https://doi.org/10.1016/0304-3975(85)90130-6 Actions

Tractability conditions for numeric CSPs

JOURNAL ARTICLE published March 2018 in Theoretical Computer Science

Authors: Peter Jonsson | Johan Thapper

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

A note on: ‘Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages’ (by K. Ayers)

JOURNAL ARTICLE published 1987 in Theoretical Computer Science

Authors: Franz J. Brandenburg

https://doi.org/10.1016/0304-3975(87)90115-0 Actions

Advances in Algorithms & Combinatorics on Strings (Honoring 60th birthday for Prof. Costas S. Iliopoulos)

JOURNAL ARTICLE published February 2018 in Theoretical Computer Science

Authors: Maxime Crochemore | Solon P. Pissis

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