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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642397172, 9783642397189

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reactive Designs of Interrupts in Circus Time

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

10.1007/978-3-642-39718-9_22 ◽

2013 ◽

pp. 373-390 ◽

Cited By ~ 2

Author(s):

Kun Wei

Download Full-text

An Interface Model of Software Components

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

10.1007/978-3-642-39718-9_10 ◽

2013 ◽

pp. 159-176 ◽

Cited By ~ 2

Author(s):

Ruzhen Dong ◽

Naijun Zhan ◽

Liang Zhao

Keyword(s):

Software Components ◽

Interface Model

Download Full-text

A Clock-Based Framework for Construction of Hybrid Systems

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

10.1007/978-3-642-39718-9_2 ◽

2013 ◽

pp. 22-41 ◽

Cited By ~ 6

Author(s):

He Jifeng

Keyword(s):

Hybrid Systems

Download Full-text

Spatio-temporal Hybrid Automata for Cyber-Physical Systems

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

10.1007/978-3-642-39718-9_20 ◽

2013 ◽

pp. 337-354 ◽

Cited By ~ 5

Author(s):

Zhucheng Shao ◽

Jing Liu

Keyword(s):

Cyber Physical Systems ◽

Hybrid Automata ◽

Physical Systems ◽

Spatio Temporal

Download Full-text

On Slicing of Programs with Input Statements

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

10.1007/978-3-642-39718-9_17 ◽

2013 ◽

pp. 282-300

Author(s):

Härmel Nestra

Download Full-text

A High-Level Semantics for Program Execution under Total Store Order Memory

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

10.1007/978-3-642-39718-9_11 ◽

2013 ◽

pp. 177-194 ◽

Cited By ~ 4

Author(s):

Brijesh Dongol ◽

Oleg Travkin ◽

John Derrick ◽

Heike Wehrheim

Keyword(s):

Program Execution ◽

High Level

Download Full-text

Random Walks on Some Basic Classes of Digraphs

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

10.1007/978-3-642-39718-9_8 ◽

2013 ◽

pp. 122-140

Author(s):

Wen-Ju Cheng ◽

Jim Cox ◽

Stathis Zachos

Keyword(s):

Random Walks

Download Full-text

Stochastic Pi-calculus Revisited

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

10.1007/978-3-642-39718-9_1 ◽

2013 ◽

pp. 1-21

Author(s):

Luca Cardelli ◽

Radu Mardare

Keyword(s):

Pi Calculus

Download Full-text

Advances in Quantitative Verification for Ubiquitous Computing

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

10.1007/978-3-642-39718-9_3 ◽

2013 ◽

pp. 42-58 ◽

Cited By ~ 6

Author(s):

Marta Kwiatkowska

Keyword(s):

Ubiquitous Computing ◽

Quantitative Verification

Download Full-text

Proof Theory of a Multi-Lane Spatial Logic

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

10.1007/978-3-642-39718-9_14 ◽

2013 ◽

pp. 231-248 ◽

Cited By ~ 10

Author(s):

Sven Linker ◽

Martin Hilscher

Keyword(s):

Proof Theory ◽

Spatial Logic

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Reactive Designs of Interrupts in Circus Time

An Interface Model of Software Components

A Clock-Based Framework for Construction of Hybrid Systems

Spatio-temporal Hybrid Automata for Cyber-Physical Systems

On Slicing of Programs with Input Statements

A High-Level Semantics for Program Execution under Total Store Order Memory

Random Walks on Some Basic Classes of Digraphs

Stochastic Pi-calculus Revisited

Advances in Quantitative Verification for Ubiquitous Computing

Proof Theory of a Multi-Lane Spatial Logic

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