default search action
Search dblp for Publications
export results for "Jeroen Meijer"
@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}, url = {https://doi.org/10.1038/s41746-024-01144-2}, doi = {10.1038/S41746-024-01144-2}, timestamp = {Thu, 22 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/npjdm/DaalenBPMHVMMMDEB24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/ACCESS.2023.3337049}, doi = {10.1109/ACCESS.2023.3337049}, timestamp = {Sun, 31 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/DekkerTMBLA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://aisel.aisnet.org/cais/vol52/iss1/23}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cais/CameronLLLMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10676-022-09637-y}, doi = {10.1007/S10676-022-09637-Y}, timestamp = {Fri, 13 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ethicsit/LamersMJB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s11334-019-00342-6}, doi = {10.1007/S11334-019-00342-6}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isse/MeijerP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen}, title = {Presentation of the 9th Edition of the Model Checking Contest}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {11429}, pages = {50--68}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-17502-3\_4}, doi = {10.1007/978-3-030-17502-3\_4}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/AmparoreBCDGHHJ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/DijkMP19, author = {Tom van Dijk and Jeroen Meijer and Jaco van de Pol}, editor = {Tom{\'{a}}s Vojnar and Lijun Zhang}, title = {Multi-core On-The-Fly Saturation}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, {TACAS} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {11428}, pages = {58--75}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-17465-1\_4}, doi = {10.1007/978-3-030-17465-1\_4}, timestamp = {Fri, 31 Jan 2020 21:32:25 +0100}, biburl = {https://dblp.org/rec/conf/tacas/DijkMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/978-3-662-58381-4\_9}, doi = {10.1007/978-3-662-58381-4\_9}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/PolM97, author = {Jaco van de Pol and Jeroen Meijer}, editor = {Tiziana Margaria and Susanne Graf and Kim G. Larsen}, title = {Synchronous or Alternating? - {LTL} Black-Box Checking of Mealy Machines by Combining the LearnLib and LTSmin}, booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11200}, pages = {417--430}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-22348-9\_24}, doi = {10.1007/978-3-030-22348-9\_24}, timestamp = {Tue, 26 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/PolM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmics/HuistraMP18, author = {David Huistra and Jeroen Meijer and Jaco van de Pol}, editor = {Falk Howar and Jiri Barnat}, title = {Adaptive Learning for Learn-Based Regression Testing}, booktitle = {Formal Methods for Industrial Critical Systems - 23rd International Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11119}, pages = {162--177}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-00244-2\_11}, doi = {10.1007/978-3-030-00244-2\_11}, timestamp = {Sat, 19 Oct 2019 20:28:59 +0200}, biburl = {https://dblp.org/rec/conf/fmics/HuistraMP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {2018 {IEEE} International Conference on Robotics and Automation, {ICRA} 2018, Brisbane, Australia, May 21-25, 2018}, pages = {699--705}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICRA.2018.8460201}, doi = {10.1109/ICRA.2018.8460201}, timestamp = {Thu, 06 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icra/BarrettRMMJMCMC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/KornerLM18, author = {Philipp K{\"{o}}rner and Michael Leuschel and Jeroen Meijer}, editor = {Carlo A. Furia and Kirsten Winter}, title = {State-of-the-Art Model Checking for {B} and Event-B Using ProB and LTSmin}, booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11023}, pages = {275--295}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98938-9\_16}, doi = {10.1007/978-3-319-98938-9\_16}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifm/KornerLM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/MeijerP18, author = {Jeroen Meijer and Jaco van de Pol}, editor = {Aaron Dutle and C{\'{e}}sar A. Mu{\~{n}}oz and Anthony Narkawicz}, title = {Sound Black-Box Checking in the LearnLib}, booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10811}, pages = {349--366}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-77935-5\_24}, doi = {10.1007/978-3-319-77935-5\_24}, timestamp = {Sat, 25 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nfm/MeijerP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {17th International Conference on Application of Concurrency to System Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017}, pages = {1--8}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ACSD.2017.24}, doi = {10.1109/ACSD.2017.24}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/SteffenJMP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Hakan Erdogmus and Klaus Havelund}, title = {The {RERS} 2017 challenge and workshop (invited paper)}, booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017}, pages = {11--20}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3092282.3098206}, doi = {10.1145/3092282.3098206}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spin/JasperFSSMPHS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.12688/f1000research.12168.1}, doi = {10.12688/F1000RESEARCH.12168.1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/f1000research/ZhangBSSEHSHRPB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Erika {\'{A}}brah{\'{a}}m and Marieke Huisman}, title = {Symbolic Reachability Analysis of {B} Through ProB and LTSmin}, booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9681}, pages = {275--291}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-33693-0\_18}, doi = {10.1007/978-3-319-33693-0\_18}, timestamp = {Fri, 09 Apr 2021 18:43:38 +0200}, biburl = {https://dblp.org/rec/conf/ifm/BendispostoKLMP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/MeijerP16, author = {Jeroen Meijer and Jaco van de Pol}, editor = {Sanjai Rayadurgam and Oksana Tkachuk}, title = {Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis}, booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9690}, pages = {255--271}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40648-0\_20}, doi = {10.1007/978-3-319-40648-0\_20}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/MeijerP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1603.04401}, eprinttype = {arXiv}, eprint = {1603.04401}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BendispostoKLMP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1186/2043-9113-5-S1-S9}, doi = {10.1186/2043-9113-5-S1-S9}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jclinbioinf/BierkensLBWFABB15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1186/2043-9113-5-S1-S2}, doi = {10.1186/2043-9113-5-S1-S2}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jclinbioinf/CavelaarsRPRVRV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Christel Baier and Cesare Tinelli}, title = {LTSmin: High-Performance Language-Independent Model Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9035}, pages = {692--707}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_61}, doi = {10.1007/978-3-662-46681-0\_61}, timestamp = {Sat, 30 Sep 2023 09:57:43 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KantLMPBD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1511.08678}, eprinttype = {arXiv}, eprint = {1511.08678}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MeijerP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/MeijerKBP14, author = {Jeroen Meijer and Gijs Kant and Stefan Blom and Jaco van de Pol}, editor = {Eran Yahav}, title = {Read, Write and Copy Dependencies for Symbolic Model Checking}, booktitle = {Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8855}, pages = {204--219}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13338-6\_16}, doi = {10.1007/978-3-319-13338-6\_16}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hvc/MeijerKBP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wise/KnijffMFH11, author = {Jeroen de Knijff and Kevin Meijer and Flavius Frasincar and Frederik Hogenboom}, editor = {Athman Bouguettaya and Manfred Hauswirth and Ling Liu}, title = {Word Sense Disambiguation for Automatic Taxonomy Construction from Text-Based Web Corpora}, booktitle = {Web Information System Engineering - {WISE} 2011 - 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6997}, pages = {241--248}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24434-6\_18}, doi = {10.1007/978-3-642-24434-6\_18}, timestamp = {Wed, 07 Aug 2024 10:36:18 +0200}, biburl = {https://dblp.org/rec/conf/wise/KnijffMFH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1093/bioinformatics/btq434}, doi = {10.1093/BIOINFORMATICS/BTQ434}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/bioinformatics/DzyubachykECBINM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TMI.2009.2038693}, doi = {10.1109/TMI.2009.2038693}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tmi/DzyubachykCENM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TMI.2010.2049183}, doi = {10.1109/TMI.2010.2049183}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tmi/DzyubachykCENM10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Proceedings of the 2009 {IEEE} International Symposium on Biomedical Imaging: From Nano to Macro, Boston, MA, USA, June 28 - July 1, 2009}, pages = {1127--1130}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ISBI.2009.5193255}, doi = {10.1109/ISBI.2009.5193255}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isbi/DzyubachykCENM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.