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

9783642259289, 9783642259296

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Information Security in a Quantum World

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

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

2012 ◽

pp. 57-62

Author(s):

Renato Renner

Keyword(s):

Information Security

Download Full-text

Frequency Prediction of Functions

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

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

2012 ◽

pp. 76-83 ◽

Cited By ~ 1

Author(s):

Kaspars Balodis ◽

Ilja Kucevalovs ◽

Rūsiņš Freivalds

Download Full-text

Assessing System Vulnerability Using Formal Verification Techniques

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

10.1007/978-3-642-25929-6_4 ◽

2012 ◽

pp. 47-56 ◽

Cited By ~ 3

Author(s):

Görschwin Fey

Keyword(s):

Formal Verification ◽

System Vulnerability ◽

Verification Techniques

Download Full-text

Four Authorization Protocols for an Electronic Payment System

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

10.1007/978-3-642-25929-6_19 ◽

2012 ◽

pp. 205-214

Author(s):

Roman Žilka ◽

Vashek Matyáš ◽

Libor Kyncl

Keyword(s):

Payment System ◽

Electronic Payment ◽

Electronic Payment System

Download Full-text

Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000

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

10.1007/978-3-642-25929-6_13 ◽

2012 ◽

pp. 136-145 ◽

Cited By ~ 5

Author(s):

Jiří Matela ◽

Martin Šrom ◽

Petr Holub

Keyword(s):

Arithmetic Coding ◽

Fast Arithmetic

Download Full-text

Natural Born Computing

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

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

2012 ◽

pp. 20-36

Author(s):

Peter J. Bentley

Download Full-text

Noise Injection Heuristics for Concurrency Testing

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

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

2012 ◽

pp. 123-135 ◽

Cited By ~ 5

Author(s):

Bohuslav Křena ◽

Zdeněk Letko ◽

Tomáš Vojnar

Keyword(s):

Noise Injection ◽

Concurrency Testing

Download Full-text

Generalized Maneuvers in Route Planning

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

10.1007/978-3-642-25929-6_15 ◽

2012 ◽

pp. 155-166 ◽

Cited By ~ 1

Author(s):

Petr Hliněný ◽

Ondrej Moriš

Keyword(s):

Route Planning

Download Full-text

Basic Operations on Binary Suffix-Free Languages

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

10.1007/978-3-642-25929-6_9 ◽

2012 ◽

pp. 94-102 ◽

Cited By ~ 15

Author(s):

Roland Cmorik ◽

Galina Jirásková

Download Full-text

Computer Memory: Why We Should Care What Is under the Hood

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

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

2012 ◽

pp. 63-75

Author(s):

Vlastimil Babka ◽

Petr Tůma

Keyword(s):

Computer Memory

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

Information Security in a Quantum World

Frequency Prediction of Functions

Assessing System Vulnerability Using Formal Verification Techniques

Four Authorization Protocols for an Electronic Payment System

Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000

Natural Born Computing

Noise Injection Heuristics for Concurrency Testing

Generalized Maneuvers in Route Planning

Basic Operations on Binary Suffix-Free Languages

Computer Memory: Why We Should Care What Is under the Hood

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