Search dblp for Publications

• > Home > Search

@article{DBLP:journals/npjdm/DaalenBPMHVMMMDEB24,
  author       = {Jules M. Janssen Daalen and
                  Robin van den Bergh and
                  Eva M. Prins and
                  Mahshid Sadat Chenarani Moghadam and
                  Rudie van den Heuvel and
                  Jeroen Veen and
                  Soania Mathur and
                  Hannie Meijerink and
                  Anat Mirelman and
                  Sirwan K. L. Darweesh and
                  Luc J. W. Evers and
                  Bastiaan R. Bloem},
  title        = {Digital biomarkers for non-motor symptoms in Parkinson's disease:
                  the state of the art},
  journal      = {npj Digit. Medicine},
  volume       = {7},
  number       = {1},
  year         = {2024}
}

@article{DBLP:journals/access/DekkerTMBLA23,
  author       = {Bram Dekker and
                  Bram T. Ton and
                  Joanneke Meijer and
                  Nacir Bouali and
                  Jeroen Linssen and
                  Faizan Ahmed},
  title        = {Point Cloud Analysis of Railway Infrastructure: {A} Systematic Literature
                  Review},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {134355--134373},
  year         = {2023}
}

@article{DBLP:journals/cais/CameronLLLMM22,
  author       = {Lindsey Cameron and
                  Laura Lamers and
                  Ulrich Leicht{-}Deobald and
                  Christoph Lutz and
                  Jeroen Meijerink and
                  Mareike M{\"{o}}hlmann},
  title        = {Algorithmic Management: Its Implications for Information Systems Research},
  journal      = {Commun. Assoc. Inf. Syst.},
  volume       = {52},
  pages        = {23},
  year         = {2022}
}

@article{DBLP:journals/ethicsit/LamersMJB22,
  author       = {Laura Lamers and
                  Jeroen Meijerink and
                  Giedo Jansen and
                  Mieke Boon},
  title        = {A Capability Approach to worker dignity under Algorithmic Management},
  journal      = {Ethics Inf. Technol.},
  volume       = {24},
  number       = {1},
  pages        = {10},
  year         = {2022}
}

@article{DBLP:journals/isse/MeijerP19,
  author       = {Jeroen Meijer and
                  Jaco van de Pol},
  title        = {Sound black-box checking in the LearnLib},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {15},
  number       = {3-4},
  pages        = {267--287},
  year         = {2019}
}

@inproceedings{DBLP:conf/tacas/AmparoreBCDGHHJ19,
  author       = {Elvio Gilberto Amparore and
                  Bernard Berthomieu and
                  Gianfranco Ciardo and
                  Silvano Dal{-}Zilio and
                  Francesco Gall{\`{a}} and
                  Lom{-}Messan Hillah and
                  Francis Hulin{-}Hubard and
                  Peter Gj{\o}l Jensen and
                  Lo{\"{\i}}g Jezequel and
                  Fabrice Kordon and
                  Didier Le Botlan and
                  Torsten Liebke and
                  Jeroen Meijer and
                  Andrew S. Miner and
                  Emmanuel Paviot{-}Adet and
                  Jir{\'{\i}} Srba and
                  Yann Thierry{-}Mieg and
                  Tom van Dijk and
                  Karsten Wolf},
  title        = {Presentation of the 9th Edition of the Model Checking Contest},
  booktitle    = {{TACAS} {(3)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11429},
  pages        = {50--68},
  publisher    = {Springer},
  year         = {2019}
}

@inproceedings{DBLP:conf/tacas/DijkMP19,
  author       = {Tom van Dijk and
                  Jeroen Meijer and
                  Jaco van de Pol},
  title        = {Multi-core On-The-Fly Saturation},
  booktitle    = {{TACAS} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11428},
  pages        = {58--75},
  publisher    = {Springer},
  year         = {2019}
}

@article{DBLP:journals/topnoc/KordonGHPJHABBEJBLMSTPW18,
  author       = {Fabrice Kordon and
                  Hubert Garavel and
                  Lom{-}Messan Hillah and
                  Emmanuel Paviot{-}Adet and
                  Lo{\"{\i}}g Jezequel and
                  Francis Hulin{-}Hubard and
                  Elvio Gilberto Amparore and
                  Marco Beccuti and
                  Bernard Berthomieu and
                  Hugues Evrard and
                  Peter Gj{\o}l Jensen and
                  Didier Le Botlan and
                  Torsten Liebke and
                  Jeroen Meijer and
                  Jir{\'{\i}} Srba and
                  Yann Thierry{-}Mieg and
                  Jaco van de Pol and
                  Karsten Wolf},
  title        = {MCC'2017 - The Seventh Model Checking Contest},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {13},
  pages        = {181--209},
  year         = {2018}
}

@inproceedings{DBLP:conf/birthday/PolM97,
  author       = {Jaco van de Pol and
                  Jeroen Meijer},
  title        = {Synchronous or Alternating? - {LTL} Black-Box Checking of Mealy Machines
                  by Combining the LearnLib and LTSmin},
  booktitle    = {Models, Mindsets, Meta},
  series       = {Lecture Notes in Computer Science},
  volume       = {11200},
  pages        = {417--430},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/fmics/HuistraMP18,
  author       = {David Huistra and
                  Jeroen Meijer and
                  Jaco van de Pol},
  title        = {Adaptive Learning for Learn-Based Regression Testing},
  booktitle    = {{FMICS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11119},
  pages        = {162--177},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/icra/BarrettRMMJMCMC18,
  author       = {Eamon Barrett and
                  Mark Reiling and
                  Seyedmohsen Mirhassani and
                  Rene Meijering and
                  Jeroen Jager and
                  Nicola Mimmo and
                  Flavio Callegati and
                  Lorenzo Marconi and
                  Raffaella Carloni and
                  Stefano Stramigioli},
  title        = {Autonomous Battery Exchange of UAVs with a Mobile Ground Base},
  booktitle    = {{ICRA}},
  pages        = {699--705},
  publisher    = {{IEEE}},
  year         = {2018}
}

@inproceedings{DBLP:conf/ifm/KornerLM18,
  author       = {Philipp K{\"{o}}rner and
                  Michael Leuschel and
                  Jeroen Meijer},
  title        = {State-of-the-Art Model Checking for {B} and Event-B Using ProB and
                  LTSmin},
  booktitle    = {{IFM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11023},
  pages        = {275--295},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/nfm/MeijerP18,
  author       = {Jeroen Meijer and
                  Jaco van de Pol},
  title        = {Sound Black-Box Checking in the LearnLib},
  booktitle    = {{NFM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10811},
  pages        = {349--366},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/acsd/SteffenJMP17,
  author       = {Bernhard Steffen and
                  Marc Jasper and
                  Jeroen Meijer and
                  Jaco van de Pol},
  title        = {Property-Preserving Generation of Tailored Benchmark Petri Nets},
  booktitle    = {{ACSD}},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2017}
}

@inproceedings{DBLP:conf/spin/JasperFSSMPHS17,
  author       = {Marc Jasper and
                  Maximilian Fecke and
                  Bernhard Steffen and
                  Markus Schordan and
                  Jeroen Meijer and
                  Jaco van de Pol and
                  Falk Howar and
                  Stephen F. Siegel},
  title        = {The {RERS} 2017 challenge and workshop (invited paper)},
  booktitle    = {{SPIN}},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2017}
}

@article{DBLP:journals/f1000research/ZhangBSSEHSHRPB17,
  author       = {Chao Zhang and
                  Jochem Bijlard and
                  Christine Staiger and
                  Serena A. Scollen and
                  David van Enckevort and
                  Youri Hoogstrate and
                  Alexander Senf and
                  Saskia D. Hiltemann and
                  Susanna Repo and
                  Wibo Pipping and
                  Mariska Bierkens and
                  Stefan Payralbe and
                  Bas Stringer and
                  Jaap Heringa and
                  Andrew Stubbs and
                  Luiz Olavo Bonino da Silva Santos and
                  Jeroen Beli{\"{e}}n and
                  Ward Weistra and
                  Rita Azevedo and
                  Kees van Bochove and
                  Gerrit Meijer and
                  Jan{-}Willem Boiten and
                  Jordi Rambla and
                  Remond J. A. Fijneman and
                  J. Dylan Spalding and
                  Sanne Abeln},
  title        = {Systematically linking tranSMART, Galaxy and {EGA} for reusing human
                  translational research data},
  journal      = {F1000Research},
  volume       = {6},
  pages        = {1488},
  year         = {2017}
}

@inproceedings{DBLP:conf/ifm/BendispostoKLMP16,
  author       = {Jens Bendisposto and
                  Philipp K{\"{o}}rner and
                  Michael Leuschel and
                  Jeroen Meijer and
                  Jaco van de Pol and
                  Helen Treharne and
                  Jorden Whitefield},
  title        = {Symbolic Reachability Analysis of {B} Through ProB and LTSmin},
  booktitle    = {{IFM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9681},
  pages        = {275--291},
  publisher    = {Springer},
  year         = {2016}
}

@inproceedings{DBLP:conf/nfm/MeijerP16,
  author       = {Jeroen Meijer and
                  Jaco van de Pol},
  title        = {Bandwidth and Wavefront Reduction for Static Variable Ordering in
                  Symbolic Reachability Analysis},
  booktitle    = {{NFM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9690},
  pages        = {255--271},
  publisher    = {Springer},
  year         = {2016}
}

@article{DBLP:journals/corr/BendispostoKLMP16,
  author       = {Jens Bendisposto and
                  Philipp Koerner and
                  Michael Leuschel and
                  Jeroen Meijer and
                  Jaco van de Pol and
                  Helen Treharne and
                  Jorden Whitefield},
  title        = {Symbolic Reachability Analysis of {B} through ProB and LTSmin},
  journal      = {CoRR},
  volume       = {abs/1603.04401},
  year         = {2016}
}

@article{DBLP:journals/jclinbioinf/BierkensLBWFABB15,
  author       = {Mariska Bierkens and
                  Wim van der Linden and
                  Kees van Bochove and
                  Ward Weistra and
                  Remond J. A. Fijneman and
                  Rita Azevedo and
                  Jan{-}Willem Boiten and
                  Jeroen Beli{\"{e}}n and
                  Gerrit A. Meijer},
  title        = {tranSMART},
  journal      = {J. Clin. Bioinform.},
  volume       = {5},
  number       = {{S-1}},
  pages        = {S9},
  year         = {2015}
}

@article{DBLP:journals/jclinbioinf/CavelaarsRPRVRV15,
  author       = {Marinel Cavelaars and
                  Jacob Rousseau and
                  Cuneyt Parlayan and
                  Sander de Ridder and
                  Annemarie Verburg and
                  Ruud Ross and
                  Gerben Visser and
                  Annelies Rotte and
                  Rita Azevedo and
                  Jan{-}Willem Boiten and
                  Gerrit A. Meijer and
                  Jeroen A. M. Beli{\"{e}}n and
                  Henk M. W. Verheul},
  title        = {OpenClinica},
  journal      = {J. Clin. Bioinform.},
  volume       = {5},
  number       = {{S-1}},
  pages        = {S2},
  year         = {2015}
}

@inproceedings{DBLP:conf/tacas/KantLMPBD15,
  author       = {Gijs Kant and
                  Alfons Laarman and
                  Jeroen Meijer and
                  Jaco van de Pol and
                  Stefan Blom and
                  Tom van Dijk},
  title        = {LTSmin: High-Performance Language-Independent Model Checking},
  booktitle    = {{TACAS}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9035},
  pages        = {692--707},
  publisher    = {Springer},
  year         = {2015}
}

@article{DBLP:journals/corr/MeijerP15,
  author       = {Jeroen Meijer and
                  Jaco van de Pol},
  title        = {Bandwidth and Wavefront Reduction for Static Variable Ordering in
                  Symbolic Model Checking},
  journal      = {CoRR},
  volume       = {abs/1511.08678},
  year         = {2015}
}

@inproceedings{DBLP:conf/hvc/MeijerKBP14,
  author       = {Jeroen Meijer and
                  Gijs Kant and
                  Stefan Blom and
                  Jaco van de Pol},
  title        = {Read, Write and Copy Dependencies for Symbolic Model Checking},
  booktitle    = {Haifa Verification Conference},
  series       = {Lecture Notes in Computer Science},
  volume       = {8855},
  pages        = {204--219},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:conf/wise/KnijffMFH11,
  author       = {Jeroen de Knijff and
                  Kevin Meijer and
                  Flavius Frasincar and
                  Frederik Hogenboom},
  title        = {Word Sense Disambiguation for Automatic Taxonomy Construction from
                  Text-Based Web Corpora},
  booktitle    = {{WISE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6997},
  pages        = {241--248},
  publisher    = {Springer},
  year         = {2011}
}

@article{DBLP:journals/bioinformatics/DzyubachykECBINM10,
  author       = {Oleh Dzyubachyk and
                  Jeroen Essers and
                  Wiggert A. van Cappellen and
                  C{\'{e}}line Baldeyron and
                  Akiko Inagaki and
                  Wiro J. Niessen and
                  Erik Meijering},
  title        = {Automated analysis of time-lapse fluorescence microscopy images: from
                  live cell images to intracellular foci},
  journal      = {Bioinform.},
  volume       = {26},
  number       = {19},
  pages        = {2424--2430},
  year         = {2010}
}

@article{DBLP:journals/tmi/DzyubachykCENM10,
  author       = {Oleh Dzyubachyk and
                  Wiggert A. van Cappellen and
                  Jeroen Essers and
                  Wiro J. Niessen and
                  Erik Meijering},
  title        = {Advanced Level-Set-Based Cell Tracking in Time-Lapse Fluorescence
                  Microscopy},
  journal      = {{IEEE} Trans. Medical Imaging},
  volume       = {29},
  number       = {3},
  pages        = {852--867},
  year         = {2010}
}

@article{DBLP:journals/tmi/DzyubachykCENM10a,
  author       = {Oleh Dzyubachyk and
                  Wiggert A. van Cappellen and
                  Jeroen Essers and
                  Wiro J. Niessen and
                  Erik Meijering},
  title        = {Correction to "Advanced Level-Set-Based Cell Tracking in Time-Lapse
                  Fluorescence Microscopy"},
  journal      = {{IEEE} Trans. Medical Imaging},
  volume       = {29},
  number       = {6},
  pages        = {1331},
  year         = {2010}
}

@inproceedings{DBLP:conf/isbi/DzyubachykCENM09,
  author       = {Oleh Dzyubachyk and
                  Wiggert A. van Cappellen and
                  Jeroen Essers and
                  Wiro J. Niessen and
                  Erik Meijering},
  title        = {Energy Minimization Methods for Cell Motion Correction and Intracellular
                  Analysis in Live-Cell Fluorescence Microscopy},
  booktitle    = {{ISBI}},
  pages        = {1127--1130},
  publisher    = {{IEEE}},
  year         = {2009}
}