Filter your results
- 31
- 2
- 31
- 2
- 33
- 2
- 3
- 3
- 1
- 1
- 4
- 3
- 1
- 3
- 3
- 4
- 5
- 33
- 6
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 3
- 3
- 2
- 2
- 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
- 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
- 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
|
|
Remote Conference in the Times of the Pandemic18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.575-578, ⟨10.1007/978-3-030-85607-6_80⟩
Conference papers
hal-04291207v1
|
||
|
Improving Student Experience and Learning Performance with Traditional Instructional Methods and New Digital Media18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.97-106, ⟨10.1007/978-3-030-85613-7_7⟩
Conference papers
hal-04292381v1
|
||
|
On the Logic of Generalised Metric Spaces13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.136-155, ⟨10.1007/978-3-319-40370-0_9⟩
Conference papers
hal-01446037v1
|
||
|
Choreography AutomataCOORDINATION 2020 - 22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86 - 106, ⟨10.1007/978-3-030-50029-0_6⟩
Conference papers
hal-03005377v1
|
||
|
On the Realizability of Contracts in Dishonest Systems14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.245-260, ⟨10.1007/978-3-642-30829-1_17⟩
Conference papers
hal-01529594v1
|
||
|
Honesty by Typing15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.305-320, ⟨10.1007/978-3-642-38592-6_21⟩
Conference papers
hal-01515248v1
|
||
|
Playing with Our CAT and Communication-Centric Applications36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩
Conference papers
hal-01432928v1
|
||
|
Testing Attribute-Based Transactions in SOCJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.87-94, ⟨10.1007/978-3-642-13464-7_8⟩
Conference papers
hal-01055143v1
|
||
|
Monitoring Networks through Multiparty Session Types15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.50-65, ⟨10.1007/978-3-642-38592-6_5⟩
Conference papers
hal-01213683v1
|
||
|
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision PlanningJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers
hal-01055150v1
|
||
|
The Landscape of UX Requirements Practices15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.673-674, ⟨10.1007/978-3-319-22723-8_96⟩
Conference papers
hal-01610780v1
|
||
|
Transformation Systems with Incremental Negative Application Conditions21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.127-142, ⟨10.1007/978-3-642-37635-1_8⟩
Conference papers
hal-01485982v1
|
||
|
Conformance-Based Doping Detection for Cyber-Physical Systems40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.59-77, ⟨10.1007/978-3-030-50086-3_4⟩
Conference papers
hal-03283236v1
|
||
|
Reversible Choreographies via Monitoring in Erlang18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers
hal-01824635v1
|
||
|
A Choreography-Driven Approach to APIs: The OpenDXL Case Study22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.107-124, ⟨10.1007/978-3-030-50029-0_7⟩
Conference papers
hal-03274000v1
|
||
|
Online Scheduling of Unit Length Jobs with Commitment and Penalties8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.54-65, ⟨10.1007/978-3-662-44602-7_5⟩
Conference papers
hal-01402028v1
|
||
|
Paper or Pixel? Comparing Paper- and Tool-Based Participatory Design Approaches15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.501-517, ⟨10.1007/978-3-319-22698-9_34⟩
Conference papers
hal-01609406v1
|
||
|
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.193-208, ⟨10.1007/978-3-642-33475-7_14⟩
Conference papers
hal-01556226v1
|
||
|
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.130-149, ⟨10.1007/978-3-642-32784-1_8⟩
Conference papers
hal-01539877v1
|
||
|
Robust Position Control of a DC Motor by Sliding ModeFirst IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2010, Costa de Caparica, Portugal. pp.493-502, ⟨10.1007/978-3-642-11628-5_55⟩
Conference papers
hal-01060775v1
|
||
|
Reversing P/T Nets21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.19-36, ⟨10.1007/978-3-030-22397-7_2⟩
Conference papers
hal-02365503v1
|
||
|
Topics in Theoretical Computer ScienceSpringer International Publishing, LNCS-10608, 2017, Lecture Notes in Computer Science, 978-3-319-68952-4. ⟨10.1007/978-3-319-68953-1⟩
Books
hal-01760635v1
|
||
|
Coordination Models and LanguagesSpringer International Publishing, LNCS-11533, 2019, Lecture Notes in Computer Science, 978-3-030-22396-0. ⟨10.1007/978-3-030-22397-7⟩
Books
hal-02365511v1
|
||
|
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time MaudeJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.47-62, ⟨10.1007/978-3-642-13464-7_5⟩
Conference papers
hal-01055147v1
|
||
|
Towards a Gamified Approach for Enhancing VBE Preparedness for Establishing Virtual Collaborations17th Working Conference on Virtual Enterprises (PRO-VE), Oct 2016, Porto, Portugal. pp.165-177, ⟨10.1007/978-3-319-45390-3_15⟩
Conference papers
hal-01614626v1
|
||
|
Modelling Virtual Organisations: Structure and Reconfigurations12th Working Conference on Virtual Enterprises (PROVE), Oct 2011, São Paulo, Brazil. pp.297-305, ⟨10.1007/978-3-642-23330-2_33⟩
Conference papers
hal-01569965v1
|
||
|
User Experience Evaluation – Which Method to Choose?13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.714-715, ⟨10.1007/978-3-642-23768-3_129⟩
Conference papers
hal-01596898v1
|
||
|
On Sessions and Infinite Data18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.245-261, ⟨10.1007/978-3-319-39519-7_15⟩
Conference papers
hal-01631727v1
|
||
|
The Influence of Motivation on Emotional Experience in E-commerce15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.281-288, ⟨10.1007/978-3-319-22701-6_20⟩
Conference papers
hal-01599636v1
|
||
|
Design and Evaluation of an Augmented Reality App for Learning Geometric Shapes in 3D17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.364-385, ⟨10.1007/978-3-030-29390-1_20⟩
Conference papers
hal-02877679v1
|
- 1
- 2