Theories of Programming and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642396977, 9783642396984

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_4 ◽

2013 ◽

pp. 54-66 ◽

Author(s):

Jonathan P. Bowen

Keyword(s):

Relational Approach

Download Full-text

Performance Estimation Using Symbolic Data

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_21 ◽

2013 ◽

pp. 346-353 ◽

Author(s):

Jian Zhang

Keyword(s):

Performance Estimation ◽

Download Full-text

Safety versus Security in the Quality Calculus

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_18 ◽

2013 ◽

pp. 285-303 ◽

Author(s):

Hanne Riis Nielson ◽

Flemming Nielson

Download Full-text

Managing Environment and Adaptation Risks for the Internetware Paradigm

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_17 ◽

2013 ◽

pp. 271-284 ◽

Author(s):

Jian Lü ◽

Yu Huang ◽

Chang Xu ◽

Xiaoxing Ma

Download Full-text

Optimal Bounds for Multiweighted and Parametrised Energy Games

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_15 ◽

2013 ◽

pp. 244-255 ◽

Author(s):

Line Juhl ◽

Kim Guldstrand Larsen ◽

Jean-François Raskin

Keyword(s):

Optimal Bounds ◽

Download Full-text

The Value-Passing Calculus

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_11 ◽

2013 ◽

pp. 166-195 ◽

Author(s):

Yuxi Fu

Download Full-text

Some Fixed-Point Issues in PPTL

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_10 ◽

2013 ◽

pp. 151-165

Author(s):

Zhenhua Duan ◽

Qian Ma ◽

Cong Tian ◽

Nan Zhang

Keyword(s):

Download Full-text

Concept Analysis Based Approach to Statistical Web Testing

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_7 ◽

2013 ◽

pp. 100-117

Author(s):

Chao Chen ◽

Huaikou Miao ◽

Yihai Chen

Keyword(s):

Concept Analysis ◽

Download Full-text

Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_22 ◽

2013 ◽

pp. 354-373 ◽

Author(s):

Hengjun Zhao ◽

Naijun Zhan ◽

Deepak Kapur

Keyword(s):

Download Full-text

Algebraic Program Semantics for Supercomputing

Theories of Programming and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39698-4_8 ◽

2013 ◽

pp. 118-135

Author(s):

Yifeng Chen

Keyword(s):

Program Semantics

Download Full-text