|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1591 occurrences of 908 keywords
|
|
|
Results
Found 4626 publication records. Showing 4592 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Hamid Mohayeji, Felipe Ebert, Eric Arts, Eleni Constantinou, Alexander Serebrenik |
On the adoption of a TODO bot on GitHub: a preliminary study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BotSE@ICSE ![In: Proceedings of the Fourth International Workshop on Bots in Software Engineering, BotSE@ICSE 2022, Pittsburgh, Pennsylvania, 9 May 2022, pp. 23-27, 2022, ACM, 978-1-4503-9333-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Sebastian Zörner, Emy Arts, Brenda Vasiljevic, Ankit Srivastava, Florian Schmalzl, Glareh Mir, Kavish Bhatia, Erik Strahl, Annika Peters, Tayfun Alpay, Stefan Wermter |
An Immersive Investment Game to Study Human-Robot Trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 8, pp. 644529, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Floor Arts, Deniz Baskent, Terrin N. Tamati |
Development and structure of the VariaNTS corpus: A spoken Dutch corpus containing talker and linguistic variability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speech Commun. ![In: Speech Commun. 127, pp. 64-72, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | David J. M. Barnett, Ilja C. W. Arts, John Penders |
microViz: an R package for microbiome data visualization and statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 6(63), pp. 3201, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Melvin Drent, Joachim J. Arts |
Expediting in Two-Echelon Spare Parts Inventory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manuf. Serv. Oper. Manag. ![In: Manuf. Serv. Oper. Manag. 23(6), pp. 1431-1448, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Balázs Erdos, Bart van Sloun, Michiel E. Adriaens, Shauna D. O'Donovan, Dominique Langin, Arne Astrup, Ellen E. Blaak, Ilja C. W. Arts, Natal A. W. van Riel |
Personalized computational model quantifies heterogeneity in postprandial responses to oral glucose challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 17(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Chaitra Sarathy, Marian Breuer, Martina Kutmon, Michiel E. Adriaens, Chris T. A. Evelo, Ilja C. W. Arts |
Comparison of metabolic states using genome-scale metabolic models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 17(11), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Martijn G. Kersloot, Annika Jacobsen, Karlijn H. J. Groenen, Bruna dos Santos Vieira, Rajaram Kaliyaperumal, Ameen Abu-Hanna, Ronald Cornet, Peter A. C. 't Hoen, Marco Roos, Leo J. Schultze Kool, Derk L. Arts |
De-novo FAIRification via an Electronic Data Capture system by automated transformation of filled electronic Case Report Forms into machine-readable data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 122, pp. 103897, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi 0001, Thomas Arts |
Locality-Based Test Selection for Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings, pp. 73-89, 2021, Springer, 978-3-031-04672-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Sri Lakshmi Vadlamani, Benjamin Emdon, Joshua Arts, Olga Baysal |
Can GraphQL Replace REST? A Study of Their Efficiency and Viability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IP@ICSE ![In: 8th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP@ICSE 2021, Madrid, Spain, June 4, 2021, pp. 10-17, 2021, IEEE, 978-1-6654-4476-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Martijn G. Kersloot, Philip van Damme, Ameen Abu-Hanna, Derk L. Arts, Ronald Cornet |
FAIRification Efforts of Clinical Researchers: The Current State of Affairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EFMI-STC ![In: Applying the FAIR Principles to Accelerate Health Research in Europe in the Post COVID-19 Era - Proceedings of the 2021 EFMI Special Topic Conference, EFMI-STC 2021, Virtual Event / Seville, Spain, 22 - 24 November 2021., pp. 35-39, 2021, IOS Press, 978-1-64368-236-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Martijn G. Kersloot, Florentien J. P. van Putten, Ameen Abu-Hanna, Ronald Cornet, Derk L. Arts |
Natural language processing algorithms for mapping clinical text fragments onto ontology concepts: a systematic review and recommendations for future studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Semant. ![In: J. Biomed. Semant. 11(1), pp. 14, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Ignacio Acosta, Arts Catalyst |
Tales from the crust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interactions ![In: Interactions 27(5), pp. 8-11, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Herman van Vlijmen, Albert Mons, Arne Waalkens, Wouter Franke, Arie Baak, Gerbrand Ruiter, Christine R. Kirkpatrick, Luiz Olavo Bonino da Silva Santos, Bert Meerman, Renger Jellema, Derk L. Arts, Martijn G. Kersloot, Sebastiaan L. Knijnenburg, Scott J. Lusher, Rudi Verbeeck, Jean-Marc Neefs |
The Need of Industry to Go FAIR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Intell. ![In: Data Intell. 2(1-2), pp. 276-284, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Md. Akbar Hossain, Sayan Kumar Ray, Seyed Reza Shahamiri, M. Daud Ahmed, Garry Singh, Rose Arts |
An End-to-End Medical Emergency Response System to Support Elderly People. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNAC ![In: 30th International Telecommunication Networks and Applications Conference, ITNAC 2020, Melbourne, Australia, November 25-27, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-8827-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Emy Arts, Sebastian Zörner, Kavish Bhatia, Glareh Mir, Florian Schmalzl, Ankit Srivastava, Brenda Vasiljevic, Tayfun Alpay, Annika Peters, Erik Strahl, Stefan Wermter |
Exploring Human-Robot Trust Through the Investment Game: An Immersive Space Mission Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAI ![In: HAI '20: 8th International Conference on Human-Agent Interaction, Virtual Event, Australia, November 10-13, 2020, pp. 121-130, 2020, ACM, 978-1-4503-8054-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Chris MacDonald, Stefanie Colombo, Michael T. Arts |
Genetically Engineered Oil Seed Crops and Novel Terrestrial Nutrients: Ethical Considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Eng. Ethics ![In: Sci. Eng. Ethics 25(5), pp. 1485-1497, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Martijn G. Kersloot, Francis Y. Lau, Ameen Abu-Hanna, Derk L. Arts, Ronald Cornet |
Automated SNOMED CT concept and attribute relationship detection through a web-based implementation of cTAKES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Semant. ![In: J. Biomed. Semant. 10(1), pp. 14:1-14:13, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Stephanie Medlock, Saeid Eslami, Marjan Askari, Derk L. Arts, Esther M. van de Glind, Henk J. Brouwer, Henk C. P. M. van Weert, Sophia E. de Rooij, Ameen Abu-Hanna |
For which clinical rules do doctors want decision support, and why? A survey of Dutch general practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Health Informatics J. ![In: Health Informatics J. 25(3), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Maarten H. G. Heusinkveld, Wouter Huberts, Joost Lumens, Theo Arts, Tammo Delhaas, Koen D. Reesink |
Large vessels as a tree of transmission lines incorporated in the CircAdapt whole-heart model: A computational tool to examine heart-vessel interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 15(7), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Shauna D. O'Donovan, Michael Lenz, Roel G. Vink, Nadia J. T. Roumans, Theo M. de Kok, Edwin C. M. Mariman, Ralf L. M. Peeters, Natal A. W. van Riel, Marleen A. van Baak, Ilja C. W. Arts |
A computational model of postprandial adipose tissue lipid metabolism derived using human arteriovenous stable isotope tracer data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 15(10), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Denise D. Tönissen, Joachim J. Arts, Zuo-Jun Max Shen |
Maintenance Location Routing for Rolling Stock Under Line and Fleet Planning Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transp. Sci. ![In: Transp. Sci. 53(5), pp. 1252-1270, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Sam Arts, Jianan Hou, Juan Carlos Gomez |
Text Mining to Measure Novelty and Diffusion of Technological Innovation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSI ![In: Proceedings of the 17th International Conference on Scientometrics and Informetrics, ISSI 2019, Rome, Italy, September 2-5, 2019., pp. 1798-1800, 2019, ISSI Society, 978-88-3381-118-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Hans Brombacher, Dennis Arts, Carl Megens, Steven Vos |
Stimulight: Exploring Social Interaction to Reduce Physical Inactivity among Office Workers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019., 2019, ACM, 978-1-4503-5971-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Dennis Arts, Len Kromkamp, Steven Vos |
COMMONS: A Board Game for Enhancing Interdisciplinary Collaboration When Developing Health and Activity-Related Wearable Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (4) ![In: Human-Computer Interaction - INTERACT 2019 - 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2-6, 2019, Proceedings, Part IV, pp. 461-470, 2019, Springer, 978-3-030-29389-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson |
Gaining trust by tracing security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019, pp. 56-67, 2019, ACM, 978-1-4503-6810-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Sam Arts, Lee Fleming |
Paradise of Novelty - Or Loss of Human Capital? Exploring New Fields and Inventive Output. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Organ. Sci. ![In: Organ. Sci. 29(6), pp. 1074-1092, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Lauren J. Dupuis, Joost Lumens, Theo Arts, Tammo Delhaas |
Mechano-Chemical Interactions in the Isotonic Twitch: A Modeling Study. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
CinC ![In: Computing in Cardiology, CinC 2018, Maastricht, The Netherlands, September 23-26, 2018, pp. 1-4, 2018, www.cinc.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Bollig, Constantin Disch, Martijn Arts, Rudolf Mathar |
SNR walls in eigenvalue-based spectrum sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Wirel. Commun. Netw. ![In: EURASIP J. Wirel. Commun. Netw. 2017, pp. 109, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Bollig, Anastasia Lavrenko, Martijn Arts, Rudolf Mathar |
Compressive cyclostationary spectrum sensing with a constant false alarm rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Wirel. Commun. Netw. ![In: EURASIP J. Wirel. Commun. Netw. 2017, pp. 135, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Wojciech Mostowski, Thomas Arts, John Hughes 0001 |
Modelling of Autosar Libraries for Large Scale Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS@ETAPS ![In: Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017., pp. 184-199, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Joachim J. Arts |
A multi-item approach to repairable stocking and expediting in a fluctuating demand environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 256(1), pp. 102-115, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Joost J. A. de Jong, Arno Lataster, Bert van Rietbergen, Jacobus J. Arts, Piet P. Geusens, Joop P. W. van den Bergh, Paul C. Willems |
Distal radius plate of CFR-PEEK has minimal effect compared to titanium plates on bone parameters in high-resolution peripheral quantitative computed tomography: a pilot study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Imaging ![In: BMC Medical Imaging 17(1), pp. 18:1-18:7, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Joachim J. Arts, Rob J. I. Basten, Geert-Jan van Houtum |
Repairable Stocking and Expediting in a Fluctuating Demand Environment: Optimal Policy and Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 64(6), pp. 1285-1301, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Joachim J. Arts |
Spare Parts Stocking and Expediting in a Fluctuating Demand Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ERCIM News ![In: ERCIM News 2016(105), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Derk L. Arts, Albertine G. Voncken, Stephanie Medlock, Ameen Abu-Hanna, Henk C. P. M. van Weert |
Reasons for intentional guideline non-adherence: A systematic review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Medical Informatics ![In: Int. J. Medical Informatics 89, pp. 55-62, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Michael Lenz, Nadia J. T. Roumans, Roel G. Vink, Marleen A. van Baak, Edwin C. M. Mariman, Ilja C. W. Arts, Theo M. de Kok, Gökhan Ertaylan |
Estimating real cell size distribution from cross-section microscopy imaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 32(17), pp. 396-404, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Andreas Bollig, Martijn Arts, Anastasia Lavrenko, Rudolf Mathar |
Compressive Cyclostationary Spectrum Sensing with a Constant False Alarm Rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.04027, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Martijn Arts, Marius Cordts, Monika Gorin, Marc Spehr, Rudolf Mathar |
A Discontinuous Neural Network for Non-Negative Sparse Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.06353, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Andreas Bollig, Constantin Disch, Martijn Arts, Rudolf Mathar |
SNR-Walls in Eigenvalue-based Spectrum Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.03892, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
26 | Lauren J. Dupuis, Joost Lumens, Theo Arts, Tammo Delhaas |
Mechano-chemical Interactions in Cardiac Sarcomere Contraction: A Computational Modeling Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 12(10), 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, John Hughes 0001 |
How Well are Your Requirements Tested? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016, pp. 244-254, 2016, IEEE Computer Society, 978-1-5090-1827-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | John Hughes 0001, Benjamin C. Pierce, Thomas Arts, Ulf Norell |
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016, pp. 135-145, 2016, IEEE Computer Society, 978-1-5090-1827-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Martijn Arts, Rudolf Mathar |
Performance limits of cooperative eigenvalue-based spectrum sensing under noise calibration uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Eighth International Conference on Ubiquitous and Future Networks, ICUFN 2016, Vienna, Austria, July 5-8, 2016, pp. 241-246, 2016, IEEE, 978-1-4673-9991-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Martijn Arts, Andreas Bollig, Rudolf Mathar |
Exact quickest spectrum sensing algorithms for eigenvalue-based change detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUFN ![In: Eighth International Conference on Ubiquitous and Future Networks, ICUFN 2016, Vienna, Austria, July 5-8, 2016, pp. 235-240, 2016, IEEE, 978-1-4673-9991-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | John Hughes 0001, Ulf Norell, Nicholas Smallbone, Thomas Arts |
Find more bugs with QuickCheck! ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST@ICSE ![In: Proceedings of the 11th International Workshop on Automation of Software Test, AST@ICSE 2016, Austin, Texas, USA, May 14-15, 2016, pp. 71-77, 2016, ACM, 978-1-4503-4151-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Joachim J. Arts, Simme Douwe Flapper |
Aggregate overhaul and supply chain planning for rotables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 224(1), pp. 77-100, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts |
Assessing the effects of introducing a new software development process: a methodological description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 17(1), pp. 1-16, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Paul Arts, Jacques Bloch, Peter Georg, Benjamin Glaessle, Simon Heybrock, Yu Komatsubara, Robert Lohmayer, Simon Mages, Bernhard Mendl, Nils Meyer, Alessio Parcianello, Dirk Pleiter, Florian Rappl, Mauro Rossi, Stefan Solbrig, Giampietro Tecchiolli, Tilo Wettig, Gianpaolo Zanier |
QPACE 2 and Domain Decomposition on the Intel Xeon Phi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.04025, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Martijn Arts, Andreas Bollig, Rudolf Mathar |
Quickest Eigenvalue-Based Spectrum Sensing using Random Matrix Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.01628, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
26 | Theo Arts, Robert S. Reneman, James B. Bassingthwaighte, Ger J. van der Vusse |
Modeling Fatty Acid Transfer from Artery to Cardiomyocyte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 11(12), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | John Walmsley, Theo Arts, Nicolas Derval, Pierre Bordachar, Hubert Cochet, Sylvain Ploux, Frits W. Prinzen, Tammo Delhaas, Joost Lumens |
Fast Simulation of Mechanical Heterogeneity in the Electrically Asynchronous Heart Using the MultiPatch Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 11(7), 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, Stefano Tonetta |
Safely Using the AUTOSAR End-to-End Protection Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings, pp. 74-89, 2015, Springer, 978-3-319-24254-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, Kirill Bogdanov 0002, Alex Gerdes, John Hughes 0001 |
Graphical editing support for QuickCheck models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015, pp. 1-6, 2015, IEEE Computer Society, 978-1-4799-1885-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, John Hughes 0001, Ulf Norell, Hans Svensson |
Testing AUTOSAR software with QuickCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015, pp. 1-4, 2015, IEEE Computer Society, 978-1-4799-1885-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Martijn Arts, Andreas Bollig, Rudolf Mathar |
Analytical test statistic distributions of the MMME eigenvalue-based detector for spectrum sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWCS ![In: 2015 International Symposium on Wireless Communication Systems (ISWCS), Brussels, Belgium, August 25-28, 2015, pp. 496-500, 2015, IEEE, 978-1-4673-6540-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Tressy Arts, Yonatan Belinkov, Nizar Habash, Adam Kilgarriff, Vit Suchomel |
arTenTen: Arabic Corpus and Word Sketches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. King Saud Univ. Comput. Inf. Sci. ![In: J. King Saud Univ. Comput. Inf. Sci. 26(4), pp. 357-371, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Benjamin Vedder, Thomas Arts, Jonny Vinter, Magnus Jonsson |
Combining Fault-Injection with Property-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ES4CPS@DATE ![In: International Workshop on Engineering Simulations for Cyber-Physical Systems, ES4CPS '14, Dresden, Germany, March 28 - 28, 2014, pp. 1, 2014, ACM, 978-1-4503-2614-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, Michele Dorigatti, Stefano Tonetta |
Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings, pp. 81-92, 2014, Springer, 978-3-319-10505-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Martin A. Skoglund, Hans Svensson, Henrik Eriksson, Thomas Arts, Rolf Johansson 0002, Alex Gerdes |
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP Workshops ![In: Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings, pp. 19-26, 2014, Springer, 978-3-319-10556-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | César A. López Martínez, Ferry Schoenmakers, Gerrit J. L. Naus, Koen Meessen, Yanick Douven, Harrie van de Loo, Dennis Bruijnen, Wouter H. T. M. Aangenent, Joost Groenen, Bob van Ninhuijs, Matthias Briegel, Rob Hoogendijk, Patrick van Brakel, Rob van den Berg, Okke Hendriks, René Arts, Frank Botden, Wouter Houtman, Marjon van't Klooster, Jeroen van der Velden, Camiel Beeren, Lotte de Koning, Olaf Klooster, Robin Soetens, René van de Molengraft |
Tech United Eindhoven, Winner RoboCup 2014 MSL - Middle Size League. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, João Pessoa, Brazil, July 15, pp. 60-69, 2014, Springer, 978-3-319-18614-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Gemma Webster, Chris Mellish, Somayajulu Sripada, René van der Wal, Koen Arts, Yolanda Melero, Xavier Lambin |
Determining Content for Unknown Users: Lessons from the MinkApp Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INLG ![In: INLG 2014 - Proceedings of the Eighth International Natural Language Generation Conference, Including Proceedings of the INLG and SIGDIAL 2014 Joint Session, 19-21 June 2014, Philadelphia, PA, USA, pp. 113-117, 2014, The Association for Computer Linguistics, 978-1-941643-22-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts |
Teaching Students Property-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 40th EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2014, Verona, Italy, August 27-29, 2014, pp. 437-442, 2014, IEEE Computer Society, 978-1-4799-5795-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts |
On shrinking randomly generated load tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014, pp. 25-31, 2014, ACM, 978-1-4503-3038-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Stephanie Medlock, Anne M. Lagaay, Saeid Eslami, Marjan Askari, Derk L. Arts, Sophia E. de Rooij, Ameen Abu-Hanna |
Development of Computerized Clinical Decision Support to Assist in Detecting and Preventing Delirium in the Hospital Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHI ![In: 2014 IEEE International Conference on Healthcare Informatics, ICHI 2014, Verona, Italy, September 15-17, 2014, pp. 95-100, 2014, IEEE Computer Society, 978-1-4799-5701-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes 0001 |
An Expressive Semantics of Mocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 385-399, 2014, Springer, 978-3-642-54803-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Joachim J. Arts, Gudrun P. Kiesmüller |
Analysis of a two-echelon inventory system with two supply modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 225(2), pp. 263-272, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Sam Arts, Francesco Paolo Appio, Bart Van Looy |
Inventions shaping technological trajectories: do existing patent indicators provide a comprehensive picture? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scientometrics ![In: Scientometrics 97(2), pp. 397-419, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, Alex Gerdes, Magnus Kronqvist |
Requirements on automatically generated random test cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013., pp. 1335-1342, 2013, 978-1-4673-4471-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Rolf Johansson 0002, Hans Eriksson, Hans Svensson, Kenneth Östberg, Thomas Arts, Alex Gerdes, Martin A. Skoglund |
Don't Judge Software by Its (Code) Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARS@SAFECOMP ![In: SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013, 2013, HAL. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Martijn Arts, Steven Corroy, Monika Gorin, Marc Spehr, Anke Schmeink, Rudolf Mathar |
Modelling Biological Systems using a Parallel Quantized MIMO Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWCS ![In: ISWCS 2013, The Tenth International Symposium on Wireless Communication Systems, Ilmenau, Germany, August 27-30, 2013, pp. 1-5, 2013, VDE-Verlag / IEEE, 978-3-8007-3529-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
26 | Ulf Norell, Hans Svensson, Thomas Arts |
Testing blocking operations with QuickCheck's component library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, Boston, Massachusetts, USA, September 28, 2013, pp. 87-92, 2013, ACM, 978-1-4503-2385-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
26 | Theo Arts, Joost Lumens, Wilco Kroon, Tammo Delhaas |
Control of Whole Heart Geometry by Intramyocardial Mechano-Feedback: A Model Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 8(2), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Yvette Koeken, Theo Arts, Tammo Delhaas |
Simulation of the Fontan circulation during rest and exercise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2012, San Diego, CA, USA, August 28 - September 1, 2012, pp. 6673-6676, 2012, IEEE, 978-1-4244-4119-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Axel Cordes, Martijn Arts, Steffen Leonhardt |
A full digital magnetic induction measurement device for non-contact vital parameter monitoring (MONTOS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2012, San Diego, CA, USA, August 28 - September 1, 2012, pp. 582-585, 2012, IEEE, 978-1-4244-4119-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Adrian Basarab, Patrick Clarysse, Theo Arts, Christian Cachard, Pierre Croisille, Philippe Delachartre |
Estimation de mouvement par décalage de phase et maillage déformable appliquée à des séquences cardiaques d'IRM marquées. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Traitement du Signal ![In: Traitement du Signal 28(6), pp. 643-663, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Anna Sandberg, Lars Pareto, Thomas Arts |
Agile Collaborative Research: Action Principles for Industry-Academia Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 28(4), pp. 74-83, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Thorsten Wiesel, Koen Pauwels, Joep Arts |
Practice Prize Paper - Marketing's Profit Impact: Quantifying Online and Off-line Funnel Progression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mark. Sci. ![In: Mark. Sci. 30(4), pp. 604-611, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Huiqing Li, Simon J. Thompson, Thomas Arts |
Extracting Properties from Test Cases by Refactoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pp. 472-473, 2011, IEEE Computer Society, 978-0-7695-4345-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Alessandro C. Rossi, Theo Arts, Tammo Delhaas |
On the Estimation of Transmural Myocardial Shear by Means of MRI Tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart - 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings, pp. 105-112, 2011, Springer, 978-3-642-21027-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson |
Extracting QuickCheck specifications from EUnit test cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, pp. 62-71, 2011, ACM, 978-1-4503-0859-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, Laura M. Castro |
Model-based testing of data types with side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, pp. 30-38, 2011, ACM, 978-1-4503-0859-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, John Hughes 0001, Ulf Norell, Nicholas Smallbone, Hans Svensson |
Accelerating race condition detection through procrastination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, pp. 14-22, 2011, ACM, 978-1-4503-0859-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Theo Arts, Frits W. Prinzen, Tammo Delhaas, Julien Milles, Alessandro C. Rossi, Patrick Clarysse |
Mapping Displacement and Deformation of the Heart With Local Sine-Wave Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 29(5), pp. 1114-1123, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Hendrik Drachsler, Lloyd Rutledge, Peter van Rosmalen, Hans G. K. Hummel, Dries Pecceu, Tanja Arts, Edwin Hutten, Rob Koper |
ReMashed - An Usability Study of a Recommender System for Mash-Ups for Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Emerg. Technol. Learn. ![In: Int. J. Emerg. Technol. Learn. 5(S1), pp. 7-11, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Laura M. Castro, Thomas Arts |
Testing Data Consistency of Data-Intensive Applications Using QuickCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010, pp. 41-62, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Ulrik Eklund, Thomas Arts |
A Classification of Value for Software Architecture Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings, pp. 368-375, 2010, Springer, 978-3-642-15113-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Arts, Simon J. Thompson |
From test cases to FSMs: augmented test-driven development and property inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010, pp. 1-12, 2010, ACM, 978-1-4503-0253-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Wilco Kroon, Tammo Delhaas, Peter Bovendeerd, Theo Arts |
Computational analysis of the myocardial structure: Adaptation of cardiac myofiber orientations through deformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 13(2), pp. 346-353, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Maxwell Lewis Neal, John H. Gennari, Theo Arts, Daniel L. Cook |
Advances in Semantic Representation for Multiscale Biosimulation: A Case Study in Merging Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pacific Symposium on Biocomputing ![In: Biocomputing 2009: Proceedings of the Pacific Symposium, Kohala Coast, Hawaii, USA, 5-9 January 2009, pp. 304-315, 2009, 978-981-283-692-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Hendrik Drachsler, Dries Pecceu, Tanja Arts, Peter van Rosmalen, Hans G. K. Hummel, Rob Koper, Edwin Hutten, Lloyd Rutledge |
ReMashed - Recommendation Approaches for Mash- Up Personal Learning Environments in Formal and Informal Learning Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUPPLE@EC-TEL ![In: Proceedings of the Second International Workshop on Mashup Personal Learning Environments (MUPPLE09) Nice, France, September 29, 2009. in conjunction with the 4th European Conference on Technology Enhanced Learning (EC-TEL'09) , Acropolis Palais des Congres, Nice, France, September 29, 2009., 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
26 | Hendrik Drachsler, Dries Pecceu, Tanja Arts, Edwin Hutten, Lloyd Rutledge, Peter van Rosmalen, Hans G. K. Hummel, Rob Koper |
ReMashed - Recommendations for Mash-Up Personal Learning Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-TEL ![In: Learning in the Synergy of Multiple Disciplines, 4th European Conference on Technology Enhanced Learning, EC-TEL 2009, Nice, France, September 29 - October 2, 2009, Proceedings, pp. 788-793, 2009, Springer, 978-3-642-04635-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
MUPPLE, recommender system, emergence, personalisation, informal learning, mash-up, personal learning environments, learning networks |
26 | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes 0001, Hans Svensson, Thomas Arts, Ulf T. Wiger |
Finding race conditions in Erlang with QuickCheck and PULSE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 149-160, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, Erlang, race conditions |
26 | John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes 0001, Simon J. Thompson |
Property-Based Testing - The ProTest Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, pp. 250-271, 2009, Springer, 978-3-642-17070-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Wilco Kroon, Tammo Delhaas, Peter Bovendeerd, Theo Arts |
Adaptive Reorientation of Cardiac Myofibers: Comparison of Left Ventricular Shear in Model and Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings, pp. 58-67, 2009, Springer, 978-3-642-01931-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Joost Lumens, Theo Arts, Tammo Delhaas |
Ventricular Mechanical Asynchrony in Pulmonary Arterial Hypertension: A Model Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings, pp. 249-257, 2009, Springer, 978-3-642-01931-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Ventricular interaction, myofiber mechanics, pump work, stress, pacing, strain |
26 | Javier París, Thomas Arts |
Automatic testing of TCP/IP implementations using QuickCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 83-92, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tcp/ip, testing, networking |
26 | Nicolae Paladi, Thomas Arts |
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Erlang Workshop ![In: Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009, pp. 71-82, 2009, ACM, 978-1-60558-507-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
QuickCheck, amnesia, formal specifications, model based testing, erlang, business rules |
26 | John P. Archer, John W. Pinney, Jun Fan, Etienne Simon-Loriere, Eric J. Arts, Matteo Negroni, David L. Robertson |
Identifying the Important HIV-1 Recombination Breakpoints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 4(9), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Joost Lumens, Tammo Delhaas, Borut Kirin, Theo Arts |
Modeling Ventricular Interaction: A Multiscale Approach from Sarcomere Mechanics to Cardiovascular Systems Hemodynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pacific Symposium on Biocomputing ![In: Biocomputing 2008, Proceedings of the Pacific Symposium, Kohala Coast, Hawaii, USA, 4-8 January 2008, pp. 378-389, 2008, World Scientific, 978-981-277-608-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
Displaying result #601 - #700 of 4592 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|