Filter your results
- 11
- 11
- 11
- 2
- 11
- 9
- 9
- 7
- 3
- 11
- 4
- 7
- 14
- 4
- 6
- 9
- 11
- 2
- 1
- 2
- 2
- 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
|
|
sorted by
|
|
Composing Families of Timed Automata7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.51-66, ⟨10.1007/978-3-319-68972-2_4⟩
Conference papers
hal-01760866v1
|
||
|
The Acceptance of Motion Detection Devices by the Elderly11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.189-195, ⟨10.1007/978-3-319-74310-3_21⟩
Conference papers
hal-01762891v1
|
||
|
DDFlasks: Deduplicated Very Large Scale Data Store17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.51-66, ⟨10.1007/978-3-319-59665-5_4⟩
Conference papers
hal-01800122v1
|
||
|
Quality-Aware Reactive Programming for the Internet of Things7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.180-195, ⟨10.1007/978-3-319-68972-2_12⟩
Conference papers
hal-01760858v1
|
||
|
Networks of Universities as a Tool for GCIO Education16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.117-127, ⟨10.1007/978-3-319-64677-0_10⟩
Conference papers
hal-01702983v1
|
||
|
Primary School Students’ Choices in Writing Opinion Essays: Using ICT Combined with Self-Regulated Strategies11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.323-334, ⟨10.1007/978-3-319-74310-3_34⟩
Conference papers
hal-01762911v1
|
||
|
Simulation and Testing of a Platooning Management Protocol Implementation15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.174-185, ⟨10.1007/978-3-319-61382-6_14⟩
Conference papers
hal-01675420v1
|
||
|
Similarity Aware Shuffling for the Distributed Execution of SQL Window Functions17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.3-18, ⟨10.1007/978-3-319-59665-5_1⟩
Conference papers
hal-01800128v1
|
||
|
From a Literature Review to a Conceptual Framework for Health Sector Websites’ Assessment16th International Conference on Electronic Government (EGOV), Sep 2017, St. Petersburg, Russia. pp.128-141, ⟨10.1007/978-3-319-64677-0_11⟩
Conference papers
hal-01702995v1
|
||
|
Asymmetric Combination of Logics is Functorial: A Survey23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩
Conference papers
hal-01767465v1
|
||
|
Observational Semantics for Dynamic Logic with Binders23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.135-152, ⟨10.1007/978-3-319-72044-9_10⟩
Conference papers
hal-01767472v1
|