Filter your results
- 17
- 3
- 17
- 3
- 20
- 1
- 1
- 1
- 2
- 2
- 3
- 5
- 5
- 20
- 1
- 1
- 1
- 13
- 4
- 4
- 4
- 2
- 2
- 2
- 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
|
|
sorted by
|
|
A Hybrid Approach for Visualizing Spatial and Non-spatial Data Types of Embedded Systems15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.495-498, ⟨10.1007/978-3-319-22723-8_46⟩
Conference papers
hal-01610827v1
|
||
|
An Interactive Approach for Inspecting Software System Measurements15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.1-8, ⟨10.1007/978-3-319-22698-9_1⟩
Conference papers
hal-01609387v1
|
||
|
Beyond Computers: Wearables, Humans, And Things - WHAT!16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.515-517
Conference papers
hal-01680206v1
|
||
|
Bridging the Gap Between Requirements Engineering and Human-Computer Interaction1st and 2nd International Workshop on Usability- and Accessibility-Focused Requirements Engineering (UsARE 2012 / UsARE 2014), Jun 2012, Zurich, Switzerland. pp.3-7, ⟨10.1007/978-3-319-45916-5_1⟩
Conference papers
hal-01631311v1
|
||
|
Building Bridges – HCI and Visualization13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.722-723, ⟨10.1007/978-3-642-23768-3_133⟩
Conference papers
hal-01596957v1
|
||
|
Building Bridges: HCI, Visualization, and Non-formal ModelingSpringer, LNCS-8345, 2014, Coalgebraic Methods in Computer Science, 978-3-642-54893-2. ⟨10.1007/978-3-642-54894-9⟩
Books
hal-01414711v1
|
||
|
Digitalization of the Engineering Supported by System Lifecycle Management (SysLM)18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.240-254, ⟨10.1007/978-3-030-94399-8_18⟩
Conference papers
hal-04195242v1
|
||
|
eCITY: Evolutionary Software Architecture Visualization – An Evaluation7th Workshop on Human-Computer Interaction and Visualization (HCIV), Aug 2011, Rostock, Germany. pp.201-224, ⟨10.1007/978-3-642-54894-9_15⟩
Conference papers
hal-01414709v1
|
||
|
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper)37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.236-242, ⟨10.1007/978-3-319-60225-7_17⟩
Conference papers
hal-01658414v1
|
||
|
Formal Specification and Verification of CRDTs34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.33-48, ⟨10.1007/978-3-662-43613-4_3⟩
Conference papers
hal-01398007v1
|
||
|
Giga-Scale Multiresolution Volume Rendering on Distributed Display Clusters2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.142-162, ⟨10.1007/978-3-642-19641-6_10⟩
Conference papers
hal-01572649v1
|
||
|
Human Aspects of Visualization2nd Human-Computer Interaction and Visualization (HCIV) (INTERACT), Aug 2009, Uppsala, Sweden. pp.1-9, ⟨10.1007/978-3-642-19641-6_1⟩
Conference papers
hal-01572647v1
|
||
|
Human Aspects of VisualizationSpringer, LNCS-6431, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-19641-6⟩
Books
hal-01572646v1
|
||
|
ModControl – Mobile Phones as a Versatile Interaction Device for Large Screen Applications13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.289-296, ⟨10.1007/978-3-642-23771-3_22⟩
Conference papers
hal-01590869v1
|
||
|
System Lifecycle Management: Initial Approach for a Sustainable Product Development Process Based on Methods of Model Based Systems Engineering11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.287-300, ⟨10.1007/978-3-662-45937-9_29⟩
Conference papers
hal-01386510v1
|
||
|
TEVisE: An Interactive Visual Analytics Tool to Explore Evolution of Keywords’ Relations in Tweet Data18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.579-599, ⟨10.1007/978-3-030-85613-7_37⟩
Conference papers
hal-04292342v1
|
||
|
Usability- and Accessibility-Focused Requirements EngineeringSpringer International Publishing, LNCS-9312, 2016, Lecture Notes in Computer Science, 978-3-319-45915-8. ⟨10.1007/978-3-319-45916-5⟩
Books
hal-01631314v1
|
||
|
Virtual Learning Factory on VR-Supported Factory Planning15th Working Conference on Virtual Enterprises (PROVE), Oct 2014, Amsterdam, Netherlands. pp.455-462, ⟨10.1007/978-3-662-44745-1_45⟩
Conference papers
hal-01392151v1
|
||
|
Visualizing Information Retrieved from (Large) WHAT Networks17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.735-740, ⟨10.1007/978-3-030-29390-1_72⟩
Conference papers
hal-02878635v1
|
||
|
Workshop on Designing Interaction and Visualization for Mobile Applications (DIViM 2015)15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.675-676, ⟨10.1007/978-3-319-22723-8_97⟩
Conference papers
hal-01610790v1
|