Filter your results
- 19
- 1
- 19
- 1
- 20
- 6
- 2
- 3
- 5
- 5
- 2
- 1
- 2
- 20
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 3
- 3
- 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
20 results
|
|
sorted by
|
|
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.75-89, ⟨10.1007/978-3-642-21461-5_5⟩
Conference papers
hal-01583324v1
|
||
|
The Presenter Experience of Canvas Presentations15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.289-297, ⟨10.1007/978-3-319-22701-6_21⟩
Conference papers
hal-01599648v1
|
||
|
Business Processes and Standard Operating Procedures: Two Coins with Similar Sides12th International Conference on Electronic Government (EGOV), Sep 2013, Koblenz, Germany. pp.224-236, ⟨10.1007/978-3-642-40358-3_19⟩
Conference papers
hal-01490909v1
|
||
|
Addressing Phase Transitions in Wireless Networking Optimization7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.103-114, ⟨10.1007/978-3-642-54140-7_9⟩
Conference papers
hal-01291504v1
|
||
|
Parametric LTL on Markov Chains8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.207-221, ⟨10.1007/978-3-662-44602-7_17⟩
Conference papers
hal-01402042v1
|
||
|
Mobile Computing is not Always Advantageous: Lessons Learned from a Real-World Case Study in a HospitalInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.110-123, ⟨10.1007/978-3-319-10975-6_8⟩
Conference papers
hal-01403989v1
|
||
|
Simplifying Remote Collaboration through Spatial Mirroring14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.624-631, ⟨10.1007/978-3-642-40477-1_41⟩
Conference papers
hal-01504916v1
|
||
|
On Complexity Reduction of User Interfaces for Safety-Critical SystemsInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.108-122, ⟨10.1007/978-3-642-32498-7_9⟩
Conference papers
hal-01542450v1
|
||
|
A Generic Multi-layer Network Optimization Model with Demand Uncertainty19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.13-24, ⟨10.1007/978-3-642-40552-5_2⟩
Conference papers
hal-01497029v1
|
||
|
Older Users’ Wish List for Technology Attributes1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.16-27
Conference papers
hal-01506769v1
|
||
|
StatPlayground: A Sandbox for Learning Practical Statistics17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.156-165, ⟨10.1007/978-3-030-29384-0_9⟩
Conference papers
hal-02544592v1
|
||
|
Generic Constructions of Biometric Identity Based Encryption Systems4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.90-105, ⟨10.1007/978-3-642-12368-9_7⟩
Conference papers
hal-01056064v1
|
||
|
CaPTIF: Comprehensive Performance TestIng Framework24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.55-70, ⟨10.1007/978-3-642-34691-0_6⟩
Conference papers
hal-01482411v1
|
||
|
Serious Games for Cognitive Training in Ambient Assisted Living Environments – A Technology Acceptance Perspective15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.453-471, ⟨10.1007/978-3-319-22701-6_34⟩
Conference papers
hal-01599655v1
|
||
|
On Graph Entropy Measures for Knowledge Discovery from Publication Network Data1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.354-362
Conference papers
hal-01506782v1
|
||
|
Formal Techniques for Distributed Objects, Components, and SystemsSpringer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Books
hal-01398026v1
|
||
|
Efficient Mutual Authentication for Multi-domain RFID Systems Using Distributed Signatures4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.122-137, ⟨10.1007/978-3-642-12368-9_9⟩
Conference papers
hal-01056062v1
|
||
|
Towards Interactive Visualization of Longitudinal Data to Support Knowledge Discovery on Multi-touch Tablet ComputersInternational Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Sep 2014, Fribourg, Switzerland. pp.124-137, ⟨10.1007/978-3-319-10975-6_9⟩
Conference papers
hal-01403990v1
|
||
|
Data-Driven Usability Test Scenario Creation7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.88-108, ⟨10.1007/978-3-030-05909-5_6⟩
Conference papers
hal-02270717v1
|
||
|
Development of Usability-Criteria for the Selection Process of Document Management Systems15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.514-517, ⟨10.1007/978-3-319-22723-8_51⟩
Conference papers
hal-01610809v1
|