Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 4113 results
Sort by: relevance publication year

Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives

BOOK CHAPTER published 2012 in Mathematical and Engineering Methods in Computer Science

Authors: Krishnendu Chatterjee | Laurent Doyen

https://doi.org/10.1007/978-3-642-25929-6_3 Actions

Steiner Tree 1.39-Approximation in Practice

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Stephan Beyer | Markus Chimani

https://doi.org/10.1007/978-3-319-14896-0_6 Actions

Quicksort and Large Deviations

BOOK CHAPTER published 2013 in Mathematical and Engineering Methods in Computer Science

Authors: Colin McDiarmid

https://doi.org/10.1007/978-3-642-36046-6_5 Actions

Today’s Challenges for Embedded ASR

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Jozef Ivanecký | Stephan Mehlhase

https://doi.org/10.1007/978-3-319-14896-0_2 Actions

Security for Cyber-Physical Systems

BOOK CHAPTER published 2013 in Mathematical and Engineering Methods in Computer Science

Authors: Dieter Gollmann

https://doi.org/10.1007/978-3-642-36046-6_2 Actions

3D Model-Based Segmentation of 3D Biomedical Images

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Stefan Wörz

https://doi.org/10.1007/978-3-319-14896-0_4 Actions

Automating Software Analysis at Large Scale

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Daniel Kroening | Michael Tautschnig

https://doi.org/10.1007/978-3-319-14896-0_3 Actions

Decidability of the equivalence problem for synchronous deterministic pushdown automata

BOOK CHAPTER published in Mathematical Foundations of Computer Science 1984

Authors: A.Sh. Nepomnjashchaja

https://doi.org/10.1007/bfb0030325 Actions

Bent Functions Synthesis on Intel Xeon Phi Coprocessor

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Radek Hrbacek

https://doi.org/10.1007/978-3-319-14896-0_8 Actions

Context-Switch-Directed Verification in DIVINE

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Vladimír Štill | Petr Ročkai | Jiří Barnat

https://doi.org/10.1007/978-3-319-14896-0_12 Actions

Height-Deterministic Pushdown Automata

BOOK CHAPTER published in Mathematical Foundations of Computer Science 2007

Authors: Dirk Nowotka | Jiří Srba

https://doi.org/10.1007/978-3-540-74456-6_13 Actions

A New Concept in Advice Complexity of Job Shop Scheduling

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: David Wehner

https://doi.org/10.1007/978-3-319-14896-0_13 Actions

LTL Model Checking of LLVM Bitcode with Symbolic Data

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Petr Bauch | Vojtěch Havel | Jiří Barnat

https://doi.org/10.1007/978-3-319-14896-0_5 Actions

Two decidability results for deterministic pushdown automata

BOOK CHAPTER published 1977 in Lecture Notes in Computer Science

Authors: Matti Linna

https://doi.org/10.1007/3-540-08353-7_157 Actions

On Monitoring C/C++ Transactional Memory Programs

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Jan Fiedor | Zdeněk Letko | João Lourenço | Tomáš Vojnar

https://doi.org/10.1007/978-3-319-14896-0_7 Actions

Image Analysis of Gene Locus Positions Within Chromosome Territories in Human Lymphocytes

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Karel Štěpka | Martin Falk

https://doi.org/10.1007/978-3-319-14896-0_11 Actions

Mapping Problems to Skills Combining Expert Opinion and Student Data

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Juraj Nižnan | Radek Pelánek | Jiří Řihák

https://doi.org/10.1007/978-3-319-14896-0_10 Actions

Parallelisation of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Vojtech Nikl | Jiri Jaros

https://doi.org/10.1007/978-3-319-14896-0_9 Actions

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

BOOK CHAPTER published 2013 in Mathematical and Engineering Methods in Computer Science

Authors: Mathias Andersen | Heine Gatten Larsen | Jiří Srba | Mathias Grund Sørensen | Jakob Haahr Taankvist

https://doi.org/10.1007/978-3-642-36046-6_8 Actions

On jump-deterministic pushdown automata

JOURNAL ARTICLE published December 1977 in Mathematical Systems Theory

Authors: Bruno Courcelle

https://doi.org/10.1007/bf01768471 Actions
Feedback: support@crossref.org