Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Jeroen Meijer"
download as .bib file
@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 = {Sat, 19 Oct 2019 19:59:07 +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 = {Mon, 02 Mar 2020 00:00:00 +0100},
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 = {Thu, 18 Jun 2020 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 = {Thu, 18 Jun 2020 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 = {Wed, 04 Oct 2023 17:01:25 +0200},
biburl = {https://dblp.org/rec/conf/isbi/DzyubachykCENM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-28 02:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
