Filter your results
- 4
- 4
- 4
- 1
- 2
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Specifying and Verifying Properties of Space8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩
Conference papers
hal-01402045v1
|
||
|
From urelements to Computation3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.141-155, ⟨10.1007/978-3-319-47286-7_10⟩
Conference papers
hal-01615302v1
|
||
|
Towards a Spatial Model Checker on GPU41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.188-196, ⟨10.1007/978-3-030-78089-0_12⟩
Conference papers
hal-03740266v1
|
||
|
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.67-83, ⟨10.1007/978-3-319-39519-7_5⟩
Conference papers
hal-01631720v1
|