Filter your results
- 52
- 4
- 48
- 6
- 1
- 1
- 56
- 1
- 3
- 7
- 3
- 4
- 6
- 2
- 3
- 8
- 2
- 2
- 15
- 56
- 8
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
|
|
|
Getting granular on Twitter: Tweets from a conference and their limited usefulness for non-participantsIFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15378-5_10⟩
Conference papers
hal-01054707v1
|
||
|
|
Augmented and Virtual Reality Object Repository for Rapid Prototyping8th International Conference on Human-Centred Software Engineering (HCSE), Nov 2020, Eindhoven, Netherlands. pp.216-224, ⟨10.1007/978-3-030-64266-2_15⟩
Conference papers
hal-03250500v1
|
||
|
|
Database Scheme Configuration for a Product Line of MPC-TOOLSInternational Conference on Advances in Production and Management Systems (APMS), Sep 2009, Paris, France. pp.57-64, ⟨10.1007/978-3-642-16358-6_8⟩
Conference papers
hal-01055796v1
|
||
|
|
Maturity Model for Improving Virtual Engineering in Small and Medium-Sized Enterprises9th International Conference on Product Lifecycle Management (PLM), Jul 2012, Montreal, QC, Canada. pp.635-645, ⟨10.1007/978-3-642-35758-9_57⟩
Conference papers
hal-01526132v1
|
||
|
|
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.102-113, ⟨10.1007/978-3-642-15234-4_11⟩
Conference papers
hal-01054482v1
|
||
|
|
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.238-249, ⟨10.1007/978-3-642-38853-8_22⟩
Conference papers
hal-01466679v1
|
||
|
|
Efficient Mutation-Analysis Coverage for Constrained Random Verification7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.114-124, ⟨10.1007/978-3-642-15234-4_12⟩
Conference papers
hal-01054481v1
|
||
|
|
Zanzibar Declaration: Sustainable Education in a Digital Age of rapidly Emerging TechnologiesIFIP TC3 Zanzibar Declaration, Aug 2019, Virtual, Germany. ⟨10.52545/2-4⟩
Conference papers
hal-04061320v1
|
||
|
|
Informatics Systems and Modelling - Case Studies of Expert InterviewsIFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.222-233, ⟨10.1007/978-3-642-15378-5_22⟩
Conference papers
hal-01054698v1
|
||
|
|
Human-Centered Software Engineering as a Chance to Ensure Software Quality Within the Digitization of Human Workflows6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.30-41, ⟨10.1007/978-3-319-44902-9_3⟩
Conference papers
hal-01647719v1
|
||
|
|
Integration of a Video Annotation Tool into a coactive Learning and Working EnvironmentIFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.257-268, ⟨10.1007/978-3-642-15378-5_25⟩
Conference papers
hal-01054695v1
|
||
|
|
Human-Centered Software EngineeringSpringer, LNCS-8742, 2014, Lecture Notes in Computer Science, 978-3-662-44810-6. ⟨10.1007/978-3-662-44811-3⟩
Books
hal-01405095v1
|
||
|
|
Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary CollaborationIFIP TC 3 International Conference on Key Competencies in the Knowledge Society (KCKS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.90-101, ⟨10.1007/978-3-642-15378-5_9⟩
Conference papers
hal-01058274v1
|
||
|
|
Human-Centered Software EngineeringSpringer International Publishing, LNCS-12481, 2020, Lecture Notes in Computer Science, 978-3-030-64265-5. ⟨10.1007/978-3-030-64266-2⟩
Books
hal-03250485v1
|
||
|
|
Human-Centered and Error-Resilient Systems DevelopmentSpringer International Publishing, 9856, 2016, Lecture Notes in Computer Science (LNCS), 978-3-319-44901-2. ⟨10.1007/978-3-319-44902-9⟩
Books
hal-01647710v1
|
||
|
|
Ontology-Based Finding of Feasible Machine ChangesIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.511-518, ⟨10.1007/978-3-319-22759-7_59⟩
Conference papers
hal-01431139v1
|
||
|
|
An Infrastructure for Flexible Runtime Reconfigurable Multi-Microcontroller Systems7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.205-216, ⟨10.1007/978-3-642-15234-4_20⟩
Conference papers
hal-01054498v1
|
||
|
|
Automatic Fairness Testing of Machine Learning Models32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.255-271, ⟨10.1007/978-3-030-64881-7_16⟩
Conference papers
hal-03239825v1
|
||
|
|
A Comprehensive Framework for the Computer-Aided Planning and Optimisation of Manufacturing Processes for Functional Graded Components6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.413-422, ⟨10.1007/978-3-642-41329-2_40⟩
Conference papers
hal-01485836v1
|
||
|
|
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.145-156, ⟨10.1007/978-3-642-15234-4_15⟩
Conference papers
hal-01054479v1
|
||
|
|
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
|
||
|
|
A Short Survey on Using Software Error Localization for Service Compositions5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.248-262, ⟨10.1007/978-3-319-44482-6_16⟩
Conference papers
hal-01638583v1
|
||
|
|
Simplifying Robot Programming Using Augmented Reality and End-User Development18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.631-651, ⟨10.1007/978-3-030-85623-6_36⟩
Conference papers
hal-04331783v1
|
||
|
|
Distributed, Parallel and Biologically Inspired Systems : PrefaceMike Hinchey; Bernd Kleinjohann; Lisa Kleinjohann; Peter A. Lindsay; Franz J. Rammig; Jon Timmis; Marilyn Wolf. Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.3
Documents associated with scientific events
hal-01062207v1
|
||
|
|
The Use of Tablets in Secondary Schools and Its Relationship with Computer Literacy11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.114-124, ⟨10.1007/978-3-319-74310-3_14⟩
Conference papers
hal-01762865v1
|
||
|
|
Requirements for Mobile Learning in Vocational Training in the Field of Mechanical Engineering11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.104-113, ⟨10.1007/978-3-319-74310-3_13⟩
Conference papers
hal-01762901v1
|
||
|
|
Model-Based Approach for Self-correcting Strategy Design for Manufacturing of Small Metal Parts6th Programming Languages for Manufacturing (PROLAMAT), Oct 2013, Dresden, Germany. pp.320-329, ⟨10.1007/978-3-642-41329-2_31⟩
Conference papers
hal-01485826v1
|
||
|
|
Combining Design and Engineering of Interactive Systems through Models and Tools (ComDeisMoto)13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.724-725, ⟨10.1007/978-3-642-23768-3_134⟩
Conference papers
hal-01597019v1
|
||
|
|
Computers and Education – Recognising Opportunities and Managing ChallengesAdvancing Research in Information and Communication Technology, AICT-600, pp.129-152, 2021, ⟨10.1007/978-3-030-81701-5_5⟩
Book sections
hal-03325983v1
|
||
|
|
A Mixed Approach to Adjoint Computation with Algorithmic Differentiation27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.331-340, ⟨10.1007/978-3-319-55795-3_31⟩
Conference papers
hal-01626882v1
|
- 1
- 2