Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642220111, 9783642220128

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Cost of Traveling between Languages

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_18 ◽

2011 ◽

pp. 234-245 ◽

Cited By ~ 1

Author(s):

Michael Benedikt ◽

Gabriele Puppis ◽

Cristian Riveros

Keyword(s):

The Cost

Download Full-text

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_32 ◽

2011 ◽

pp. 404-415 ◽

Cited By ~ 2

Author(s):

Diana Fischer ◽

Łukasz Kaiser

Keyword(s):

Model Checking ◽

Hybrid Systems

Download Full-text

Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_46 ◽

2011 ◽

pp. 576-587 ◽

Cited By ~ 71

Author(s):

Michael T. Goodrich ◽

Michael Mitzenmacher

Keyword(s):

Privacy Preserving ◽

Oblivious Ram ◽

Outsourced Data

Download Full-text

Constructing Differential Categories and Deconstructing Categories of Games

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_14 ◽

2011 ◽

pp. 186-197 ◽

Cited By ~ 1

Author(s):

Jim Laird ◽

Giulio Manzonetto ◽

Guy McCusker

Keyword(s):

Differential Categories

Download Full-text

Fault-Tolerant Compact Routing Schemes for General Graphs

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_7 ◽

2011 ◽

pp. 101-112 ◽

Cited By ~ 1

Author(s):

Shiri Chechik

Keyword(s):

Fault Tolerant ◽

Compact Routing ◽

Routing Schemes ◽

General Graphs

Download Full-text

An Introduction to Randomness Extractors

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_2 ◽

2011 ◽

pp. 21-41 ◽

Cited By ~ 28

Author(s):

Ronen Shaltiel

Keyword(s):

Randomness Extractors

Download Full-text

Adaptively Secure Non-interactive Threshold Cryptosystems

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_47 ◽

2011 ◽

pp. 588-600 ◽

Cited By ~ 9

Author(s):

Benoît Libert ◽

Moti Yung

Keyword(s):

Threshold Cryptosystems

Download Full-text

Büchi Automata Can Have Smaller Quotients

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_20 ◽

2011 ◽

pp. 258-270 ◽

Cited By ~ 5

Author(s):

Lorenzo Clemente

Keyword(s):

Büchi Automata ◽

Buchi Automata

Download Full-text

Content Search through Comparisons

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_48 ◽

2011 ◽

pp. 601-612 ◽

Cited By ~ 2

Author(s):

Amin Karbasi ◽

Stratis Ioannidis ◽

Laurent Massoulié

Keyword(s):

Content Search

Download Full-text

On the Semantics of Markov Automata

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22012-8_24 ◽

2011 ◽

pp. 307-318 ◽

Cited By ~ 14

Author(s):

Yuxin Deng ◽

Matthew Hennessy

Keyword(s):

Markov Automata

Download Full-text

Automata, Languages and Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Cost of Traveling between Languages

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation

Constructing Differential Categories and Deconstructing Categories of Games

Fault-Tolerant Compact Routing Schemes for General Graphs

An Introduction to Randomness Extractors

Adaptively Secure Non-interactive Threshold Cryptosystems

Büchi Automata Can Have Smaller Quotients

Content Search through Comparisons

On the Semantics of Markov Automata

Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications