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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642360442, 9783642360466

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 2

Author(s):

Dieter Gollmann

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

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

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 ◽

Cited By ~ 1

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

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

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 ◽

Cited By ~ 9

Author(s):

Mathias Andersen ◽

Heine Gatten Larsen ◽

Jiří Srba ◽

Mathias Grund Sørensen ◽

Jakob Haahr Taankvist

Keyword(s):

Petri Nets ◽

Liveness Properties

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 ◽

Cited By ~ 8

Author(s):

Dirk Beyer ◽

Andreas Stahlbauer

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Recent Results on Howard’s Algorithm

Advantage of Quantum Strategies in Random Symmetric XOR Games

Parameterized Algorithms for Stochastic Steiner Tree Problems

Security for Cyber-Physical Systems

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

Controllable-Choice Message Sequence Graphs

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

Quicksort and Large Deviations

Verification of Liveness Properties on Closed Timed-Arc Petri Nets

BDD-Based Software Model Checking with CPAchecker

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