Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642329425, 9783642329432

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_3 ◽

2012 ◽

pp. 30-45

Author(s):

César Sánchez ◽

Julian Samborski-Forlese

Keyword(s):

Temporal Logics ◽

Alternating Automata

Download Full-text

A Conformance Checker Tool CSPConCheck

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_12 ◽

2012 ◽

pp. 159-163

Author(s):

Suman Roy ◽

Sidharth Bihary ◽

Jose Alfonso Corso Laos

Download Full-text

Definite Expression Aliasing Analysis for Java Bytecode

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_6 ◽

2012 ◽

pp. 74-89 ◽

Cited By ~ 10

Author(s):

Đurica Nikolić ◽

Fausto Spoto

Keyword(s):

Java Bytecode

Download Full-text

Correctness of Object Oriented Models by Extended Type Inference

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_4 ◽

2012 ◽

pp. 46-60

Author(s):

Simon Foster ◽

Ondřej Rypáček ◽

Georg Struth

Keyword(s):

Object Oriented ◽

Type Inference ◽

Extended Type

Download Full-text

Ensuring Reachability by Design

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_17 ◽

2012 ◽

pp. 213-227 ◽

Cited By ~ 5

Author(s):

Benoît Caillaud ◽

Jean-Baptiste Raclet

Download Full-text

S-Narrowing for Constructor Systems

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_10 ◽

2012 ◽

pp. 136-150 ◽

Cited By ~ 2

Author(s):

Adrián Riesco ◽

Juan Rodríguez-Hortalá

Download Full-text

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_8 ◽

2012 ◽

pp. 105-119 ◽

Cited By ~ 3

Author(s):

Lidia Sánchez-Gil ◽

Mercedes Hidalgo-Herrero ◽

Yolanda Ortega-Mallén

Keyword(s):

Lazy Evaluation

Download Full-text

Approximate Verification and Enumeration Problems

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_18 ◽

2012 ◽

pp. 228-242 ◽

Cited By ~ 2

Author(s):

Sylvain Peyronnet ◽

Michel De Rougemont ◽

Yann Strozecki

Keyword(s):

Enumeration Problems

Download Full-text

Data Privacy Using MASKETEERTM

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_11 ◽

2012 ◽

pp. 151-158

Author(s):

Sachin Lodha ◽

Nikhil Patwardhan ◽

Ashim Roy ◽

Sharada Sundaram ◽

Dilys Thomas

Keyword(s):

Data Privacy

Download Full-text

Non-termination Sets of Simple Linear Loops

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32943-2_5 ◽

2012 ◽

pp. 61-73 ◽

Cited By ~ 1

Author(s):

Liyun Dai ◽

Bican Xia

Download Full-text

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata

A Conformance Checker Tool CSPConCheck

Definite Expression Aliasing Analysis for Java Bytecode

Correctness of Object Oriented Models by Extended Type Inference

Ensuring Reachability by Design

S-Narrowing for Constructor Systems

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation

Approximate Verification and Enumeration Problems

Data Privacy Using MASKETEERTM

Non-termination Sets of Simple Linear Loops

Theoretical Aspects of Computing – ICTAC 2012 - Lecture Notes in Computer Science
Latest Publications