Filter your results
- 31
- 4
- 31
- 4
- 35
- 1
- 3
- 4
- 5
- 4
- 2
- 2
- 4
- 4
- 3
- 2
- 2
- 35
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
35 results
|
|
sorted by
|
|
Social Demands in Ubiquitous Computing: Contexts for Tomorrow’s Learning11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.453-462, ⟨10.1007/978-3-319-74310-3_46⟩
Conference papers
hal-01762880v1
|
||
|
On Algebras with Effectful Iteration14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.144-166, ⟨10.1007/978-3-030-00389-0_9⟩
Conference papers
hal-02044647v1
|
||
|
Canonical Nondeterministic Automata12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.189-210, ⟨10.1007/978-3-662-44124-4_11⟩
Conference papers
hal-01408760v1
|
||
|
How to Kill Epsilons with a Dagger12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.53-74, ⟨10.1007/978-3-662-44124-4_4⟩
Conference papers
hal-01408752v1
|
||
|
Challenges of Tracking and Documenting Open Source Dependencies in Products: A Case Study16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.25-35, ⟨10.1007/978-3-030-47240-5_3⟩
Conference papers
hal-03647275v1
|
||
|
How Developers Acquire FLOSS Skills11th International Conference on Open Source Systems (OSS), May 2015, Florence, Italy. pp.23-32, ⟨10.1007/978-3-319-17837-0_3⟩
Conference papers
hal-01320157v1
|
||
|
Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of ITSpringer, AICT-366, 2011, IFIP Advances in Information and Communication Technology, ⟨10.1007/978-3-642-24148-2⟩
Books
hal-01571715v1
|
||
|
What Teachers and Students Know About Data Management11th IFIP World Conference on Computers in Education (WCCE), Jul 2017, Dublin, Ireland. pp.557-566, ⟨10.1007/978-3-319-74310-3_56⟩
Conference papers
hal-01762913v1
|
||
|
Strome: Energy-Aware Data-Stream Processing18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.40-57, ⟨10.1007/978-3-319-93767-0_4⟩
Conference papers
hal-01824631v1
|
||
|
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.56-77, ⟨10.1007/978-3-030-00389-0_5⟩
Conference papers
hal-02044640v1
|
||
|
Same Same but Different: Exploring the Effects of the Stroop Color Word Test in Virtual Reality17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.699-708, ⟨10.1007/978-3-030-29384-0_42⟩
Conference papers
hal-02544574v1
|
||
|
From Simulation Data to Test Cases for Fully Automated Driving and ADAS28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.191-206, ⟨10.1007/978-3-319-47443-4_12⟩
Conference papers
hal-01643731v1
|
||
|
Modular Robot Software Framework for the Intelligent and Flexible Composition of Its SkillsIFIP International Conference on Advances in Production Management Systems (APMS), Sep 2019, Austin, TX, United States. pp.248-256, ⟨10.1007/978-3-030-30000-5_32⟩
Conference papers
hal-02419268v1
|
||
|
Structuring Theories with Implicit Morphisms24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers
hal-02364570v1
|
||
|
Distributed Applications and Interoperable SystemsSpringer, LNCS-6115, 2010, Lecture Notes in Computer Science, 978-3-642-13644-3. ⟨10.1007/978-3-642-13645-0⟩
Books
hal-01555327v1
|
||
|
Decision Oriented Programming in HCI: The Multi-Attribute Decision Language MADL6th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations (AIAI), Oct 2010, Larnaca, Cyprus. pp.344-351, ⟨10.1007/978-3-642-16239-8_45⟩
Conference papers
hal-01060636v1
|
||
|
Optimization of Engineering Processes Including Heating in Time-Dependent Domains27th IFIP Conference on System Modeling and Optimization (CSMO), Jun 2015, Sophia Antipolis, France. pp.452-461, ⟨10.1007/978-3-319-55795-3_43⟩
Conference papers
hal-01626905v1
|
||
|
Reconfigurable Buffer Structures for Coarse-Grained Reconfigurable Arrays5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.218-229, ⟨10.1007/978-3-319-90023-0_18⟩
Conference papers
hal-01854155v1
|
||
|
TRIZ – Develop or Die in a World Driven by Volatility, Uncertainty, Complexity and Ambiguity18th TRIZ Future Conference (TFC), Oct 2018, Strasbourg, France. pp.55-65, ⟨10.1007/978-3-030-02456-7_5⟩
Conference papers
hal-02279774v1
|
||
|
Identifying HCI Patterns for the Support of Participatory Enterprise Modeling on Multi-touch Tables12th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2019, Luxembourg, Luxembourg. pp.118-133, ⟨10.1007/978-3-030-35151-9_8⟩
Conference papers
hal-03231364v1
|
||
|
Comparing Sources of Location Data from Android Smartphones8th International Conference on Digital Forensics (DF), Jan 2012, Pretoria, South Africa. pp.143-157, ⟨10.1007/978-3-642-33962-2_10⟩
Conference papers
hal-01523703v1
|
||
|
Generic Hoare Logic for Order-Enriched Effects with Exceptions23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.208-222, ⟨10.1007/978-3-319-72044-9_14⟩
Conference papers
hal-01767479v1
|
||
|
Understanding Industry Requirements for FLOSS Governance Tools14th IFIP International Conference on Open Source Systems (OSS), Jun 2018, Athens, Greece. pp.151-167, ⟨10.1007/978-3-319-92375-8_13⟩
Conference papers
hal-01875494v1
|
||
|
A Dual Model of Open Source License Growth9th Open Source Software (OSS), Jun 2013, Koper-Capodistria, Slovenia. pp.245-256, ⟨10.1007/978-3-642-38928-3_18⟩
Conference papers
hal-01467574v1
|
||
|
Compiling Logics21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.111-126, ⟨10.1007/978-3-642-37635-1_7⟩
Conference papers
hal-01485981v1
|
||
|
Open Source Systems: Adoption and ImpactSpringer, AICT-451, 2015, IFIP Advances in Information and Communication Technology, 978-3-319-17836-3. ⟨10.1007/978-3-319-17837-0⟩
Books
hal-01320179v1
|
||
|
Simultaneous Material and Topology Optimization Based on Topological Derivatives26th Conference on System Modeling and Optimization (CSMO), Sep 2013, Klagenfurt, Austria. pp.118-127, ⟨10.1007/978-3-662-45504-3_11⟩
Conference papers
hal-01286404v1
|
||
|
Providing Context-Aware Adaptations Based on a Semantic Model11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.57-70, ⟨10.1007/978-3-642-21387-8_5⟩
Conference papers
hal-01583585v1
|
||
|
Coalgebraic Methods in Computer ScienceSpringer, LNCS-7399, 2012, Coalgebraic Methods in Computer Science, ⟨10.1007/978-3-642-32784-1⟩
Books
hal-01539886v1
|
||
|
A Model of Open Source Developer Foundations8th International Conference on Open Source Systems (OSS), Sep 2012, Hammamet, Tunisia. pp.15-28, ⟨10.1007/978-3-642-33442-9_2⟩
Conference papers
hal-01519048v1
|
- 1
- 2