Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not?
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030223472, 9783030223489

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Models, Mindsets, Meta: The What, the How, and the Why Not?

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_1 ◽

2019 ◽

pp. 3-13

Author(s):

Tiziana Margaria ◽

Susanne Graf ◽

Kim G. Larsen

Intersection Types in Java: Back to the Future

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_6 ◽

2019 ◽

pp. 68-86 ◽

Cited By ~ 1

Author(s):

Mariangiola Dezani-Ciancaglini ◽

Paola Giannini ◽

Betti Venneri

Keyword(s):

The Future ◽

Intersection Types

Multi-valued Logic for Static Analysis and Model Checking

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_7 ◽

2019 ◽

pp. 89-109 ◽

Cited By ~ 1

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson ◽

Fuyuan Zhang

Keyword(s):

Model Checking ◽

Static Analysis

Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_5 ◽

2019 ◽

pp. 45-67

Author(s):

Michael Mendler ◽

Joaquín Aguado ◽

Bruno Bodin ◽

Partha Roop ◽

Reinhard von Hanxleden

Keyword(s):

Timing Analysis

Synchronous or Alternating?

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_24 ◽

2019 ◽

pp. 417-430 ◽

Cited By ~ 1

Author(s):

Jaco van de Pol ◽

Jeroen Meijer

JConstraints: A Library for Working with Logic Expressions in Java

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_19 ◽

2019 ◽

pp. 310-325 ◽

Cited By ~ 2

Author(s):

Falk Howar ◽

Fadi Jabbour ◽

Malte Mues

Boolean Algebras by Length Recognizability

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_11 ◽

2019 ◽

pp. 169-185

Author(s):

Didier Caucal ◽

Chloé Rispal

Keyword(s):

Boolean Algebras

The Merits of Compositional Abstraction: A Case Study in Propositional Logic

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_18 ◽

2019 ◽

pp. 297-309

Author(s):

Michael Huth

Keyword(s):

Propositional Logic

Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_14 ◽

2019 ◽

pp. 218-234 ◽

Cited By ~ 6

Author(s):

Doron Peled ◽

Klaus Havelund

Keyword(s):

Temporal Properties

Composition: A Fresh Look at an Old Topic

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not? ◽

10.1007/978-3-030-22348-9_22 ◽

2019 ◽

pp. 372-389

Author(s):

Wolfgang Reisig

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not?Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Models, Mindsets, Meta: The What, the How, and the Why Not?

Intersection Types in Java: Back to the Future

Multi-valued Logic for Static Analysis and Model Checking

Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading

Synchronous or Alternating?

JConstraints: A Library for Working with Logic Expressions in Java

Boolean Algebras by Length Recognizability

The Merits of Compositional Abstraction: A Case Study in Propositional Logic

Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability

Composition: A Fresh Look at an Old Topic

Lecture Notes in Computer Science - Models, Mindsets, Meta: The What, the How, and the Why Not?
Latest Publications