Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642249327, 9783642249334

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Puff, The Magic Protocol

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24933-4_9 ◽

2011 ◽

pp. 169-206 ◽

Cited By ~ 29

Author(s):

Farhad Arbab

Download Full-text

Honoring Carolyn Talcott’s Contributions to Science

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24933-4_2 ◽

2011 ◽

pp. 4-19

Author(s):

Sylvan Pinsky

Download Full-text

Towards a System Model for Ensembles

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24933-4_12 ◽

2011 ◽

pp. 241-261 ◽

Cited By ~ 29

Author(s):

Matthias Hölzl ◽

Martin Wirsing

Keyword(s):

System Model

Download Full-text

Algorithmic Aspects of Risk Management

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24933-4_13 ◽

2011 ◽

pp. 262-276

Author(s):

Ashish Gehani ◽

Lee Zaniewski ◽

K. Subramani

Keyword(s):

Risk Management

Download Full-text

Computational Biology: A Programming Perspective

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24933-4_20 ◽

2011 ◽

pp. 403-433 ◽

Cited By ~ 2

Author(s):

Lars Hartmann ◽

Neil D. Jones ◽

Jakob Grue Simonsen ◽

Søren Bjerregaard Vrist

Keyword(s):

Computational Biology

Download Full-text

From Service Identification to Service Selection: An Interleaved Perspective

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

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

2011 ◽

pp. 223-240 ◽

Cited By ~ 2

Author(s):

Devis Bianchini ◽

Francesco Pagliarecci ◽

Luca Spalazzi

Keyword(s):

Service Selection ◽

Service Identification

Download Full-text

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

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

2011 ◽

pp. 110-143 ◽

Cited By ~ 12

Author(s):

Mark-Oliver Stehr ◽

Carolyn Talcott ◽

John Rushby ◽

Pat Lincoln ◽

Minyoung Kim ◽

...

Keyword(s):

Cyber Physical Systems ◽

Research Directions ◽

Physical Systems ◽

Systems Research

Download Full-text

Abstract LR-Parsing

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24933-4_6 ◽

2011 ◽

pp. 90-109 ◽

Cited By ~ 4

Author(s):

Kyung-Goo Doh ◽

Hyunha Kim ◽

David A. Schmidt

Keyword(s):

Lr Parsing

Download Full-text

Multisimulations: Towards Next Generation Integrated Simulation Environments

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

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

2011 ◽

pp. 352-367 ◽

Cited By ~ 4

Author(s):

Leila Jalali ◽

Sharad Mehrotra ◽

Nalini Venkatasubramanian

Keyword(s):

Next Generation ◽

Integrated Simulation ◽

Simulation Environments

Download Full-text

Towards a Maude Formal Environment

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science ◽

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

2011 ◽

pp. 329-351 ◽

Cited By ~ 10

Author(s):

Francisco Durán ◽

Camilo Rocha ◽

José María Álvarez

Download Full-text

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Puff, The Magic Protocol

Honoring Carolyn Talcott’s Contributions to Science

Towards a System Model for Ensembles

Algorithmic Aspects of Risk Management

Computational Biology: A Programming Perspective

From Service Identification to Service Selection: An Interleaved Perspective

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision

Abstract LR-Parsing

Multisimulations: Towards Next Generation Integrated Simulation Environments

Towards a Maude Formal Environment

Formal Modeling: Actors, Open Systems, Biological Systems - Lecture Notes in Computer Science
Latest Publications