Filter your results
- 85
- 1
- 84
- 1
- 1
- 86
- 9
- 1
- 2
- 8
- 14
- 5
- 5
- 12
- 12
- 17
- 4
- 1
- 5
- 86
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 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
|
|
The Data Science RevolutionLeon Strous; Roger Johnson; David Alan Grier; Doron Swade. Unimagined Futures – ICT Opportunities and Challenges :, AICT-555, Springer International Publishing, pp.5-19, 2020, IFIP Advances in Information and Communication Technology, 978-3-030-64245-7. ⟨10.1007/978-3-030-64246-4_2⟩
Book sections
hal-03194079v1
|
||
|
|
Responsible Data Science in a Dynamic World1st IFIP International Internet of Things Conference (IFIPIoT), Sep 2018, Poznan, Poland. pp.3-10, ⟨10.1007/978-3-030-15651-0_1⟩
Conference papers
hal-03217375v1
|
||
|
|
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
|
||
|
|
A Parallel MCMC-Based MIMO Detector: VLSI Design and Algorithm22th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC 2014), Oct 2014, Playa del Carmen, Mexico. pp.149-169, ⟨10.1007/978-3-319-25279-7_9⟩
Conference papers
hal-01383734v1
|
||
|
|
Extracting Multiple Viewpoint Models from Relational Databases8th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2018, Seville, Spain. pp.24-51, ⟨10.1007/978-3-030-46633-6_2⟩
Conference papers
hal-03188589v1
|
||
|
|
First Steps to the Digital Shadow of Maintenance Services’ Value ContributionIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.609-616, ⟨10.1007/978-3-030-57993-7_69⟩
Conference papers
hal-03630890v1
|
||
|
|
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
|
||
|
|
Energy Efficient Production through a Modified–Green–PPC and a Communication Framework for the Energy Supply Chain to Manage Energy Consumption and Information19th Advances in Production Management Systems (APMS), Sep 2012, Rhodes, Greece. pp.9-16, ⟨10.1007/978-3-642-40352-1_2⟩
Conference papers
hal-01472247v1
|
||
|
|
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
|
||
|
|
From a Theory of Production to Data-Based Business ModelsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.277-284, ⟨10.1007/978-3-030-29996-5_32⟩
Conference papers
hal-02460501v1
|
||
|
|
Dynamic Programming Approach for Discrete-Valued Time Discrete Optimal Control Problems with Dwell Time Constraints27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.159-168, ⟨10.1007/978-3-319-55795-3_14⟩
Conference papers
hal-01626891v1
|
||
|
|
Optimal Control of Unsteady Flows Using a Discrete and a Continuous Adjoint Approach25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.318-327, ⟨10.1007/978-3-642-36062-6_32⟩
Conference papers
hal-01347552v1
|
||
|
|
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
|
||
|
|
A DfT Strategy for Detecting Emerging Faults in RRAMs29th IFIP/IEEE International Conference on Very Large Scale Integration - System on a Chip (VLSI-SoC), Oct 2021, Singapore, Singapore. pp.93-111, ⟨10.1007/978-3-031-16818-5_5⟩
Conference papers
hal-04419565v1
|
||
|
|
Towards a Unified Reliability-Centered Information Logistics Model for Production AssetsIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.11-18, ⟨10.1007/978-3-030-57993-7_2⟩
Conference papers
hal-03630884v1
|
||
|
|
A Learning Analytics Approach in Web-Based Multi-user Learning GamesOpen Conference on Computers in Education (OCCE), Jun 2018, Linz, Austria. pp.167-171, ⟨10.1007/978-3-030-23513-0_17⟩
Conference papers
hal-02370920v1
|
||
|
|
Future Product Development Cost Prediction Model for Integrated Lifecycle Assessment11th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2014, Yokohama, Japan. pp.377-386, ⟨10.1007/978-3-662-45937-9_37⟩
Conference papers
hal-01386541v1
|
||
|
|
A Game-Theoretic Approach to Routing under Adversarial Conditions6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.355-370, ⟨10.1007/978-3-642-15240-5_26⟩
Conference papers
hal-01054447v1
|
||
|
|
Community Dynamics in Open Source Software Projects: Aging and Social Reshaping9th Open Source Software (OSS), Jun 2013, Koper-Capodistria, Slovenia. pp.80-96, ⟨10.1007/978-3-642-38928-3_6⟩
Conference papers
hal-01467583v1
|
||
|
|
Navigation Support in Evolving Open-Source Communities by a Web-Based Dashboard10th IFIP International Conference on Open Source Systems (OSS), May 2014, San José, Costa Rica. pp.11-20, ⟨10.1007/978-3-642-55128-4_2⟩
Conference papers
hal-01373051v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Towards a Comparative Data Value Assessment Framework for Smart Product Service SystemsIFIP International Conference on Advances in Production Management Systems (APMS), Aug 2020, Novi Sad, Serbia. pp.330-337, ⟨10.1007/978-3-030-57997-5_39⟩
Conference papers
hal-03635653v1
|
||
|
|
Blockchain as Middleware+IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.443-450, ⟨10.1007/978-3-030-30000-5_55⟩
Conference papers
hal-02419194v1
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
From Groupware to Social Media - A Comparison of Conceptual Models13th Working Confeence on Virtual Enterpries (PROVE), Oct 2012, Bournemouth, United Kingdom. pp.416-423, ⟨10.1007/978-3-642-32775-9_42⟩
Conference papers
hal-01520438v1
|