Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642360442, 9783642360466

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Advantage of Quantum Strategies in Random Symmetric XOR Games

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_7 ◽

2013 ◽

pp. 57-68 ◽

Author(s):

Andris Ambainis ◽

Jānis Iraids ◽

Dmitry Kravchenko ◽

Madars Virza

Keyword(s):

Quantum Strategies

Download Full-text

Parameterized Algorithms for Stochastic Steiner Tree Problems

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_14 ◽

2013 ◽

pp. 143-154 ◽

Author(s):

Denis Kurz ◽

Petra Mutzel ◽

Bernd Zey

Keyword(s):

Steiner Tree ◽

Parameterized Algorithms ◽

Steiner Tree Problems

Download Full-text

Security for Cyber-Physical Systems

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_2 ◽

2013 ◽

pp. 12-14 ◽

Author(s):

Dieter Gollmann

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Recent Results on Howard’s Algorithm

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_6 ◽

2013 ◽

pp. 53-56

Author(s):

Peter Bro Miltersen

Download Full-text

Controllable-Choice Message Sequence Graphs

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_12 ◽

2013 ◽

pp. 118-130 ◽

Author(s):

Martin Chmelík ◽

Vojtěch Řehák

Download Full-text

On WQO Property for Different Quasi Orderings of the Set of Permutations

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_18 ◽

2013 ◽

pp. 190-199

Author(s):

Sandra Ose ◽

Juris Viksna

Keyword(s):

Set Of Permutations

Download Full-text

Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_16 ◽

2013 ◽

pp. 168-179

Author(s):

Michal Mikuš ◽

Marek Sýs

Download Full-text

Quicksort and Large Deviations

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_5 ◽

2013 ◽

pp. 43-52

Author(s):

Colin McDiarmid

Keyword(s):

Large Deviations

Download Full-text

BDD-Based Software Model Checking with CPAchecker

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_1 ◽

2013 ◽

pp. 1-11 ◽

Author(s):

Dirk Beyer ◽

Andreas Stahlbauer

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Download Full-text

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-36046-6_8 ◽

2013 ◽

pp. 69-81 ◽

Author(s):

Mathias Andersen ◽

Heine Gatten Larsen ◽

Jiří Srba ◽

Mathias Grund Sørensen ◽

Jakob Haahr Taankvist

Keyword(s):

Liveness Properties

Download Full-text