Search results for "arts"

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.	BotSE@ICSE	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.	Frontiers Robotics AI	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.	Speech Commun.	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.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
26	Melvin Drent, Joachim J. Arts	Expediting in Two-Echelon Spare Parts Inventory Systems.	Manuf. Serv. Oper. Manag.	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.	PLoS Comput. Biol.	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.	PLoS Comput. Biol.	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.	J. Biomed. Informatics	2021	DBLP DOI BibTeX RDF
26	Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi 0001, Thomas Arts	Locality-Based Test Selection for Autonomous Agents.	ICTSS	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.	SER&IP@ICSE	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.	EFMI-STC	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.	J. Biomed. Semant.	2020	DBLP DOI BibTeX RDF
26	Ignacio Acosta, Arts Catalyst	Tales from the crust.	Interactions	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.	Data Intell.	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.	ITNAC	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.	HAI	2020	DBLP DOI BibTeX RDF
26	Chris MacDonald, Stefanie Colombo, Michael T. Arts	Genetically Engineered Oil Seed Crops and Novel Terrestrial Nutrients: Ethical Considerations.	Sci. Eng. Ethics	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.	J. Biomed. Semant.	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.	Health Informatics J.	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.	PLoS Comput. Biol.	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.	PLoS Comput. Biol.	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.	Transp. Sci.	2019	DBLP DOI BibTeX RDF
26	Sam Arts, Jianan Hou, Juan Carlos Gomez	Text Mining to Measure Novelty and Diffusion of Technological Innovation.	ISSI	2019	DBLP BibTeX RDF
26	Hans Brombacher, Dennis Arts, Carl Megens, Steven Vos	Stimulight: Exploring Social Interaction to Reduce Physical Inactivity among Office Workers.	CHI Extended Abstracts	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.	INTERACT (4)	2019	DBLP DOI BibTeX RDF
26	Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson	Gaining trust by tracing security protocols.	Erlang Workshop	2019	DBLP DOI BibTeX RDF
26	Sam Arts, Lee Fleming	Paradise of Novelty - Or Loss of Human Capital? Exploring New Fields and Inventive Output.	Organ. Sci.	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)	CinC	2018	DBLP DOI BibTeX RDF
26	Andreas Bollig, Constantin Disch, Martijn Arts, Rudolf Mathar	SNR walls in eigenvalue-based spectrum sensing.	EURASIP J. Wirel. Commun. Netw.	2017	DBLP DOI BibTeX RDF
26	Andreas Bollig, Anastasia Lavrenko, Martijn Arts, Rudolf Mathar	Compressive cyclostationary spectrum sensing with a constant false alarm rate.	EURASIP J. Wirel. Commun. Netw.	2017	DBLP DOI BibTeX RDF
26	Wojciech Mostowski, Thomas Arts, John Hughes 0001	Modelling of Autosar Libraries for Large Scale Testing.	MARS@ETAPS	2017	DBLP DOI BibTeX RDF
26	Joachim J. Arts	A multi-item approach to repairable stocking and expediting in a fluctuating demand environment.	Eur. J. Oper. Res.	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.	BMC Medical Imaging	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.	Oper. Res.	2016	DBLP DOI BibTeX RDF
26	Joachim J. Arts	Spare Parts Stocking and Expediting in a Fluctuating Demand Environment.	ERCIM News	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.	Int. J. Medical Informatics	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.	Bioinform.	2016	DBLP DOI BibTeX RDF
26	Andreas Bollig, Martijn Arts, Anastasia Lavrenko, Rudolf Mathar	Compressive Cyclostationary Spectrum Sensing with a Constant False Alarm Rate.	CoRR	2016	DBLP BibTeX RDF
26	Martijn Arts, Marius Cordts, Monika Gorin, Marc Spehr, Rudolf Mathar	A Discontinuous Neural Network for Non-Negative Sparse Approximation.	CoRR	2016	DBLP BibTeX RDF
26	Andreas Bollig, Constantin Disch, Martijn Arts, Rudolf Mathar	SNR-Walls in Eigenvalue-based Spectrum Sensing.	CoRR	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.	PLoS Comput. Biol.	2016	DBLP DOI BibTeX RDF
26	Thomas Arts, John Hughes 0001	How Well are Your Requirements Tested?	ICST	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.	ICST	2016	DBLP DOI BibTeX RDF
26	Martijn Arts, Rudolf Mathar	Performance limits of cooperative eigenvalue-based spectrum sensing under noise calibration uncertainty.	ICUFN	2016	DBLP DOI BibTeX RDF
26	Martijn Arts, Andreas Bollig, Rudolf Mathar	Exact quickest spectrum sensing algorithms for eigenvalue-based change detection.	ICUFN	2016	DBLP DOI BibTeX RDF
26	John Hughes 0001, Ulf Norell, Nicholas Smallbone, Thomas Arts	Find more bugs with QuickCheck!	AST@ICSE	2016	DBLP DOI BibTeX RDF
26	Joachim J. Arts, Simme Douwe Flapper	Aggregate overhaul and supply chain planning for rotables.	Ann. Oper. Res.	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.	Int. J. Softw. Tools Technol. Transf.	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.	CoRR	2015	DBLP BibTeX RDF
26	Martijn Arts, Andreas Bollig, Rudolf Mathar	Quickest Eigenvalue-Based Spectrum Sensing using Random Matrix Theory.	CoRR	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.	PLoS Comput. Biol.	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.	PLoS Comput. Biol.	2015	DBLP DOI BibTeX RDF
26	Thomas Arts, Stefano Tonetta	Safely Using the AUTOSAR End-to-End Protection Library.	SAFECOMP	2015	DBLP DOI BibTeX RDF
26	Thomas Arts, Kirill Bogdanov 0002, Alex Gerdes, John Hughes 0001	Graphical editing support for QuickCheck models.	ICST Workshops	2015	DBLP DOI BibTeX RDF
26	Thomas Arts, John Hughes 0001, Ulf Norell, Hans Svensson	Testing AUTOSAR software with QuickCheck.	ICST Workshops	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.	ISWCS	2015	DBLP DOI BibTeX RDF
26	Tressy Arts, Yonatan Belinkov, Nizar Habash, Adam Kilgarriff, Vit Suchomel	arTenTen: Arabic Corpus and Word Sketches.	J. King Saud Univ. Comput. Inf. Sci.	2014	DBLP DOI BibTeX RDF
26	Benjamin Vedder, Thomas Arts, Jonny Vinter, Magnus Jonsson	Combining Fault-Injection with Property-Based Testing.	ES4CPS@DATE	2014	DBLP DOI BibTeX RDF
26	Thomas Arts, Michele Dorigatti, Stefano Tonetta	Making Implicit Safety Requirements Explicit - An AUTOSAR Safety Case.	SAFECOMP	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.	SAFECOMP Workshops	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.	RoboCup	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.	INLG	2014	DBLP DOI BibTeX RDF
26	Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts	Teaching Students Property-Based Testing.	EUROMICRO-SEAA	2014	DBLP DOI BibTeX RDF
26	Thomas Arts	On shrinking randomly generated load tests.	Erlang Workshop	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.	ICHI	2014	DBLP DOI BibTeX RDF
26	Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes 0001	An Expressive Semantics of Mocking.	FASE	2014	DBLP DOI BibTeX RDF
26	Joachim J. Arts, Gudrun P. Kiesmüller	Analysis of a two-echelon inventory system with two supply modes.	Eur. J. Oper. Res.	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?	Scientometrics	2013	DBLP DOI BibTeX RDF
26	Thomas Arts, Alex Gerdes, Magnus Kronqvist	Requirements on automatically generated random test cases.	FedCSIS	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.	CARS@SAFECOMP	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.	ISWCS	2013	DBLP BibTeX RDF
26	Ulf Norell, Hans Svensson, Thomas Arts	Testing blocking operations with QuickCheck's component library.	Erlang Workshop	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.	PLoS Comput. Biol.	2012	DBLP DOI BibTeX RDF
26	Yvette Koeken, Theo Arts, Tammo Delhaas	Simulation of the Fontan circulation during rest and exercise.	EMBC	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).	EMBC	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.	Traitement du Signal	2011	DBLP DOI BibTeX RDF
26	Anna Sandberg, Lars Pareto, Thomas Arts	Agile Collaborative Research: Action Principles for Industry-Academia Collaboration.	IEEE Softw.	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.	Mark. Sci.	2011	DBLP DOI BibTeX RDF
26	Huiqing Li, Simon J. Thompson, Thomas Arts	Extracting Properties from Test Cases by Refactoring.	ICST Workshops	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.	FIMH	2011	DBLP DOI BibTeX RDF
26	Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson	Extracting QuickCheck specifications from EUnit test cases.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
26	Thomas Arts, Laura M. Castro	Model-based testing of data types with side effects.	Erlang Workshop	2011	DBLP DOI BibTeX RDF
26	Thomas Arts, John Hughes 0001, Ulf Norell, Nicholas Smallbone, Hans Svensson	Accelerating race condition detection through procrastination.	Erlang Workshop	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.	IEEE Trans. Medical Imaging	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.	Int. J. Emerg. Technol. Learn.	2010	DBLP DOI BibTeX RDF
26	Laura M. Castro, Thomas Arts	Testing Data Consistency of Data-Intensive Applications Using QuickCheck.	PROLE	2010	DBLP DOI BibTeX RDF
26	Ulrik Eklund, Thomas Arts	A Classification of Value for Software Architecture Decisions.	ECSA	2010	DBLP DOI BibTeX RDF
26	Thomas Arts, Simon J. Thompson	From test cases to FSMs: augmented test-driven development and property inference.	Erlang Workshop	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.	Medical Image Anal.	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.	Pacific Symposium on Biocomputing	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.	MUPPLE@EC-TEL	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.	EC-TEL	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.	ICFP	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.	FMCO	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.	FIMH	2009	DBLP DOI BibTeX RDF
26	Joost Lumens, Theo Arts, Tammo Delhaas	Ventricular Mechanical Asynchrony in Pulmonary Arterial Hypertension: A Model Study.	FIMH	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.	Erlang Workshop	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.	Erlang Workshop	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.	PLoS Comput. Biol.	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.	Pacific Symposium on Biocomputing	2008	DBLP BibTeX RDF