Filter your results
- 12
- 12
- 12
- 1
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 12
- 5
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Non-maximal Sensitivity to Synchronism in Periodic Elementary Cellular Automata: Exact Asymptotic Measures26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.14-28, ⟨10.1007/978-3-030-61588-8_2⟩
Conference papers
hal-03659470v1
|
||
|
Better Late Than Never or: Verifying Asynchronous Components at Runtime41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta. pp.207 - 225, ⟨10.1007/978-3-030-78089-0_14⟩
Conference papers
hal-03320023v1
|
||
|
A Characterization of Amenable Groups by Besicovitch Pseudodistances26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.99-110, ⟨10.1007/978-3-030-61588-8_8⟩
Conference papers
hal-03100934v1
|
||
|
Commutative automata networks26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.43-58, ⟨10.1007/978-3-030-61588-8_4⟩
Conference papers
hal-02548573v1
|
||
|
Implementing Open Call-by-Value7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.1-19, ⟨10.1007/978-3-319-68972-2_1⟩
Conference papers
hal-01675365v1
|
||
|
A Gauge-Invariant Reversible Cellular Automaton24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.1-12, ⟨10.1007/978-3-319-92675-9_1⟩
Conference papers
hal-01824869v1
|
||
|
Propagation, Diffusion and Randomization in Cellular Automata22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.3-9, ⟨10.1007/978-3-319-39300-1_1⟩
Conference papers
hal-01435029v1
|
||
|
An Analysis of Privacy Preserving Data Aggregation Protocols for WSNs9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.119-128, ⟨10.1007/978-3-642-35606-3_14⟩
Conference papers
hal-01551351v1
|
||
|
Relational Lattices via Duality13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.195-215, ⟨10.1007/978-3-319-40370-0_12⟩
Conference papers
hal-01446027v1
|
||
|
Assessing the Impact of Automatic vs. Controlled Rotations on Spatial Transfer with a Joystick and a Walking Interface in VR14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.1-18, ⟨10.1007/978-3-642-40483-2_1⟩
Conference papers
hal-00804266v3
|
||
|
Distortion in One-Head Machines and Cellular Automata23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.120-138, ⟨10.1007/978-3-319-58631-1_10⟩
Conference papers
hal-01656350v1
|
||
|
Any Shape Can Ultimately Cross Information on Two-Dimensional Abelian Sandpile Models24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.127-142, ⟨10.1007/978-3-319-92675-9_10⟩
Conference papers
hal-01824872v1
|