Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

5 results
Image document

SMA—The Smyle Modeling Approach

Benedikt Bollig , Joost-Pieter Katoen , Carsten Kern , Martin Leucker
3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.103-117, ⟨10.1007/978-3-642-22386-0_8⟩
Conference papers hal-01572543v1
Image document

Compositional Abstraction Techniques for Probabilistic Automata

Falak Sher , Joost-Pieter Katoen
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.325-341, ⟨10.1007/978-3-642-33475-7_23⟩
Conference papers hal-01556222v1
Image document

Navigational User Interface Elements on the Left Side: Intuition of Designers or Experimental Evidence?

Andreas Holzinger , Reinhold Scherer , Martina Ziefle
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.162-177, ⟨10.1007/978-3-642-23771-3_13⟩
Conference papers hal-01590864v1
Image document

Digital Transformation Within the Emobility Market–Learnings and Insights from Early Market Development

Andreas Pfeiffer , Matthias Jarke
3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.23-42, ⟨10.1007/978-3-319-66553-5_2⟩
Conference papers hal-01691203v1
Image document

An Open-Source Object-Graph-Mapping Framework for Neo4j and Scala: Renesca

Felix Dietze , Johannes Karoff , André Calero Valdez , Martina Ziefle , Christoph Greven , et al.
International Conference on Availability, Reliability, and Security (CD-ARES), Aug 2016, Salzburg, Austria. pp.204-218, ⟨10.1007/978-3-319-45507-5_14⟩
Conference papers hal-01635019v1