Search dblp for Publications

export results for "P. A. Finke"

 download as .bib file

@article{DBLP:journals/compsec/HamadFKRMPS24,
  author       = {Mohammad Hamad and
                  Andreas Finkenzeller and
                  Michael K{\"{u}}hr and
                  Andrew Roberts and
                  Olaf Maennel and
                  Vassilis Prevelakis and
                  Sebastian Steinhorst},
  title        = {{REACT:} Autonomous intrusion response system for intelligent vehicles},
  journal      = {Comput. Secur.},
  volume       = {145},
  pages        = {104008},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.cose.2024.104008},
  doi          = {10.1016/J.COSE.2024.104008},
  timestamp    = {Sun, 08 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/HamadFKRMPS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/FinkelsteinLCMSZ24,
  author       = {Alan J. Finkelstein and
                  Congyu Liao and
                  Xiaozhi Cao and
                  Merry Mani and
                  Giovanni Schifitto and
                  Jianhui Zhong},
  title        = {High-fidelity intravoxel incoherent motion parameter mapping using
                  locally low-rank and subspace modeling},
  journal      = {NeuroImage},
  volume       = {292},
  pages        = {120601},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.neuroimage.2024.120601},
  doi          = {10.1016/J.NEUROIMAGE.2024.120601},
  timestamp    = {Fri, 31 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/neuroimage/FinkelsteinLCMSZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vcomm/PetrovFPBZGT24,
  author       = {Tibor Petrov and
                  Ilya Finkelberg and
                  Peter Pocta and
                  Lubos Buzna and
                  Nina Zarkhin and
                  Ayelet Gal{-}Tzur and
                  Tomer Toledo},
  title        = {An analytical approach to the estimation of vehicular communication
                  reliability for intersection control applications},
  journal      = {Veh. Commun.},
  volume       = {45},
  pages        = {100693},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.vehcom.2023.100693},
  doi          = {10.1016/J.VEHCOM.2023.100693},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vcomm/PetrovFPBZGT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/ManochaWF24,
  author       = {Pranay Manocha and
                  Donald Williamson and
                  Adam Finkelstein},
  title        = {Corn: Co-Trained Full- and No-Reference Speech Quality Assessment},
  booktitle    = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
                  {ICASSP} 2024, Seoul, Republic of Korea, April 14-19, 2024},
  pages        = {376--380},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/ICASSP48485.2024.10447687},
  doi          = {10.1109/ICASSP48485.2024.10447687},
  timestamp    = {Mon, 05 Aug 2024 15:26:37 +0200},
  biburl       = {https://dblp.org/rec/conf/icassp/ManochaWF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BlondinFHMO24,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Piotr Hofman and
                  Filip Mazowiecki and
                  Philip Offtermatt},
  editor       = {Pawel Sobocinski and
                  Ugo Dal Lago and
                  Javier Esparza},
  title        = {Soundness of reset workflow nets},
  booktitle    = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
                  Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
  pages        = {13:1--13:14},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3661814.3662086},
  doi          = {10.1145/3661814.3662086},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/BlondinFHMO24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-04792,
  author       = {Mohammad Hamad and
                  Andreas Finkenzeller and
                  Michael K{\"{u}}hr and
                  Andrew Roberts and
                  Olaf Maennel and
                  Vassilis Prevelakis and
                  Sebastian Steinhorst},
  title        = {{REACT:} Autonomous Intrusion Response System for Intelligent Vehicles},
  journal      = {CoRR},
  volume       = {abs/2401.04792},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.04792},
  doi          = {10.48550/ARXIV.2401.04792},
  eprinttype    = {arXiv},
  eprint       = {2401.04792},
  timestamp    = {Wed, 24 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-04792.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-12927,
  author       = {Nicolas Richet and
                  Soufiane Belharbi and
                  Haseeb Aslam and
                  Meike Emilie Schadt and
                  Manuela Gonz{\'{a}}lez{-}Gonz{\'{a}}lez and
                  Gustave Cortal and
                  Alessandro Lameiras Koerich and
                  Marco Pedersoli and
                  Alain Finkel and
                  Simon Bacon and
                  Eric Granger},
  title        = {Textualized and Feature-based Models for Compound Multimodal Emotion
                  Recognition in the Wild},
  journal      = {CoRR},
  volume       = {abs/2407.12927},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2407.12927},
  doi          = {10.48550/ARXIV.2407.12927},
  eprinttype    = {arXiv},
  eprint       = {2407.12927},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2407-12927.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/HamadFLLPS23,
  author       = {Mohammad Hamad and
                  Andreas Finkenzeller and
                  Hangmao Liu and
                  Jan Lauinger and
                  Vassilis Prevelakis and
                  Sebastian Steinhorst},
  title        = {{SEEMQTT:} Secure End-to-End MQTT-Based Communication for Mobile IoT
                  Systems Using Secret Sharing and Trust Delegation},
  journal      = {{IEEE} Internet Things J.},
  volume       = {10},
  number       = {4},
  pages        = {3384--3406},
  year         = {2023},
  url          = {https://doi.org/10.1109/JIOT.2022.3221857},
  doi          = {10.1109/JIOT.2022.3221857},
  timestamp    = {Mon, 30 Oct 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iotj/HamadFLLPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vr/GolzFKHBSDR23,
  author       = {Milena S. G{\"{o}}lz and
                  Lisa Finkel and
                  Rebecca Kehlbeck and
                  Anne Herschbach and
                  Isabel Bauer and
                  Jean P. P. Scheib and
                  Oliver Deussen and
                  Jennifer Randerath},
  title        = {From virtual to physical environments when judging action opportunities:
                  are diagnostics and trainings transferable?},
  journal      = {Virtual Real.},
  volume       = {27},
  number       = {3},
  pages        = {1697--1715},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10055-023-00765-4},
  doi          = {10.1007/S10055-023-00765-4},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vr/GolzFKHBSDR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/YoffeBDRPFS23,
  author       = {Gideon Yoffe and
                  Axel B{\"{u}}hler and
                  Nachum Dershowitz and
                  Thomas R{\"{o}}mer and
                  Eli Piasetzky and
                  Israel Finkelstein and
                  Barak Sober},
  editor       = {Anna Rogers and
                  Jordan L. Boyd{-}Graber and
                  Naoaki Okazaki},
  title        = {A Statistical Exploration of Text Partition Into Constituents: The
                  Case of the Priestly Source in the Books of Genesis and Exodus},
  booktitle    = {Findings of the Association for Computational Linguistics: {ACL} 2023,
                  Toronto, Canada, July 9-14, 2023},
  pages        = {1918--1940},
  publisher    = {Association for Computational Linguistics},
  year         = {2023},
  url          = {https://doi.org/10.18653/v1/2023.findings-acl.121},
  doi          = {10.18653/V1/2023.FINDINGS-ACL.121},
  timestamp    = {Thu, 10 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/YoffeBDRPFS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/CecchettiFGHFPD23,
  author       = {Gabriele Cecchetti and
                  Christoph Finkensiep and
                  Xinyi Guan and
                  Steffen A. Herff and
                  Anna Fiveash and
                  Claire Pelofi and
                  John E. Drury and
                  Martin A. Rohrmeier},
  editor       = {Micah B. Goldwater and
                  Florencia K. Anggoro and
                  Brett K. Hayes and
                  Desmond C. Ong},
  title        = {Music Cognition between Theory and Experiment},
  booktitle    = {Proceedings of the 45th Annual Meeting of the Cognitive Science Society,
                  CogSci 2023, Sydney, NSW, Australia, July 26-29, 2023},
  publisher    = {cognitivesciencesociety.org},
  year         = {2023},
  url          = {https://escholarship.org/uc/item/6j61p5b7},
  timestamp    = {Thu, 02 May 2024 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/cogsci/CecchettiFGHFPD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dihu/YoffeBRDPFS23,
  author       = {Gideon Yoffe and
                  Axel B{\"{u}}hler and
                  Thomas R{\"{o}}mer and
                  Nachum Dershowitz and
                  Eli Piasetzky and
                  Israel Finkelstein and
                  Barak Sober},
  editor       = {Anne Baillot and
                  Toma Tasovac and
                  Walter Scholger and
                  Georg Vogeler},
  title        = {A Statistical Exploration of the Hypothesized Partition of the Books
                  of Genesis and Exodus into Priestly and non-Priestly Components},
  booktitle    = {Annual International Conference of the Alliance of Digital Humanities
                  Organizations, {DH} 2022, Graz, Austria, July 10-14, 2023, Conference
                  Abstracts},
  year         = {2023},
  url          = {https://doi.org/10.5281/zenodo.8107816},
  doi          = {10.5281/ZENODO.8107816},
  timestamp    = {Wed, 02 Aug 2023 10:13:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dihu/YoffeBRDPFS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/CortalFPY23,
  author       = {Gustave Cortal and
                  Alain Finkel and
                  Patrick Paroubek and
                  Lina Ye},
  editor       = {Catherine Faron and
                  Sabine Loudcher},
  title        = {D{\'{e}}tection de l'{\'{e}}motion {\`{a}} partir de ses
                  composantes {\`{a}} l'aide d'un corpus de r{\'{e}}cits {\'{e}}motionnels},
  booktitle    = {Extraction et Gestion des Connaissances, {EGC} 2023, Lyon, France,
                  16 - 20 janvier 2023},
  series       = {{RNTI}},
  volume       = {{E-39}},
  pages        = {665--666},
  publisher    = {Editions {RNTI}},
  year         = {2023},
  url          = {http://editions-rnti.fr/?inprocid=1002888},
  timestamp    = {Wed, 08 Feb 2023 15:48:08 +0100},
  biburl       = {https://dblp.org/rec/conf/f-egc/CortalFPY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/GabrielPTF23,
  author       = {Aileen S. Gabriel and
                  Irena Parvanova and
                  Te{-}Yi Tsai and
                  Joseph Finkelstein},
  editor       = {Jen Bichel{-}Findlay and
                  Paula Otero and
                  Philip Scott and
                  Elaine Huesing},
  title        = {Assessing Patient Perspectives on Pulmonary Telerehabilitation Using
                  Thematic Analysis of Semi-Structured Qualitative Interviews},
  booktitle    = {{MEDINFO} 2023 - The Future Is Accessible - Proceedings of the 19th
                  World Congress on Medical and Health Informatics, Sydney, NSW, Australia,
                  8-12 July 2023},
  series       = {Studies in Health Technology and Informatics},
  volume       = {310},
  pages        = {1434--1435},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/SHTI231231},
  doi          = {10.3233/SHTI231231},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medinfo/GabrielPTF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/SmileyTHGZXLCPF23,
  author       = {Aref Smiley and
                  Te{-}Yi Tsai and
                  Ihor Havrylchuk and
                  Aileen Gabriel and
                  Elena Zakashansky and
                  Taulant Xhakli and
                  Jinyan Lyu and
                  Wanting Cui and
                  Irena Parvanova and
                  Joseph Finkelstein},
  editor       = {Jen Bichel{-}Findlay and
                  Paula Otero and
                  Philip Scott and
                  Elaine Huesing},
  title        = {Machine Learning Approaches for Exercise Exertion Level Classification
                  Using Data from Wearable Physiologic Monitors},
  booktitle    = {{MEDINFO} 2023 - The Future Is Accessible - Proceedings of the 19th
                  World Congress on Medical and Health Informatics, Sydney, NSW, Australia,
                  8-12 July 2023},
  series       = {Studies in Health Technology and Informatics},
  volume       = {310},
  pages        = {1428--1429},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/SHTI231228},
  doi          = {10.3233/SHTI231228},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medinfo/SmileyTHGZXLCPF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/FinkelsteinPH23,
  author       = {Joseph Finkelstein and
                  Irena Parvanova and
                  Xingyue Huo},
  editor       = {Maria H{\"{a}}gglund and
                  Madeleine Blusi and
                  Stefano Bonacina and
                  Lina Nilsson and
                  Inge Cort Madsen and
                  Sylvia Pelayo and
                  Anne Moen and
                  Arriel Benis and
                  Lars Lindsk{\"{o}}ld and
                  Parisis Gallos},
  title        = {Feasibility of a Virtual Reality App to Promote Pulmonary Rehabilitation},
  booktitle    = {Caring is Sharing - Exploiting the Value in Data for Health and Innovation
                  - Proceedings of {MIE} 2023, Gothenburg, Sweden, 22 - 25 May 2023},
  series       = {Studies in Health Technology and Informatics},
  volume       = {302},
  pages        = {458--462},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/SHTI230172},
  doi          = {10.3233/SHTI230172},
  timestamp    = {Sun, 04 Aug 2024 19:37:05 +0200},
  biburl       = {https://dblp.org/rec/conf/mie/FinkelsteinPH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/FinkelsteinPXTD23,
  author       = {Joseph Finkelstein and
                  Irena Parvanova and
                  Zhaopeng Xing and
                  Tuyet{-}Trinh Truong and
                  Andrew Dunn},
  editor       = {Maria H{\"{a}}gglund and
                  Madeleine Blusi and
                  Stefano Bonacina and
                  Lina Nilsson and
                  Inge Cort Madsen and
                  Sylvia Pelayo and
                  Anne Moen and
                  Arriel Benis and
                  Lars Lindsk{\"{o}}ld and
                  Parisis Gallos},
  title        = {Qualitative Assessment of Implementation of a Discharge Prediction
                  Tool Using {RE-AIM} Framework},
  booktitle    = {Caring is Sharing - Exploiting the Value in Data for Health and Innovation
                  - Proceedings of {MIE} 2023, Gothenburg, Sweden, 22 - 25 May 2023},
  series       = {Studies in Health Technology and Informatics},
  volume       = {302},
  pages        = {596--600},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/SHTI230212},
  doi          = {10.3233/SHTI230212},
  timestamp    = {Wed, 05 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mie/FinkelsteinPXTD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/GabrielPF23,
  author       = {Aileen S. Gabriel and
                  Irena Parvanova and
                  Joseph Finkelstein},
  editor       = {Maria H{\"{a}}gglund and
                  Madeleine Blusi and
                  Stefano Bonacina and
                  Lina Nilsson and
                  Inge Cort Madsen and
                  Sylvia Pelayo and
                  Anne Moen and
                  Arriel Benis and
                  Lars Lindsk{\"{o}}ld and
                  Parisis Gallos},
  title        = {Patient Perspectives on Long-Term Use of a Pulmonary Telerehabilitation
                  Platform: {A} Qualitative Analysis},
  booktitle    = {Caring is Sharing - Exploiting the Value in Data for Health and Innovation
                  - Proceedings of {MIE} 2023, Gothenburg, Sweden, 22 - 25 May 2023},
  series       = {Studies in Health Technology and Informatics},
  volume       = {302},
  pages        = {982--986},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/SHTI230322},
  doi          = {10.3233/SHTI230322},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mie/GabrielPF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/SmileyHTZGXCPCF23,
  author       = {Aref Smiley and
                  Ihor Havrylchuk and
                  Te{-}Yi Tsai and
                  Elena Zakashansky and
                  Aileen S. Gabriel and
                  Taulant Xhakli and
                  Wanting Cui and
                  Irena Parvanova and
                  Hu Cui and
                  Joseph Finkelstein},
  editor       = {Maria H{\"{a}}gglund and
                  Madeleine Blusi and
                  Stefano Bonacina and
                  Lina Nilsson and
                  Inge Cort Madsen and
                  Sylvia Pelayo and
                  Anne Moen and
                  Arriel Benis and
                  Lars Lindsk{\"{o}}ld and
                  Parisis Gallos},
  title        = {Automated Classification of Exercise Exertion Levels Based on Real-Time
                  Wearable Physiological Signal Monitoring},
  booktitle    = {Caring is Sharing - Exploiting the Value in Data for Health and Innovation
                  - Proceedings of {MIE} 2023, Gothenburg, Sweden, 22 - 25 May 2023},
  series       = {Studies in Health Technology and Informatics},
  volume       = {302},
  pages        = {1023--1024},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/SHTI230335},
  doi          = {10.3233/SHTI230335},
  timestamp    = {Thu, 06 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mie/SmileyHTZGXCPCF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/FereidooniKRCGF23,
  author       = {Hossein Fereidooni and
                  Jan K{\"{o}}nig and
                  Phillip Rieger and
                  Marco Chilese and
                  Bora G{\"{o}}kbakan and
                  Moritz Finke and
                  Alexandra Dmitrienko and
                  Ahmad{-}Reza Sadeghi},
  title        = {AuthentiSense: {A} Scalable Behavioral Biometrics Authentication Scheme
                  using Few-Shot Learning for Mobile Platforms},
  booktitle    = {30th Annual Network and Distributed System Security Symposium, {NDSS}
                  2023, San Diego, California, USA, February 27 - March 3, 2023},
  publisher    = {The Internet Society},
  year         = {2023},
  url          = {https://www.ndss-symposium.org/ndss-paper/authentisense-a-scalable-behavioral-biometrics-authentication-scheme-using-few-shot-learning-for-mobile-platforms/},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ndss/FereidooniKRCGF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmt/FernandesDFRMNG23,
  author       = {Patrick Fernandes and
                  Daniel Deutsch and
                  Mara Finkelstein and
                  Parker Riley and
                  Andr{\'{e}} Martins and
                  Graham Neubig and
                  Ankush Garg and
                  Jonathan H. Clark and
                  Markus Freitag and
                  Orhan Firat},
  editor       = {Philipp Koehn and
                  Barry Haddon and
                  Tom Kocmi and
                  Christof Monz},
  title        = {The Devil Is in the Errors: Leveraging Large Language Models for Fine-grained
                  Machine Translation Evaluation},
  booktitle    = {Proceedings of the Eighth Conference on Machine Translation, {WMT}
                  2023, Singapore, December 6-7, 2023},
  pages        = {1066--1083},
  publisher    = {Association for Computational Linguistics},
  year         = {2023},
  url          = {https://doi.org/10.18653/v1/2023.wmt-1.100},
  doi          = {10.18653/V1/2023.WMT-1.100},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wmt/FernandesDFRMNG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-02740,
  author       = {Hossein Fereidooni and
                  Jan K{\"{o}}nig and
                  Phillip Rieger and
                  Marco Chilese and
                  Bora G{\"{o}}kbakan and
                  Moritz Finke and
                  Alexandra Dmitrienko and
                  Ahmad{-}Reza Sadeghi},
  title        = {AuthentiSense: {A} Scalable Behavioral Biometrics Authentication Scheme
                  using Few-Shot Learning for Mobile Platforms},
  journal      = {CoRR},
  volume       = {abs/2302.02740},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.02740},
  doi          = {10.48550/ARXIV.2302.02740},
  eprinttype    = {arXiv},
  eprint       = {2302.02740},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-02740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02170,
  author       = {Gideon Yoffe and
                  Axel B{\"{u}}hler and
                  Nachum Dershowitz and
                  Israel Finkelstein and
                  Eli Piasetzky and
                  Thomas R{\"{o}}mer and
                  Barak Sober},
  title        = {A Statistical Exploration of Text Partition Into Constituents: The
                  Case of the Priestly Source in the Books of Genesis and Exodus},
  journal      = {CoRR},
  volume       = {abs/2305.02170},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.02170},
  doi          = {10.48550/ARXIV.2305.02170},
  eprinttype    = {arXiv},
  eprint       = {2305.02170},
  timestamp    = {Fri, 05 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-02170.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10446,
  author       = {Gustave Cortal and
                  Alain Finkel and
                  Patrick Paroubek and
                  Lina Ye},
  title        = {Emotion Recognition based on Psychological Components in Guided Narratives
                  for Emotion Regulation},
  journal      = {CoRR},
  volume       = {abs/2305.10446},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.10446},
  doi          = {10.48550/ARXIV.2305.10446},
  eprinttype    = {arXiv},
  eprint       = {2305.10446},
  timestamp    = {Wed, 24 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-10446.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07286,
  author       = {Patrick Fernandes and
                  Daniel Deutsch and
                  Mara Finkelstein and
                  Parker Riley and
                  Andr{\'{e}} F. T. Martins and
                  Graham Neubig and
                  Ankush Garg and
                  Jonathan H. Clark and
                  Markus Freitag and
                  Orhan Firat},
  title        = {The Devil is in the Errors: Leveraging Large Language Models for Fine-grained
                  Machine Translation Evaluation},
  journal      = {CoRR},
  volume       = {abs/2308.07286},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.07286},
  doi          = {10.48550/ARXIV.2308.07286},
  eprinttype    = {arXiv},
  eprint       = {2308.07286},
  timestamp    = {Wed, 23 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-07286.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09388,
  author       = {Pranay Manocha and
                  Donald Williamson and
                  Adam Finkelstein},
  title        = {{CORN:} Co-Trained Full-Reference And No-Reference Audio Metrics},
  journal      = {CoRR},
  volume       = {abs/2310.09388},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.09388},
  doi          = {10.48550/ARXIV.2310.09388},
  eprinttype    = {arXiv},
  eprint       = {2310.09388},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-09388.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aei/SaadallahFBMWR22,
  author       = {Amal Saadallah and
                  Felix Finkeldey and
                  Jens Bu{\ss} and
                  Katharina Morik and
                  Petra Wiederkehr and
                  Wolfgang Rhode},
  title        = {Simulation and sensor data fusion for machine learning application},
  journal      = {Adv. Eng. Informatics},
  volume       = {52},
  pages        = {101600},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.aei.2022.101600},
  doi          = {10.1016/J.AEI.2022.101600},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aei/SaadallahFBMWR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcc/LongBHWSF22,
  author       = {Danny K. Long and
                  Wolfgang Bangerth and
                  Derek R. Handwerk and
                  Christopher B. Whitehead and
                  Patrick D. Shipman and
                  Richard G. Finke},
  title        = {Estimating reaction parameters in mechanism-enabled population balance
                  models of nanoparticle size distributions: {A} Bayesian inverse problem
                  approach},
  journal      = {J. Comput. Chem.},
  volume       = {43},
  number       = {1},
  pages        = {43--56},
  year         = {2022},
  url          = {https://doi.org/10.1002/jcc.26770},
  doi          = {10.1002/JCC.26770},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcc/LongBHWSF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/FinkelmanFPT22,
  author       = {Tal Finkelman and
                  Edna Furman{-}Haran and
                  Rony Paz and
                  Assaf Tal},
  title        = {Quantifying the excitatory-inhibitory balance: {A} comparison of SemiLASER
                  and MEGA-SemiLASER for simultaneously measuring {GABA} and glutamate
                  at 7T},
  journal      = {NeuroImage},
  volume       = {247},
  pages        = {118810},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.neuroimage.2021.118810},
  doi          = {10.1016/J.NEUROIMAGE.2021.118810},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/neuroimage/FinkelmanFPT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/Ruiz-RizzoVDFMD22,
  author       = {Adriana L. Ruiz{-}Rizzo and
                  Raymond P. Viviano and
                  Ana M. Daugherty and
                  Kathrin Finke and
                  Hermann J. M{\"{u}}ller and
                  Jessica S. Damoiseaux},
  title        = {Subjective cognitive decline predicts lower cingulo-opercular network
                  functional connectivity in individuals with lower neurite density
                  in the forceps minor},
  journal      = {NeuroImage},
  volume       = {263},
  pages        = {119662},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.neuroimage.2022.119662},
  doi          = {10.1016/J.NEUROIMAGE.2022.119662},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/neuroimage/Ruiz-RizzoVDFMD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/FinkelbergPGZPK22,
  author       = {Ilya Finkelberg and
                  Tibor Petrov and
                  Ayelet Gal{-}Tzur and
                  Nina Zarkhin and
                  Peter Pocta and
                  Tatiana Kovacikova and
                  Lubos Buzna and
                  Milan Dado and
                  Tomer Toledo},
  title        = {The Effects of Vehicle-to-Infrastructure Communication Reliability
                  on Performance of Signalized Intersection Traffic Control},
  journal      = {{IEEE} Trans. Intell. Transp. Syst.},
  volume       = {23},
  number       = {9},
  pages        = {15450--15461},
  year         = {2022},
  url          = {https://doi.org/10.1109/TITS.2022.3140767},
  doi          = {10.1109/TITS.2022.3140767},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tits/FinkelbergPGZPK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/ParvanovaBPF22,
  author       = {Irena Parvanova and
                  Kirill Borziak and
                  Anar Plotnikov and
                  Joseph Finkelstein},
  title        = {A Web-based Platform to Share Harmonized Results from {COVID-19} Clinical
                  Studies},
  booktitle    = {{AMIA} 2022, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 5-9, 2022},
  publisher    = {{AMIA}},
  year         = {2022},
  url          = {https://knowledge.amia.org/76677-amia-1.4637602/f006-1.4642154/f006-1.4642155/1144-1.4642291/761-1.4642288},
  timestamp    = {Wed, 17 Apr 2024 11:46:45 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/ParvanovaBPF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/ManochaJF22,
  author       = {Pranay Manocha and
                  Zeyu Jin and
                  Adam Finkelstein},
  title        = {{SQAPP:} No-Reference Speech Quality Assessment Via Pairwise Preference},
  booktitle    = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
                  {ICASSP} 2022, Virtual and Singapore, 23-27 May 2022},
  pages        = {891--895},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICASSP43922.2022.9746615},
  doi          = {10.1109/ICASSP43922.2022.9746615},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icassp/ManochaJF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/FinkelsteinZCCJ22,
  author       = {Lev Finkelstein and
                  Heiga Zen and
                  Norman Casagrande and
                  Chun{-}an Chan and
                  Ye Jia and
                  Tom Kenter and
                  Alexey Petelin and
                  Jonathan Shen and
                  Vincent Wan and
                  Yu Zhang and
                  Yonghui Wu and
                  Rob Clark},
  editor       = {Hanseok Ko and
                  John H. L. Hansen},
  title        = {Training Text-To-Speech Systems From Synthetic Data: {A} Practical
                  Approach For Accent Transfer Tasks},
  booktitle    = {23rd Annual Conference of the International Speech Communication Association,
                  Interspeech 2022, Incheon, Korea, September 18-22, 2022},
  pages        = {4571--4575},
  publisher    = {{ISCA}},
  year         = {2022},
  url          = {https://doi.org/10.21437/Interspeech.2022-10115},
  doi          = {10.21437/INTERSPEECH.2022-10115},
  timestamp    = {Tue, 11 Jun 2024 16:45:43 +0200},
  biburl       = {https://dblp.org/rec/conf/interspeech/FinkelsteinZCCJ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/ManochaJF22,
  author       = {Pranay Manocha and
                  Zeyu Jin and
                  Adam Finkelstein},
  editor       = {Hanseok Ko and
                  John H. L. Hansen},
  title        = {Audio Similarity is Unreliable as a Proxy for Audio Quality},
  booktitle    = {23rd Annual Conference of the International Speech Communication Association,
                  Interspeech 2022, Incheon, Korea, September 18-22, 2022},
  pages        = {3553--3557},
  publisher    = {{ISCA}},
  year         = {2022},
  url          = {https://doi.org/10.21437/Interspeech.2022-405},
  doi          = {10.21437/INTERSPEECH.2022-405},
  timestamp    = {Wed, 21 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/interspeech/ManochaJF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/degruyter/22/WiederkehrMSF22,
  author       = {Petra Wiederkehr and
                  Katharina Morik and
                  Amal Saadallah and
                  Felix Finkeldey},
  editor       = {Katharina Morik and
                  J{\"{o}}rg Rahnenf{\"{u}}hrer and
                  Christian Wietfeld},
  title        = {Simulation and Machine Learning},
  booktitle    = {Machine Learning under Resource Constraints - Volume 3: Applications},
  series       = {De Gruyter {STEM}},
  pages        = {157--179},
  publisher    = {De Gruyter},
  year         = {2022},
  url          = {https://doi.org/10.1515/9783110785982-017},
  doi          = {10.1515/9783110785982-017},
  timestamp    = {Tue, 07 May 2024 19:59:15 +0200},
  biburl       = {https://dblp.org/rec/books/degruyter/22/WiederkehrMSF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13411,
  author       = {Pranay Manocha and
                  Zeyu Jin and
                  Adam Finkelstein},
  title        = {Audio Similarity is Unreliable as a Proxy for Audio Quality},
  journal      = {CoRR},
  volume       = {abs/2206.13411},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.13411},
  doi          = {10.48550/ARXIV.2206.13411},
  eprinttype    = {arXiv},
  eprint       = {2206.13411},
  timestamp    = {Tue, 05 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-13411.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-13183,
  author       = {Lev Finkelstein and
                  Heiga Zen and
                  Norman Casagrande and
                  Chun{-}an Chan and
                  Ye Jia and
                  Tom Kenter and
                  Alexey Petelin and
                  Jonathan Shen and
                  Vincent Wan and
                  Yu Zhang and
                  Yonghui Wu and
                  Rob Clark},
  title        = {Training Text-To-Speech Systems From Synthetic Data: {A} Practical
                  Approach For Accent Transfer Tasks},
  journal      = {CoRR},
  volume       = {abs/2208.13183},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.13183},
  doi          = {10.48550/ARXIV.2208.13183},
  eprinttype    = {arXiv},
  eprint       = {2208.13183},
  timestamp    = {Wed, 25 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-13183.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-05296,
  author       = {Gustave Cortal and
                  Alain Finkel and
                  Patrick Paroubek and
                  Lina Ye},
  title        = {Natural Language Processing for Cognitive Analysis of Emotions},
  journal      = {CoRR},
  volume       = {abs/2210.05296},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.05296},
  doi          = {10.48550/ARXIV.2210.05296},
  eprinttype    = {arXiv},
  eprint       = {2210.05296},
  timestamp    = {Thu, 13 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-05296.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biodb/BorziakPF21,
  author       = {Kirill Borziak and
                  Irena Parvanova and
                  Joseph Finkelstein},
  title        = {ReMeDy: a platform for integrating and sharing published stem cell
                  research data with a focus on iPSC trials},
  journal      = {Database J. Biol. Databases Curation},
  volume       = {2021},
  year         = {2021},
  url          = {https://doi.org/10.1093/database/baab038},
  doi          = {10.1093/DATABASE/BAAB038},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/biodb/BorziakPF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cp/GanglmayerHFP21,
  author       = {Kerstin Ganglmayer and
                  Marleen Haupt and
                  Kathrin Finke and
                  Markus Paulus},
  title        = {Adults, but not preschoolers or toddlers integrate situational constraints
                  in their action anticipations: a developmental study on the flexibility
                  of anticipatory gaze},
  journal      = {Cogn. Process.},
  volume       = {22},
  number       = {3},
  pages        = {515--528},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10339-021-01015-8},
  doi          = {10.1007/S10339-021-01015-8},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cp/GanglmayerHFP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BlondinEFGHLMT21,
  author       = {Michael Blondin and
                  Matthias Englert and
                  Alain Finkel and
                  Stefan G{\"{o}}ller and
                  Christoph Haase and
                  Ranko Lazic and
                  Pierre McKenzie and
                  Patrick Totzke},
  title        = {The Reachability Problem for Two-Dimensional Vector Addition Systems
                  with States},
  journal      = {J. {ACM}},
  volume       = {68},
  number       = {5},
  pages        = {34:1--34:43},
  year         = {2021},
  url          = {https://doi.org/10.1145/3464794},
  doi          = {10.1145/3464794},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BlondinEFGHLMT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossw/AndradeSABCCJDD21,
  author       = {Tomas Andrade and
                  Llibert Salo and
                  Josu C. Aurrekoetxea and
                  Jamie Bamber and
                  Katy Clough and
                  Robin Croft and
                  Eloy de Jong and
                  Amelia Drew and
                  Alejandro Duran and
                  Pedro Ferreira and
                  Pau Figueras and
                  Hal Finkel and
                  Tiago Frana and
                  Bo{-}Xuan Ge and
                  Chenxia Gu and
                  Thomas Helfer and
                  Juha J{\"{a}}ykk{\"{a}} and
                  Cristian Joana and
                  Markus Kunesch and
                  Kacper Kornet and
                  Eugene Lim and
                  Francesco Muia and
                  Zainab Nazari and
                  Miren Radia and
                  Justin Ripley and
                  Paul Shellard and
                  Ulrich Sperhake and
                  Dina Traykova and
                  Saran Tunyasuvunakool and
                  Zipeng Wang and
                  James Widdicombe and
                  Kaze Wong},
  title        = {GRChombo: An adaptable numerical relativity code for fundamental physics},
  journal      = {J. Open Source Softw.},
  volume       = {6},
  number       = {68},
  pages        = {3703},
  year         = {2021},
  url          = {https://doi.org/10.21105/joss.03703},
  doi          = {10.21105/JOSS.03703},
  timestamp    = {Wed, 03 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jossw/AndradeSABCCJDD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/HinchPNKWHLCZSF21,
  author       = {Robert Hinch and
                  William J. M. Probert and
                  Anel Nurtay and
                  Michelle Kendall and
                  Chris Wymant and
                  Matthew Hall and
                  Katrina A. Lythgoe and
                  Ana Bulas Cruz and
                  Lele Zhao and
                  Andrea Stewart and
                  Luca Ferretti and
                  Daniel Montero and
                  James Warren and
                  Nicole Mather and
                  Matthew Abueg and
                  Neo Wu and
                  Olivier Legat and
                  Katie Bentley and
                  Thomas Mead and
                  Kelvin Van{-}Vuuren and
                  Dylan Feldner{-}Busztin and
                  Tommaso Ristori and
                  Anthony Finkelstein and
                  David G. Bonsall and
                  Lucie Abeler{-}D{\"{o}}rner and
                  Christophe Fraser},
  title        = {OpenABM-Covid19 - An agent-based model for non-pharmaceutical interventions
                  against {COVID-19} including contact tracing},
  journal      = {PLoS Comput. Biol.},
  volume       = {17},
  number       = {7},
  year         = {2021},
  url          = {https://doi.org/10.1371/journal.pcbi.1009146},
  doi          = {10.1371/JOURNAL.PCBI.1009146},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ploscb/HinchPNKWHLCZSF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/BorziakPF21,
  author       = {Kirill Borziak and
                  Irena Parvanova and
                  Joseph Finkelstein},
  title        = {A comprehensive platform for induced pluripotent stem cell research
                  data},
  booktitle    = {{AMIA} 2021, American Medical Informatics Association Annual Symposium,
                  San Diego, CA, USA, October 30, 2021 - November 3, 2021},
  publisher    = {{AMIA}},
  year         = {2021},
  url          = {https://knowledge.amia.org/74229-amia-1.4622266/t005-1.4625076/t005-1.4625077/3575205-1.4625900/3577136-1.4625897},
  timestamp    = {Wed, 17 Apr 2024 11:46:53 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/BorziakPF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/ParvanovaBGF21,
  author       = {Irena Parvanova and
                  Kirill Borziak and
                  Jennifer Guarino and
                  Joseph Finkelstein},
  title        = {A Platform for Integrating and Sharing Cancer Stem Cell Data},
  booktitle    = {43rd Annual International Conference of the {IEEE} Engineering in
                  Medicine {\&} Biology Society, {EMBC} 2021, Mexico, November 1-5,
                  2021},
  pages        = {2320--2325},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/EMBC46164.2021.9630083},
  doi          = {10.1109/EMBC46164.2021.9630083},
  timestamp    = {Wed, 22 Dec 2021 13:55:55 +0100},
  biburl       = {https://dblp.org/rec/conf/embc/ParvanovaBGF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/ManochaJZF21,
  author       = {Pranay Manocha and
                  Zeyu Jin and
                  Richard Zhang and
                  Adam Finkelstein},
  title        = {{CDPAM:} Contrastive Learning for Perceptual Audio Similarity},
  booktitle    = {{IEEE} International Conference on Acoustics, Speech and Signal Processing,
                  {ICASSP} 2021, Toronto, ON, Canada, June 6-11, 2021},
  pages        = {196--200},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICASSP39728.2021.9413711},
  doi          = {10.1109/ICASSP39728.2021.9413711},
  timestamp    = {Fri, 12 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icassp/ManochaJZF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icimth/FinkelsteinHPG21,
  author       = {Joseph Finkelstein and
                  Xingyue Huo and
                  Irena Parvanova and
                  Matthew Galsky},
  editor       = {John Mantas and
                  Arie Hasman and
                  Mowafa Said Househ and
                  Parisis Gallos and
                  Emmanouil Zoulias and
                  Joseph Liaskos},
  title        = {Usability Inspection of a Mobile Cancer Telerehabilitation System},
  booktitle    = {Informatics and Technology in Clinical Care and Public Health, {ICIMTH}
                  2021, 19th International Conference on Informatics, Management and
                  Technology in Healthcare, Athens, Greece, 16-17 October 2021},
  series       = {Studies in Health Technology and Informatics},
  volume       = {289},
  pages        = {405--409},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/SHTI210944},
  doi          = {10.3233/SHTI210944},
  timestamp    = {Wed, 05 Jul 2023 13:59:34 +0200},
  biburl       = {https://dblp.org/rec/conf/icimth/FinkelsteinHPG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/GuarinoPF21,
  author       = {Jennifer Guarino and
                  Irena Parvanova and
                  Joseph Finkelstein},
  editor       = {Paula Otero and
                  Philip Scott and
                  Susan Z. Martin and
                  Elaine Huesing},
  title        = {Characteristics of Electronic Informed Consent Platforms for Consenting
                  Patients to Research Studies: {A} Scoping Review},
  booktitle    = {{MEDINFO} 2021: One World, One Health - Global Partnership for Digital
                  Innovation - Proceedings of the 18th World Congress on Medical and
                  Health Informatics, Virtual Event, 2-4 October 2021},
  series       = {Studies in Health Technology and Informatics},
  volume       = {290},
  pages        = {777--781},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/SHTI220184},
  doi          = {10.3233/SHTI220184},
  timestamp    = {Wed, 15 Jun 2022 15:51:15 +0200},
  biburl       = {https://dblp.org/rec/conf/medinfo/GuarinoPF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medinfo/RoccoF21,
  author       = {Patricia Rocco and
                  Joseph Finkelstein},
  editor       = {Paula Otero and
                  Philip Scott and
                  Susan Z. Martin and
                  Elaine Huesing},
  title        = {Telerehabilitation for Patients with Cancer: {A} Scoping Review},
  booktitle    = {{MEDINFO} 2021: One World, One Health - Global Partnership for Digital
                  Innovation - Proceedings of the 18th World Congress on Medical and
                  Health Informatics, Virtual Event, 2-4 October 2021},
  series       = {Studies in Health Technology and Informatics},
  volume       = {290},
  pages        = {543--546},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/SHTI220136},
  doi          = {10.3233/SHTI220136},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/medinfo/RoccoF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/BorziakPF21,
  author       = {Kirill Borziak and
                  Irena Parvanova and
                  Joseph Finkelstein},
  editor       = {John Mantas and
                  Lacramioara Stoicu{-}Tivadar and
                  Catherine E. Chronaki and
                  Arie Hasman and
                  Patrick Weber and
                  Parisis Gallos and
                  Mihaela Marcella Vida and
                  Emmanouil Zoulias and
                  Oana Sorina Chirila},
  title        = {Introducing a Platform for Integrating and Sharing Stem Cell Research
                  Data},
  booktitle    = {Public Health and Informatics - Proceedings of {MIE} 2021, Medical
                  Informatics Europe, Virtual Event, May 29-31, 2021},
  series       = {Studies in Health Technology and Informatics},
  volume       = {281},
  pages        = {387--391},
  publisher    = {{IOS} Press},
  year         = {2021},
  url          = {https://doi.org/10.3233/SHTI210186},
  doi          = {10.3233/SHTI210186},
  timestamp    = {Fri, 30 Jul 2021 13:59:35 +0200},
  biburl       = {https://dblp.org/rec/conf/mie/BorziakPF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-05109,
  author       = {Pranay Manocha and
                  Zeyu Jin and
                  Richard Zhang and
                  Adam Finkelstein},
  title        = {{CDPAM:} Contrastive learning for perceptual audio similarity},
  journal      = {CoRR},
  volume       = {abs/2102.05109},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.05109},
  eprinttype    = {arXiv},
  eprint       = {2102.05109},
  timestamp    = {Fri, 12 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-05109.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-05285,
  author       = {Ilya Finkelberg and
                  Tibor Petrov and
                  Ayelet Gal{-}Tzur and
                  Nina Zarkhin and
                  Peter Pocta and
                  Tatiana Kovacikova and
                  Lubos Buzna and
                  Milan Dado and
                  Tomer Toledo},
  title        = {The Effects of Vehicle-to-Infrastructure Communication Reliability
                  on Performance of Signalized Intersection Traffic Control},
  journal      = {CoRR},
  volume       = {abs/2110.05285},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.05285},
  eprinttype    = {arXiv},
  eprint       = {2110.05285},
  timestamp    = {Thu, 21 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-05285.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/artmed/FernandesVLPFS20,
  author       = {Marta P. B. Fernandes and
                  Susana M. Vieira and
                  Francisca Pais Leite and
                  Carlos Palos and
                  Stan N. Finkelstein and
                  Jo{\~{a}}o M. C. Sousa},
  title        = {Clinical Decision Support Systems for Triage in the Emergency Department
                  using Intelligent Systems: a Review},
  journal      = {Artif. Intell. Medicine},
  volume       = {102},
  pages        = {101762},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.artmed.2019.101762},
  doi          = {10.1016/J.ARTMED.2019.101762},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/artmed/FernandesVLPFS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/FinkeldeySWM20,
  author       = {Felix Finkeldey and
                  Amal Saadallah and
                  Petra Wiederkehr and
                  Katharina Morik},
  title        = {Real-time prediction of process forces in milling operations using
                  synchronized data fusion of simulation and sensor data},
  journal      = {Eng. Appl. Artif. Intell.},
  volume       = {94},
  pages        = {103753},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.engappai.2020.103753},
  doi          = {10.1016/J.ENGAPPAI.2020.103753},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eaai/FinkeldeySWM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esi/FinkelBWORLSSHS20,
  author       = {Michael Finkel and
                  Albrecht Baur and
                  Tobias K. D. Weber and
                  Karsten Osenbr{\"{u}}ck and
                  Hermann R{\"{u}}gner and
                  Carsten Leven and
                  Marc Schwientek and
                  Johanna Schl{\"{o}}gl and
                  Ulrich Hahn and
                  Thilo Streck and
                  Olaf A. Cirpka and
                  Thomas Walter and
                  Peter Grathwohl},
  title        = {Managing collaborative research data for integrated, interdisciplinary
                  environmental research},
  journal      = {Earth Sci. Informatics},
  volume       = {13},
  number       = {3},
  pages        = {641--654},
  year         = {2020},
  url          = {https://doi.org/10.1007/s12145-020-00441-0},
  doi          = {10.1007/S12145-020-00441-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/esi/FinkelBWORLSSHS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FinkelP20,
  author       = {Alain Finkel and
                  M. Praveen},
  title        = {Verification of Flat {FIFO} Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {4},
  year         = {2020},
  url          = {https://lmcs.episciences.org/6839},
  timestamp    = {Wed, 28 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/FinkelP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/Ruiz-RizzoBFMZP20,
  author       = {Adriana L. Ruiz{-}Rizzo and
                  Florian Beissner and
                  Kathrin Finke and
                  Hermann J. M{\"{u}}ller and
                  Claus Zimmer and
                  Lorenzo Pasquini and
                  Christian Sorg},
  title        = {Human subsystems of medial temporal lobes extend locally to amygdala
                  nuclei and globally to an allostatic-interoceptive system},
  journal      = {NeuroImage},
  volume       = {207},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.neuroimage.2019.116404},
  doi          = {10.1016/J.NEUROIMAGE.2019.116404},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/neuroimage/Ruiz-RizzoBFMZP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/ManochaFZBMJ20,
  author       = {Pranay Manocha and
                  Adam Finkelstein and
                  Richard Zhang and
                  Nicholas J. Bryan and
                  Gautham J. Mysore and
                  Zeyu Jin},
  editor       = {Helen Meng and
                  Bo Xu and
                  Thomas Fang Zheng},
  title        = {A Differentiable Perceptual Audio Metric Learned from Just Noticeable
                  Differences},
  booktitle    = {21st Annual Conference of the International Speech Communication Association,
                  Interspeech 2020, Virtual Event, Shanghai, China, October 25-29, 2020},
  pages        = {2852--2856},
  publisher    = {{ISCA}},
  year         = {2020},
  url          = {https://doi.org/10.21437/Interspeech.2020-1191},
  doi          = {10.21437/INTERSPEECH.2020-1191},
  timestamp    = {Tue, 11 Jun 2024 16:45:43 +0200},
  biburl       = {https://dblp.org/rec/conf/interspeech/ManochaFZBMJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismir/HarasimFEOR20,
  author       = {Daniel Harasim and
                  Christoph Finkensiep and
                  Petter Ericson and
                  Timothy J. O'Donnell and
                  Martin Rohrmeier},
  editor       = {Julie Cumming and
                  Jin Ha Lee and
                  Brian McFee and
                  Markus Schedl and
                  Johanna Devaney and
                  Cory McKay and
                  Eva Zangerle and
                  Timothy de Reuse},
  title        = {The Jazz Harmony Treebank},
  booktitle    = {Proceedings of the 21th International Society for Music Information
                  Retrieval Conference, {ISMIR} 2020, Montreal, Canada, October 11-16,
                  2020},
  pages        = {207--215},
  year         = {2020},
  url          = {http://archives.ismir.net/ismir2020/paper/000080.pdf},
  timestamp    = {Mon, 19 Jul 2021 15:30:03 +0200},
  biburl       = {https://dblp.org/rec/conf/ismir/HarasimFEOR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lats/IrishFNGPRTAS20,
  author       = {India Irish and
                  Roy Finkelberg and
                  Daniel Nkemelu and
                  Swar Gujrania and
                  Aadarsh Padiyath and
                  Sumedha Raman and
                  Chirag Tailor and
                  Rosa I. Arriaga and
                  Thad Starner},
  editor       = {David A. Joyner and
                  Ren{\'{e}} F. Kizilcec and
                  Susan Singer},
  title        = {{PARQR:} Automatic Post Suggestion in the Piazza Online Forum to Support
                  Degree Seeking Online Masters Students},
  booktitle    = {L@S'20: Seventh {ACM} Conference on Learning @ Scale, Virtual Event,
                  USA, August 12-14, 2020},
  pages        = {125--134},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3386527.3405914},
  doi          = {10.1145/3386527.3405914},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lats/IrishFNGPRTAS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/RobinsBJPLF20,
  author       = {Daniel Robins and
                  Rachel Brody and
                  In Cheol Jeong and
                  Irena Parvanova and
                  Jiazhen Liu and
                  Joseph Finkelstein},
  editor       = {Louise Bilenberg Pape{-}Haugaard and
                  Christian Lovis and
                  Inge Cort Madsen and
                  Patrick Weber and
                  Per Hostrup Nielsen and
                  Philip Scott},
  title        = {Towards a Highly Usable, Mobile Electronic Platform for Patient Recruitment
                  and Consent Management},
  booktitle    = {Digital Personalized Health and Medicine - Proceedings of {MIE} 2020,
                  Medical Informatics Europe, Geneva, Switzerland, April 28 - May 1,
                  2020},
  series       = {Studies in Health Technology and Informatics},
  volume       = {270},
  pages        = {1066--1070},
  publisher    = {{IOS} Press},
  year         = {2020},
  url          = {https://doi.org/10.3233/SHTI200325},
  doi          = {10.3233/SHTI200325},
  timestamp    = {Thu, 04 Apr 2024 17:06:52 +0200},
  biburl       = {https://dblp.org/rec/conf/mie/RobinsBJPLF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-04460,
  author       = {Pranay Manocha and
                  Adam Finkelstein and
                  Zeyu Jin and
                  Nicholas J. Bryan and
                  Richard Zhang and
                  Gautham J. Mysore},
  title        = {A Differentiable Perceptual Audio Metric Learned from Just Noticeable
                  Differences},
  journal      = {CoRR},
  volume       = {abs/2001.04460},
  year         = {2020},
  url          = {https://arxiv.org/abs/2001.04460},
  eprinttype    = {arXiv},
  eprint       = {2001.04460},
  timestamp    = {Fri, 12 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-04460.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-08439,
  author       = {Hal Finkel and
                  Alexander J. McCaskey and
                  Tobi Popoola and
                  Dmitry I. Lyakh and
                  Johannes Doerfert},
  title        = {Really Embedding Domain-Specific Languages into {C++}},
  journal      = {CoRR},
  volume       = {abs/2010.08439},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.08439},
  eprinttype    = {arXiv},
  eprint       = {2010.08439},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-08439.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/SelbyABSBBBCCCC19,
  author       = {Peter Selby and
                  Rafael Abbeloos and
                  Jan Erik Backlund and
                  Martin Basterrechea Salido and
                  Guillaume Bauchet and
                  Omar E. Benites{-}Alfaro and
                  Clayton L. Birkett and
                  Viana C. Calaminos and
                  Pierre Carceller and
                  Guillaume Cornut and
                  Bruno Vasques Costa and
                  Jeremy D. Edwards and
                  Richard Finkers and
                  Star Yanxin Gao and
                  Mehmood Ghaffar and
                  Philip Glaser and
                  Valentin Guignon and
                  Puthick Hok and
                  Andrzej Kilian and
                  Patrick K{\"{o}}nig and
                  Jack Elendil B. Lagare and
                  Matthias Lange and
                  Marie{-}Ang{\'{e}}lique Laporte and
                  Pierre Larmande and
                  David S. LeBauer and
                  David A Lyon and
                  David F. Marshall and
                  Dave Matthews and
                  Iain Milne and
                  Naymesh Mistry and
                  Nicolas Morales and
                  Lukas A. Mueller and
                  Pascal Neveu and
                  Evangelia Papoutsoglou and
                  Brian Pearce and
                  Ivan Perez{-}Masias and
                  Cyril Pommier and
                  Ricardo H. Ramirez{-}Gonzalez and
                  Abhishek Rathore and
                  Angel Manica Raquel and
                  Sebastian Raubach and
                  Trevor Rife and
                  Kelly Robbins and
                  Mathieu Rouard and
                  Chaitanya Sarma and
                  Uwe Scholz and
                  Guilhem Semp{\'{e}}r{\'{e}} and
                  Paul D. Shaw and
                  Reinhard Simon and
                  Nahuel Soldevilla and
                  Gordon Stephen and
                  Qi Sun and
                  Clarysabel Tovar and
                  Grzegorz Uszynski and
                  Maikel Verouden and
                  The BrAPI consortium},
  title        = {BrAPI - an application programming interface for plant breeding applications},
  journal      = {Bioinform.},
  volume       = {35},
  number       = {20},
  pages        = {4147--4155},
  year         = {2019},
  url          = {https://doi.org/10.1093/bioinformatics/btz190},
  doi          = {10.1093/BIOINFORMATICS/BTZ190},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/SelbyABSBBBCCCC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/MenegauxNNRPMSF19,
  author       = {Aurore Menegaux and
                  Natan Napi{\'{o}}rkowski and
                  Julia Neitzel and
                  Adriana L. Ruiz{-}Rizzo and
                  Anders Petersen and
                  Hermann J. M{\"{u}}ller and
                  Christian Sorg and
                  Kathrin Finke},
  title        = {Theory of visual attention thalamic model for visual short-term memory
                  capacity and top-down control: Evidence from a thalamo-cortical structural
                  connectivity analysis},
  journal      = {NeuroImage},
  volume       = {195},
  pages        = {67--77},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.neuroimage.2019.03.052},
  doi          = {10.1016/J.NEUROIMAGE.2019.03.052},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/neuroimage/MenegauxNNRPMSF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/MomijiHFMPSCWDF19,
  author       = {Hiroshi Momiji and
                  Kirsty L. Hassall and
                  Karen Featherstone and
                  Anne V. McNamara and
                  Amanda L. Patist and
                  David G. Spiller and
                  Helen C. Christian and
                  Michael R. H. White and
                  Julian R. E. Davis and
                  B{\"{a}}rbel F. Finkenst{\"{a}}dt and
                  David A. Rand},
  title        = {Disentangling juxtacrine from paracrine signalling in dynamic tissue},
  journal      = {PLoS Comput. Biol.},
  volume       = {15},
  number       = {6},
  year         = {2019},
  url          = {https://doi.org/10.1371/journal.pcbi.1007030},
  doi          = {10.1371/JOURNAL.PCBI.1007030},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ploscb/MomijiHFMPSCWDF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/DeclercqDGSFMNV19,
  author       = {Ynse Declercq and
                  Nele Delbecque and
                  Johan De Grave and
                  Philippe De Smedt and
                  Peter Finke and
                  Abdul M. Mouazen and
                  Said Nawar and
                  Dimitri Vandenberghe and
                  Marc Van Meirvenne and
                  Ann Verdoodt},
  title        = {A Comprehensive Study of Three Different Portable {XRF} Scanners to
                  Assess the Soil Geochemistry of An Extensive Sample Dataset},
  journal      = {Remote. Sens.},
  volume       = {11},
  number       = {21},
  pages        = {2490},
  year         = {2019},
  url          = {https://doi.org/10.3390/rs11212490},
  doi          = {10.3390/RS11212490},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/remotesensing/DeclercqDGSFMNV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FinkelP19,
  author       = {Alain Finkel and
                  M. Praveen},
  editor       = {Wan J. Fokkink and
                  Rob van Glabbeek},
  title        = {Verification of Flat {FIFO} Systems},
  booktitle    = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
                  August 27-30, 2019, Amsterdam, the Netherlands},
  series       = {LIPIcs},
  volume       = {140},
  pages        = {12:1--12:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.12},
  doi          = {10.4230/LIPICS.CONCUR.2019.12},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/FinkelP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/SousaVCMCF19,
  author       = {Jo{\~{a}}o M. C. Sousa and
                  Susana M. Vieira and
                  Jo{\~{a}}o P. Carvalho and
                  Sara C. Madeira and
                  Leo A. Celi and
                  Stan N. Finkelstein},
  title        = {An Architecture Based on Fuzzy Systems for Personalized Medicine in
                  ICUs},
  booktitle    = {2019 {IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE}
                  2019, New Orleans, LA, USA, June 23-26, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FUZZ-IEEE.2019.8858903},
  doi          = {10.1109/FUZZ-IEEE.2019.8858903},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/SousaVCMCF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/green/JinVF19,
  author       = {Zheming Jin and
                  Paulius Velesko and
                  Hal Finkel},
  title        = {Performance of Floating-point Intensive Kernels on Low-power Processor
                  - {A} Case Study with Geodesic Distance Kernel},
  booktitle    = {Tenth International Green and Sustainable Computing Conference, {IGSC}
                  2019, Alexandria, VA, USA, October 21-24, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/IGSC48788.2019.8957171},
  doi          = {10.1109/IGSC48788.2019.8957171},
  timestamp    = {Tue, 04 Feb 2020 18:04:59 +0100},
  biburl       = {https://dblp.org/rec/conf/green/JinVF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpram/SaadallahPFWM19,
  author       = {Amal Saadallah and
                  Nico Piatkowski and
                  Felix Finkeldey and
                  Petra Wiederkehr and
                  Katharina Morik},
  editor       = {Maria De Marsico and
                  Gabriella Sanniti di Baja and
                  Ana L. N. Fred},
  title        = {Learning Ensembles in the Presence of Imbalanced Classes},
  booktitle    = {Proceedings of the 8th International Conference on Pattern Recognition
                  Applications and Methods, {ICPRAM} 2019, Prague, Czech Republic, February
                  19-21, 2019},
  pages        = {866--873},
  publisher    = {SciTePress},
  year         = {2019},
  url          = {https://doi.org/10.5220/0007681508660873},
  doi          = {10.5220/0007681508660873},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpram/SaadallahPFWM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/PeckF19,
  author       = {William J. Peck and
                  Daniel A. Finke},
  title        = {Systems Dynamic Modeling: Planning Beyond the Worker},
  booktitle    = {2019 Winter Simulation Conference, {WSC} 2019, National Harbor, MD,
                  USA, December 8-11, 2019},
  pages        = {2606--2616},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/WSC40007.2019.9004685},
  doi          = {10.1109/WSC40007.2019.9004685},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wsc/PeckF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-07282,
  author       = {Alain Finkel and
                  M. Praveen},
  title        = {Verification of Flat {FIFO} Systems},
  journal      = {CoRR},
  volume       = {abs/1908.07282},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.07282},
  eprinttype    = {arXiv},
  eprint       = {1908.07282},
  timestamp    = {Mon, 26 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-07282.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-06435,
  author       = {Carlos Pinz{\'{o}}n and
                  Camilo Rocha and
                  Jorge Finke},
  title        = {A Random Network Model for the Analysis of Blockchain Designs with
                  Communication Delay},
  journal      = {CoRR},
  volume       = {abs/1909.06435},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.06435},
  eprinttype    = {arXiv},
  eprint       = {1909.06435},
  timestamp    = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-06435.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/BittonFSPRS18,
  author       = {Ron Bitton and
                  Andrey Finkelshtein and
                  Lior Sidi and
                  Rami Puzis and
                  Lior Rokach and
                  Asaf Shabtai},
  title        = {Taxonomy of mobile users' security awareness},
  journal      = {Comput. Secur.},
  volume       = {73},
  pages        = {266--293},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.cose.2017.10.015},
  doi          = {10.1016/J.COSE.2017.10.015},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/BittonFSPRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/GrolmanFPSCKR18,
  author       = {Edita Grolman and
                  Andrey Finkelshtein and
                  Rami Puzis and
                  Asaf Shabtai and
                  Gershon Celniker and
                  Ziv Katzir and
                  Liron Rosenfeld},
  title        = {Transfer Learning for User Action Identication in Mobile Apps via
                  Encrypted Trafc Analysis},
  journal      = {{IEEE} Intell. Syst.},
  volume       = {33},
  number       = {2},
  pages        = {40--53},
  year         = {2018},
  url          = {https://doi.org/10.1109/MIS.2018.111145120},
  doi          = {10.1109/MIS.2018.111145120},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/GrolmanFPSCKR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BlondinFM18,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Handling infinitely branching well-structured transition systems},
  journal      = {Inf. Comput.},
  volume       = {258},
  pages        = {28--49},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ic.2017.11.001},
  doi          = {10.1016/J.IC.2017.11.001},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BlondinFM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocn/WiegandNTPHMF18,
  author       = {Iris Wiegand and
                  Natan Napi{\'{o}}rkowski and
                  Thomas T{\"{o}}llner and
                  Anders Petersen and
                  Thomas Habekost and
                  Hermann J. M{\"{u}}ller and
                  Kathrin Finke},
  title        = {Event-related Electroencephalographic Lateralizations Mark Individual
                  Differences in Spatial and Nonspatial Visual Selection},
  journal      = {J. Cogn. Neurosci.},
  volume       = {30},
  number       = {4},
  year         = {2018},
  url          = {https://doi.org/10.1162/jocn\_a\_01221},
  doi          = {10.1162/JOCN\_A\_01221},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jocn/WiegandNTPHMF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SantosWF18,
  author       = {Rodrigo Pereira dos Santos and
                  Cl{\'{a}}udia M. L. Werner and
                  Anthony Finkelstein},
  editor       = {Jennifer P{\'{e}}rez and
                  Raffaela Mirandola and
                  Hong{-}Mei Chen},
  title        = {Ecosystems effects on software-consuming organizations: an experience
                  report on two observational studies},
  booktitle    = {Proceedings of the 12th European Conference on Software Architecture:
                  Companion Proceedings, {ECSA} 2018, Madrid, Spain, September 24-28,
                  2018},
  pages        = {23:1--23:7},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3241403.3241428},
  doi          = {10.1145/3241403.3241428},
  timestamp    = {Tue, 29 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/SantosWF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/LimaFCMJS18,
  author       = {Vitor G. Lima and
                  Plinio Finkenauer and
                  Vinicius V. Camargo and
                  Felipe S. Marques and
                  Leomar R. Junior and
                  Rafael Iankowski Soares},
  title        = {A Novel Sizing Method Aiming Security Against Differential Power Analysis},
  booktitle    = {25th {IEEE} International Conference on Electronics, Circuits and
                  Systems, {ICECS} 2018, Bordeaux, France, December 9-12, 2018},
  pages        = {429--432},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICECS.2018.8617849},
  doi          = {10.1109/ICECS.2018.8617849},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icecsys/LimaFCMJS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SevillaJWLAFDM18,
  author       = {Michael A. Sevilla and
                  Ivo Jimenez and
                  Noah Watkins and
                  Jeff LeFevre and
                  Peter Alvaro and
                  Shel Finkelstein and
                  Patrick Donnelly and
                  Carlos Maltzahn},
  title        = {Cudele: An {API} and Framework for Programmable Consistency and Durability
                  in a Global Namespace},
  booktitle    = {2018 {IEEE} International Parallel and Distributed Processing Symposium,
                  {IPDPS} 2018, Vancouver, BC, Canada, May 21-25, 2018},
  pages        = {960--969},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/IPDPS.2018.00105},
  doi          = {10.1109/IPDPS.2018.00105},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/SevillaJWLAFDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/ShenKPLXLHZACMF18,
  author       = {Shuyi Shen and
                  Thavamaran Kanesan and
                  Peng{-}Chun Peng and
                  Feng Lu and
                  Mu Xu and
                  Siming Liu and
                  Chin{-}Wei Hsu and
                  Qi Zhou and
                  Yahya M. Alfadhli and
                  Hyung Joon Cho and
                  Sufian Mousa Mitani and
                  Jeffrey Finkelstein and
                  Gee{-}Kung Chang},
  title        = {Spectrum-efficient 50-Gbps Long-Range Optical Access over 85-km {SSMF}
                  via {DML} Using Windowed {OFDM} Supporting Quasi-Gapless Asynchronous
                  Multiband Transmission},
  booktitle    = {Optical Fiber Communications Conference and Exposition, {OFC} 2018,
                  San Diego, CA, USA, March 11-15, 2018},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://ieeexplore.ieee.org/document/8385714},
  timestamp    = {Tue, 03 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ofc/ShenKPLXLHZACMF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vr/BoldtBLCKBFHKLN18,
  author       = {Mette Boldt and
                  Michael Bonfert and
                  Inga Lehne and
                  Melina Cahnbley and
                  Kim Korschinq and
                  Ioannis Bikas and
                  Stefan Finke and
                  Martin Hanci and
                  Valentin Kraft and
                  Boxuan Liu and
                  Tram Nguyen and
                  Alina Panova and
                  Ramneek Singh and
                  Alexander Steenbergen and
                  Rainer Malaka and
                  Jan D. Smeddinck},
  editor       = {Kiyoshi Kiyokawa and
                  Frank Steinicke and
                  Bruce H. Thomas and
                  Greg Welch},
  title        = {You Shall Not Pass: Non-Intrusive Feedback for Virtual Walls in {VR}
                  Environments with Room-Scale Mapping},
  booktitle    = {2018 {IEEE} Conference on Virtual Reality and 3D User Interfaces,
                  {VR} 2018, Tuebingen/Reutlingen, Germany, 18-22 March 2018},
  pages        = {143--150},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/VR.2018.8446177},
  doi          = {10.1109/VR.2018.8446177},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vr/BoldtBLCKBFHKLN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HabibMFFPHKVPID17,
  author       = {Salman Habib and
                  Vitali A. Morozov and
                  Nicholas Frontiere and
                  Hal Finkel and
                  Adrian Pope and
                  Katrin Heitmann and
                  Kalyan Kumaran and
                  Venkatram Vishwanath and
                  Tom Peterka and
                  Joseph A. Insley and
                  David Daniel and
                  Patricia K. Fasel and
                  Zarija Lukic},
  title        = {{HACC:} extreme scaling and performance across diverse architectures},
  journal      = {Commun. {ACM}},
  volume       = {60},
  number       = {1},
  pages        = {97--104},
  year         = {2017},
  url          = {https://doi.org/10.1145/3015569},
  doi          = {10.1145/3015569},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/HabibMFFPHKVPID17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BlondinFM17,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Well Behaved Transition Systems},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {13},
  number       = {3},
  year         = {2017},
  url          = {https://doi.org/10.23638/LMCS-13(3:24)2017},
  doi          = {10.23638/LMCS-13(3:24)2017},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/BlondinFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/MenegauxMNBMBWW17,
  author       = {Aurore Menegaux and
                  Chun Meng and
                  Julia Neitzel and
                  Josef G. B{\"{a}}uml and
                  Hermann J. M{\"{u}}ller and
                  Peter Bartmann and
                  Dieter Wolke and
                  Afra M. Wohlschl{\"{a}}ger and
                  Kathrin Finke and
                  Christian Sorg},
  title        = {Impaired visual short-term memory capacity is distinctively associated
                  with structural connectivity of the posterior thalamic radiation and
                  the splenium of the corpus callosum in preterm-born adults},
  journal      = {NeuroImage},
  volume       = {150},
  pages        = {68--76},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.neuroimage.2017.02.017},
  doi          = {10.1016/J.NEUROIMAGE.2017.02.017},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/neuroimage/MenegauxMNBMBWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/peng/FinkeldeyHW17,
  author       = {Felix Finkeldey and
                  Stefan Hess and
                  Petra Wiederkehr},
  title        = {Tool wear-dependent process analysis by means of a statistical online
                  monitoring system},
  journal      = {Prod. Eng.},
  volume       = {11},
  number       = {6},
  pages        = {677--686},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11740-017-0773-0},
  doi          = {10.1007/S11740-017-0773-0},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/peng/FinkeldeyHW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/UnatDHSABCCEFFH17,
  author       = {Didem Unat and
                  Anshu Dubey and
                  Torsten Hoefler and
                  John Shalf and
                  Mark James Abraham and
                  Mauro Bianco and
                  Bradford L. Chamberlain and
                  Romain Cledat and
                  H. Carter Edwards and
                  Hal Finkel and
                  Karl Fuerlinger and
                  Frank Hannig and
                  Emmanuel Jeannot and
                  Amir Kamil and
                  Jeff Keasler and
                  Paul H. J. Kelly and
                  Vitus J. Leung and
                  Hatem Ltaief and
                  Naoya Maruyama and
                  Chris J. Newburn and
                  Miquel Peric{\`{a}}s},
  title        = {Trends in Data Locality Abstractions for {HPC} Systems},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {28},
  number       = {10},
  pages        = {3007--3020},
  year         = {2017},
  url          = {https://doi.org/10.1109/TPDS.2017.2703149},
  doi          = {10.1109/TPDS.2017.2703149},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/UnatDHSABCCEFFH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aipr/MarianoIRLHOFL17,
  author       = {Laura J. Mariano and
                  John M. Irvine and
                  Benjamin Rowland and
                  HuiJun Liao and
                  Kristin Heaton and
                  Irina Orlovsky and
                  Katherine Finkelstein and
                  Alexander P. Lin},
  title        = {Virtual Biopsy: Distinguishing Post-traumatic Stress from Mild Traumatic
                  Brain Injury Using Magnetic Resonance Spectroscopy},
  booktitle    = {2017 {IEEE} Applied Imagery Pattern Recognition Workshop, {AIPR} 2017,
                  Washington, DC, USA, October 10-12, 2017},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/AIPR.2017.8457941},
  doi          = {10.1109/AIPR.2017.8457941},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aipr/MarianoIRLHOFL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/FinkenMMKB17,
  author       = {Julia Finken and
                  Franziska Marx and
                  Michaela Meyer and
                  Philipp Krieter and
                  Andreas Breiter},
  editor       = {Christoph Igel and
                  Carsten Ullrich and
                  Martin Wessner},
  title        = {Entwicklung und Durchf{\"{u}}hrung computerbasierter Tests zur
                  Messung von Musikkompetenzen},
  booktitle    = {Bildungsr{\"{a}}ume 2017: DeLFI 2017, Die 15. e-Learning Fachtagung
                  Informatik, der Gesellschaft f{\"{u}}r Informatik e.V. (GI),
                  5. bis 8. September 2017, Chemnitz},
  series       = {{LNI}},
  volume       = {{P-273}},
  pages        = {63--74},
  publisher    = {Gesellschaft f{\"{u}}r Informatik, Bonn},
  year         = {2017},
  url          = {https://dl.gi.de/handle/20.500.12116/4875},
  timestamp    = {Tue, 04 Jul 2023 17:44:17 +0200},
  biburl       = {https://dblp.org/rec/conf/delfi/FinkenMMKB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SevillaWJAFLM17,
  author       = {Michael A. Sevilla and
                  Noah Watkins and
                  Ivo Jimenez and
                  Peter Alvaro and
                  Shel Finkelstein and
                  Jeff LeFevre and
                  Carlos Maltzahn},
  editor       = {Gustavo Alonso and
                  Ricardo Bianchini and
                  Marko Vukolic},
  title        = {Malacology: {A} Programmable Storage System},
  booktitle    = {Proceedings of the Twelfth European Conference on Computer Systems,
                  EuroSys 2017, Belgrade, Serbia, April 23-26, 2017},
  pages        = {175--190},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3064176.3064208},
  doi          = {10.1145/3064176.3064208},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/SevillaWJAFLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotstorage/WatkinsSJDAFM17,
  author       = {Noah Watkins and
                  Michael A. Sevilla and
                  Ivo Jimenez and
                  Kathryn Dahlgren and
                  Peter Alvaro and
                  Shel Finkelstein and
                  Carlos Maltzahn},
  title        = {DeclStore: Layering Is for the Faint of Heart},
  booktitle    = {9th {USENIX} Workshop on Hot Topics in Storage and File Systems, HotStorage
                  2017, Santa Clara, CA, USA, July 10-11, 2017},
  publisher    = {{USENIX} Association},
  year         = {2017},
  url          = {https://www.usenix.org/conference/hotstorage17/program/presentation/watkins},
  timestamp    = {Tue, 02 Feb 2021 07:59:31 +0100},
  biburl       = {https://dblp.org/rec/conf/hotstorage/WatkinsSJDAFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PapoutsoglouKHV17,
  author       = {Evangelia Papoutsoglou and
                  Rajaram Kaliyaperumal and
                  Theo J. L. van Hintum and
                  Richard G. F. Visser and
                  Ioannis N. Athanasiadis and
                  Richard Finkers},
  editor       = {Alsayed Algergawy and
                  Naouel Karam and
                  Friederike Klan and
                  Cl{\'{e}}ment Jonquet},
  title        = {Toward Better Data Sharing Methods for Genebanks},
  booktitle    = {Proceedings of the 2nd International Workshop on Semantics for Biodiversity
                  co-located with 16th International Semantic Web Conference {(ISWC}
                  2017), Vienna, Austria, October 22nd, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1933},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1933/poster-paper-12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:07 +0100},
  biburl       = {https://dblp.org/rec/conf/semweb/PapoutsoglouKHV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/WillettLPBF17,
  author       = {Nora S. Willett and
                  Wilmot Li and
                  Jovan Popovic and
                  Floraine Berthouzoz and
                  Adam Finkelstein},
  editor       = {Krzysztof Gajos and
                  Jennifer Mankoff and
                  Chris Harrison},
  title        = {Secondary Motion for Performed 2D Animation},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on User Interface Software
                  and Technology, {UIST} 2017, Quebec City, QC, Canada, October 22 -
                  25, 2017},
  pages        = {97--108},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3126594.3126641},
  doi          = {10.1145/3126594.3126641},
  timestamp    = {Thu, 12 Dec 2019 07:57:40 +0100},
  biburl       = {https://dblp.org/rec/conf/uist/WillettLPBF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/WillettLPF17,
  author       = {Nora S. Willett and
                  Wilmot Li and
                  Jovan Popovic and
                  Adam Finkelstein},
  editor       = {Krzysztof Gajos and
                  Jennifer Mankoff and
                  Chris Harrison},
  title        = {Triggering Artwork Swaps for Live Animation},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on User Interface Software
                  and Technology, {UIST} 2017, Quebec City, QC, Canada, October 22 -
                  25, 2017},
  pages        = {85--95},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3126594.3126596},
  doi          = {10.1145/3126594.3126596},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uist/WillettLPF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FinkelsteinBPS17,
  author       = {Andrey Finkelstein and
                  Ron Biton and
                  Rami Puzis and
                  Asaf Shabtai},
  title        = {Classification of Smartphone Users Using Internet Traffic},
  journal      = {CoRR},
  volume       = {abs/1701.00220},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.00220},
  eprinttype    = {arXiv},
  eprint       = {1701.00220},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/FinkelsteinBPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AbdullaDFLP16,
  author       = {Parosh Aziz Abdulla and
                  St{\'{e}}phane Demri and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {143},
  number       = {3-4},
  pages        = {i--ii},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1311},
  doi          = {10.3233/FI-2016-1311},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AbdullaDFLP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/XieBSMDWFFZPSRS16,
  author       = {Xiyao Xie and
                  Satja Mulej Bratec and
                  Gabriele Schmid and
                  Chun Meng and
                  Anselm Doll and
                  Afra M. Wohlschl{\"{a}}ger and
                  Kathrin Finke and
                  Hans F{\"{o}}rstl and
                  Claus Zimmer and
                  Reinhard Pekrun and
                  Leonhard Schilbach and
                  Valentin Riedl and
                  Christian Sorg},
  title        = {How do you make me feel better? Social cognitive emotion regulation
                  and the default mode network},
  journal      = {NeuroImage},
  volume       = {134},
  pages        = {270--280},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.neuroimage.2016.04.015},
  doi          = {10.1016/J.NEUROIMAGE.2016.04.015},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/neuroimage/XieBSMDWFFZPSRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChambartFS16,
  author       = {Pierre Chambart and
                  Alain Finkel and
                  Sylvain Schmitz},
  title        = {Forward analysis and model checking for trace bounded {WSTS}},
  journal      = {Theor. Comput. Sci.},
  volume       = {637},
  pages        = {1--29},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.tcs.2016.04.020},
  doi          = {10.1016/J.TCS.2016.04.020},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ChambartFS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/RascheCTWBFBSM16,
  author       = {Peter Rasche and
                  Pilsung Choe and
                  Sabine Theis and
                  Matthias Wille and
                  Christina Br{\"{o}}hl and
                  Lea Finken and
                  Stefan Becker and
                  Christopher M. Schlick and
                  Alexander Mertens},
  editor       = {Pei{-}Luen Patrick Rau},
  title        = {Usability Evaluation of Blood Glucose Meters for Elderly Diabetic
                  Patients},
  booktitle    = {Cross-Cultural Design - 8th International Conference, {CCD} 2016,
                  Held as Part of {HCI} International 2016, Toronto, ON, Canada, July
                  17-22, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9741},
  pages        = {686--694},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40093-8\_68},
  doi          = {10.1007/978-3-319-40093-8\_68},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/RascheCTWBFBSM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/host/SchellenbergFGH16,
  author       = {Falk Schellenberg and
                  Markus Finkeldey and
                  Nils Gerhardt and
                  Martin Hofmann and
                  Amir Moradi and
                  Christof Paar},
  editor       = {William H. Robinson and
                  Swarup Bhunia and
                  Ryan Kastner},
  title        = {Large laser spots and fault sensitivity analysis},
  booktitle    = {2016 {IEEE} International Symposium on Hardware Oriented Security
                  and Trust, {HOST} 2016, McLean, VA, USA, May 3-5, 2016},
  pages        = {203--208},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/HST.2016.7495583},
  doi          = {10.1109/HST.2016.7495583},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/host/SchellenbergFGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbp-brims/FinkelshteinPSS16,
  author       = {Andrey Finkelshtein and
                  Rami Puzis and
                  Asaf Shabtai and
                  Bronislav Sidik},
  editor       = {Kevin S. Xu and
                  David Reitter and
                  Dongwon Lee and
                  Nathaniel Osgood},
  title        = {Spot the Hotspot: Wi-Fi Hotspot Classification from Internet Traffic},
  booktitle    = {Social, Cultural, and Behavioral Modeling, 9th International Conference,
                  SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9708},
  pages        = {239--249},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39931-7\_23},
  doi          = {10.1007/978-3-319-39931-7\_23},
  timestamp    = {Tue, 29 Dec 2020 18:35:21 +0100},
  biburl       = {https://dblp.org/rec/conf/sbp-brims/FinkelshteinPSS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlondinFM16,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Well Behaved Transition Systems},
  journal      = {CoRR},
  volume       = {abs/1608.02636},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.02636},
  eprinttype    = {arXiv},
  eprint       = {1608.02636},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BlondinFM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/MuussesKF15,
  author       = {Linda D. Muusses and
                  Peter Kerkhof and
                  Catrin Finkenauer},
  title        = {Internet pornography and relationship quality: {A} longitudinal study
                  of within and between partner effects of adjustment, sexual satisfaction
                  and sexually explicit internet material among newly-weds},
  journal      = {Comput. Hum. Behav.},
  volume       = {45},
  pages        = {77--84},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.chb.2014.11.077},
  doi          = {10.1016/J.CHB.2014.11.077},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/chb/MuussesKF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csimq/DargisFP15,
  author       = {Maris Dargis and
                  Anita Finke and
                  Ludmila Penicina},
  title        = {Relationship between Personality Types Conceptualized by C. G. Jung
                  and Latvian {IT} Specialist Preferences},
  journal      = {Complex Syst. Informatics Model. Q.},
  volume       = {4},
  pages        = {1--11},
  year         = {2015},
  url          = {https://doi.org/10.7250/csimq.2015-4.01},
  doi          = {10.7250/CSIMQ.2015-4.01},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csimq/DargisFP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/FinkeNBRMMJDSBB15,
  author       = {Kathrin Finke and
                  Julia Neitzel and
                  Josef G. B{\"{a}}uml and
                  Petra Redel and
                  Hermann J. M{\"{u}}ller and
                  Chun Meng and
                  Julia Jaekel and
                  Marcel Daamen and
                  Lukas Scheef and
                  Barbara Busch and
                  Nicole Baumann and
                  Henning Boecker and
                  Peter Bartmann and
                  Thomas Habekost and
                  Dieter Wolke and
                  Afra M. Wohlschl{\"{a}}ger and
                  Christian Sorg},
  title        = {Visual attention in preterm born adults: Specifically impaired attentional
                  sub-mechanisms that link with altered intrinsic brain networks in
                  a compensation-like mode},
  journal      = {NeuroImage},
  volume       = {107},
  pages        = {95--106},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.neuroimage.2014.11.062},
  doi          = {10.1016/J.NEUROIMAGE.2014.11.062},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/neuroimage/FinkeNBRMMJDSBB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/YiXTASDFITDVCK15,
  author       = {Haeseung Yi and
                  Tong Xiao and
                  Parijatham Thomas and
                  Alejandra Aguirre and
                  Cindy Smalletz and
                  Jill Dimond and
                  Joseph Finkelstein and
                  Katherine Infante and
                  Meghna S. Trivedi and
                  Raven David and
                  Jennifer Vargas and
                  Katherine Crew and
                  Rita Kukafka},
  title        = {Barriers and Facilitators to Patient-Provider Communication When Discussing
                  Breast Cancer Risk to Aid in the Development of Decision Support Tools},
  booktitle    = {{AMIA} 2015, American Medical Informatics Association Annual Symposium,
                  San Francisco, CA, USA, November 14-18, 2015},
  publisher    = {{AMIA}},
  year         = {2015},
  url          = {https://knowledge.amia.org/59310-amia-1.2741865/t004-1.2745466/f004-1.2745467/2248605-1.2745480/2245313-1.2745477},
  timestamp    = {Wed, 17 Apr 2024 11:47:40 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/YiXTASDFITDVCK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BlondinFGHM15,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Stefan G{\"{o}}ller and
                  Christoph Haase and
                  Pierre McKenzie},
  title        = {Reachability in Two-Dimensional Vector Addition Systems with States
                  Is PSPACE-Complete},
  booktitle    = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2015, Kyoto, Japan, July 6-10, 2015},
  pages        = {32--43},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/LICS.2015.14},
  doi          = {10.1109/LICS.2015.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BlondinFGHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/FinkelsteinBP15,
  author       = {Mark Finkelstein and
                  Khawaja H. Bilal and
                  Michael Palese},
  editor       = {Ronald Cornet and
                  Lacramioara Stoicu{-}Tivadar and
                  Alexander H{\"{o}}rbst and
                  Carlos Luis Parra Calder{\'{o}}n and
                  Stig Kj{\ae}r Andersen and
                  Mira Hercigonja{-}Szekeres},
  title        = {A Medical Application to Bridge the Gap between Clinicians and Clinical
                  Data},
  booktitle    = {Digital Healthcare Empowering Europeans - Proceedings of MIE2015,
                  Madrid Spain, 27-29 May, 2015},
  series       = {Studies in Health Technology and Informatics},
  volume       = {210},
  pages        = {681--683},
  publisher    = {{IOS} Press},
  year         = {2015},
  url          = {https://doi.org/10.3233/978-1-61499-512-8-681},
  doi          = {10.3233/978-1-61499-512-8-681},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mie/FinkelsteinBP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mie/FinkelsteinSPHC15,
  author       = {Mark Finkelstein and
                  Ammar Siddiqui and
                  Theodore Pak and
                  Kevin Hu and
                  Chloe Ciccariello and
                  Vinicius Knabben and
                  David Chiang and
                  David C. Thomas and
                  Yasmin S. Meah},
  editor       = {Ronald Cornet and
                  Lacramioara Stoicu{-}Tivadar and
                  Alexander H{\"{o}}rbst and
                  Carlos Luis Parra Calder{\'{o}}n and
                  Stig Kj{\ae}r Andersen and
                  Mira Hercigonja{-}Szekeres},
  title        = {A User-Editable Web-Based Platform to Streamline Clinical Information
                  Flow},
  booktitle    = {Digital Healthcare Empowering Europeans - Proceedings of MIE2015,
                  Madrid Spain, 27-29 May, 2015},
  series       = {Studies in Health Technology and Informatics},
  volume       = {210},
  pages        = {909--913},
  publisher    = {{IOS} Press},
  year         = {2015},
  url          = {https://doi.org/10.3233/978-1-61499-512-8-909},
  doi          = {10.3233/978-1-61499-512-8-909},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mie/FinkelsteinSPHC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/AkhtariFWK15,
  author       = {Simon Akhtari and
                  Martin Finkenbusch and
                  Richard Winfield and
                  Peter M. Krummrich},
  title        = {Experimental analysis of the impact of beating between signal modes
                  on few-mode erbium doped fiber amplifier performance},
  booktitle    = {Optical Fiber Communications Conference and Exhibition, {OFC} 2015,
                  Los Angeles, CA, USA, March 22-26, 2015},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1364/OFC.2015.Tu3C.4},
  doi          = {10.1364/OFC.2015.TU3C.4},
  timestamp    = {Mon, 09 Aug 2021 14:54:04 +0200},
  biburl       = {https://dblp.org/rec/conf/ofc/AkhtariFWK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/SewellHFZPFPFLM15,
  author       = {Christopher M. Sewell and
                  Katrin Heitmann and
                  Hal Finkel and
                  George Zagaris and
                  Suzanne Parete{-}Koon and
                  Patricia K. Fasel and
                  Adrian Pope and
                  Nicholas Frontiere and
                  Li{-}Ta Lo and
                  O. E. Bronson Messer and
                  Salman Habib and
                  James P. Ahrens},
  editor       = {Jackie Kern and
                  Jeffrey S. Vetter},
  title        = {Large-scale compute-intensive analysis via a combined in-situ and
                  co-scheduling workflow approach},
  booktitle    = {Proceedings of the International Conference for High Performance Computing,
                  Networking, Storage and Analysis, {SC} 2015, Austin, TX, USA, November
                  15-20, 2015},
  pages        = {50:1--50:11},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2807591.2807663},
  doi          = {10.1145/2807591.2807663},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sc/SewellHFZPFPFLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/GoelRKKMF15,
  author       = {Amit Goel and
                  William A. Rivera and
                  J. Peter Kincaid and
                  Waldemar Karwowski and
                  Michele M. Montgomery and
                  Neal Finkelstein},
  editor       = {Layne T. Watson and
                  Josef Weinbub and
                  Masha Sosonkina and
                  William I. Thacker},
  title        = {A research framework for exascale simulations of distributed virtual
                  world environments on high performance computing {(HPC)} clusters},
  booktitle    = {Proceedings of the Symposium on High Performance Computing, {HPC}
                  2015, part of the 2015 Spring Simulation Multiconference, SpringSim
                  '15, Alexandria, VA, USA, April 12-15, 2015},
  pages        = {25--32},
  publisher    = {{SCS/ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2872603},
  timestamp    = {Thu, 07 Apr 2016 15:18:23 +0200},
  biburl       = {https://dblp.org/rec/conf/springsim/GoelRKKMF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HabibRLMBVNABFG15,
  author       = {Salman Habib and
                  Robert Roser and
                  Tom LeCompte and
                  Zach Marshall and
                  Anders Borgland and
                  Brett Viren and
                  Peter Nugent and
                  Makoto Asai and
                  Lothar Bauerdick and
                  Hal Finkel and
                  Steven Gottlieb and
                  Stefan Hoeche and
                  Paul Sheldon and
                  Jean{-}Luc Vay and
                  Peter Elmer and
                  Michael Kirby and
                  Simon J. Patton and
                  Maxim Potekhin and
                  Brian Yanny and
                  Paolo Calafiura and
                  Eli Dart and
                  Oliver Gutsche and
                  Taku Izubuchi and
                  Adam Lyon and
                  Don Petravick},
  title        = {High Energy Physics Forum for Computational Excellence: Working Group
                  Reports {(I.} Applications Software {II.} Software Libraries and Tools
                  {III.} Systems)},
  journal      = {CoRR},
  volume       = {abs/1510.08545},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.08545},
  eprinttype    = {arXiv},
  eprint       = {1510.08545},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HabibRLMBVNABFG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/XuEZFKX15,
  author       = {Pingmei Xu and
                  Krista A. Ehinger and
                  Yinda Zhang and
                  Adam Finkelstein and
                  Sanjeev R. Kulkarni and
                  Jianxiong Xiao},
  title        = {TurkerGaze: Crowdsourcing Saliency with Webcam based Eye Tracking},
  journal      = {CoRR},
  volume       = {abs/1504.06755},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.06755},
  eprinttype    = {arXiv},
  eprint       = {1504.06755},
  timestamp    = {Fri, 20 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/XuEZFKX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/accs/BocharovaPBF14,
  author       = {Irina E. Bocharova and
                  Anton V. Porov and
                  Timofey S. Bondarev and
                  Oleg V. Finkelshteyn},
  title        = {Low-complexity lossless image coding},
  journal      = {Autom. Control. Comput. Sci.},
  volume       = {48},
  number       = {5},
  pages        = {303--311},
  year         = {2014},
  url          = {https://doi.org/10.3103/S0146411614050034},
  doi          = {10.3103/S0146411614050034},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/accs/BocharovaPBF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/MuussesFKB14,
  author       = {Linda D. Muusses and
                  Catrin Finkenauer and
                  Peter Kerkhof and
                  Cherrie Joy Billedo},
  title        = {A longitudinal study of the association between Compulsive Internet
                  use and wellbeing},
  journal      = {Comput. Hum. Behav.},
  volume       = {36},
  pages        = {21--28},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.chb.2014.03.035},
  doi          = {10.1016/J.CHB.2014.03.035},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/chb/MuussesFKB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/HeitmannHFFPMRKKLRIVPDFZ14,
  author       = {Katrin Heitmann and
                  Salman Habib and
                  Hal Finkel and
                  Nicholas Frontiere and
                  Adrian Pope and
                  Vitali A. Morozov and
                  Steve Rangel and
                  Eve Kovacs and
                  Juliana Kwan and
                  Nan Li and
                  Silvio Rizzi and
                  Joseph A. Insley and
                  Venkatram Vishwanath and
                  Tom Peterka and
                  David Daniel and
                  Patricia K. Fasel and
                  George Zagaris},
  title        = {Large-Scale Simulations of Sky Surveys},
  journal      = {Comput. Sci. Eng.},
  volume       = {16},
  number       = {5},
  pages        = {14--23},
  year         = {2014},
  url          = {https://doi.org/10.1109/MCSE.2014.49},
  doi          = {10.1109/MCSE.2014.49},
  timestamp    = {Wed, 14 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cse/HeitmannHFFPMRKKLRIVPDFZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/ForrestMBMBFMVWYK14,
  author       = {Christopher B. Forrest and
                  Peter A. Margolis and
                  L. Charles Bailey and
                  Keith Marsolo and
                  Mark A. Del Beccaro and
                  Jonathan A. Finkelstein and
                  David E. Milov and
                  Veronica J. Vieland and
                  Bryan A. Wolf and
                  Feliciano B. Yu and
                  Michael G. Kahn},
  title        = {Brief communication: PEDSnet: a National Pediatric Learning Health
                  System},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {21},
  number       = {4},
  pages        = {602--606},
  year         = {2014},
  url          = {https://doi.org/10.1136/amiajnl-2014-002743},
  doi          = {10.1136/AMIAJNL-2014-002743},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jamia/ForrestMBMBFMVWYK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/HertzCFDS14,
  author       = {Philipp Hertz and
                  Sergio Cavalieri and
                  Gandolf R. Finke and
                  Aldo Duchi and
                  Paul Sch{\"{o}}nsleben},
  title        = {A simulation-based decision support system for industrial field service
                  network planning},
  journal      = {Simul.},
  volume       = {90},
  number       = {1},
  pages        = {69--84},
  year         = {2014},
  url          = {https://doi.org/10.1177/0037549713512685},
  doi          = {10.1177/0037549713512685},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simulation/HertzCFDS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BouchyFP14,
  author       = {Florent Bouchy and
                  Alain Finkel and
                  Pierluigi {San Pietro}},
  title        = {Dense-choice Counter Machines revisited},
  journal      = {Theor. Comput. Sci.},
  volume       = {542},
  pages        = {17--31},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2014.04.029},
  doi          = {10.1016/J.TCS.2014.04.029},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BouchyFP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/BarnesF14,
  author       = {Jingwan Lu and
                  Connelly Barnes and
                  Connie Wan and
                  Paul Asente and
                  Radom{\'{\i}}r Mech and
                  Adam Finkelstein},
  title        = {DecoBrush: drawing structured decorative patterns by example},
  journal      = {{ACM} Trans. Graph.},
  volume       = {33},
  number       = {4},
  pages        = {90:1--90:9},
  year         = {2014},
  url          = {https://doi.org/10.1145/2601097.2601190},
  doi          = {10.1145/2601097.2601190},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tog/BarnesF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BlondinFM14,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Javier Esparza and
                  Pierre Fraigniaud and
                  Thore Husfeldt and
                  Elias Koutsoupias},
  title        = {Handling Infinitely Branching {WSTS}},
  booktitle    = {Automata, Languages, and Programming - 41st International Colloquium,
                  {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8573},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43951-7\_2},
  doi          = {10.1007/978-3-662-43951-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BlondinFM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BuiFVHHLPH14,
  author       = {Huy Bui and
                  Hal Finkel and
                  Venkatram Vishwanath and
                  Salman Habib and
                  Katrin Heitmann and
                  Jason Leigh and
                  Michael E. Papka and
                  Kevin Harms},
  title        = {Scalable Parallel {I/O} on a Blue Gene/Q Supercomputer Using Compression,
                  Topology-Aware Data Aggregation, and Subfiling},
  booktitle    = {22nd Euromicro International Conference on Parallel, Distributed,
                  and Network-Based Processing, {PDP} 2014, Torino, Italy, February
                  12-14, 2014},
  pages        = {107--111},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/PDP.2014.60},
  doi          = {10.1109/PDP.2014.60},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdp/BuiFVHHLPH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recsys/BachrachFGKKNP14,
  author       = {Yoram Bachrach and
                  Yehuda Finkelstein and
                  Ran Gilad{-}Bachrach and
                  Liran Katzir and
                  Noam Koenigstein and
                  Nir Nice and
                  Ulrich Paquet},
  editor       = {Alfred Kobsa and
                  Michelle X. Zhou and
                  Martin Ester and
                  Yehuda Koren},
  title        = {Speeding up the Xbox recommender system using a euclidean transformation
                  for inner-product spaces},
  booktitle    = {Eighth {ACM} Conference on Recommender Systems, RecSys '14, Foster
                  City, Silicon Valley, CA, {USA} - October 06 - 10, 2014},
  pages        = {257--264},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2645710.2645741},
  doi          = {10.1145/2645710.2645741},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/recsys/BachrachFGKKNP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BlondinFGHM14,
  author       = {Michael Blondin and
                  Alain Finkel and
                  Stefan G{\"{o}}ller and
                  Christoph Haase and
                  Pierre McKenzie},
  title        = {Reachability in Two-Dimensional Vector Addition Systems with States
                  is PSPACE-complete},
  journal      = {CoRR},
  volume       = {abs/1412.4259},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.4259},
  eprinttype    = {arXiv},
  eprint       = {1412.4259},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BlondinFGHM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/EsparzaFMO14,
  author       = {Javier Esparza and
                  Alain Finkel and
                  Pierre McKenzie and
                  Jo{\"{e}}l Ouaknine},
  title        = {Reachability Problems for Infinite-State Systems (Dagstuhl Seminar
                  14141)},
  journal      = {Dagstuhl Reports},
  volume       = {4},
  number       = {3},
  pages        = {153--180},
  year         = {2014},
  url          = {https://doi.org/10.4230/DagRep.4.3.153},
  doi          = {10.4230/DAGREP.4.3.153},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/EsparzaFMO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/ForsterFGH13,
  author       = {Samuel C. Forster and
                  Alexander M. Finkel and
                  Jodee A. Gould and
                  Paul J. Hertzog},
  title        = {RNA-eXpress annotates novel transcript features in RNA-seq data},
  journal      = {Bioinform.},
  volume       = {29},
  number       = {6},
  pages        = {810--812},
  year         = {2013},
  url          = {https://doi.org/10.1093/bioinformatics/btt034},
  doi          = {10.1093/BIOINFORMATICS/BTT034},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/ForsterFGH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CadilhacFM13,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Unambiguous constrained Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {24},
  number       = {7},
  pages        = {1099--1116},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0129054113400339},
  doi          = {10.1142/S0129054113400339},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CadilhacFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jat/LagomasinoMNA13,
  author       = {Guillermo L{\'{o}}pez Lagomasino and
                  Andrei Mart{\'{\i}}nez{-}Finkelshtein and
                  Paul Nevai and
                  Walter Van Assche},
  title        = {OPSFA'11},
  journal      = {J. Approx. Theory},
  volume       = {170},
  pages        = {1--2},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jat.2012.10.007},
  doi          = {10.1016/J.JAT.2012.10.007},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jat/LagomasinoMNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jat/LagomasinoMNS13,
  author       = {Guillermo L{\'{o}}pez Lagomasino and
                  Andrei Mart{\'{\i}}nez{-}Finkelshtein and
                  Paul Nevai and
                  Edward B. Saff},
  title        = {Andrei Aleksandrovich Gonchar November 21, 1931-October 10, 2012},
  journal      = {J. Approx. Theory},
  volume       = {172},
  pages        = {A1--A13},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jat.2013.04.008},
  doi          = {10.1016/J.JAT.2013.04.008},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jat/LagomasinoMNS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/MoessnangPKKFHSSH13,
  author       = {Carolin Moessnang and
                  Katharina Pauly and
                  Thilo Kellermann and
                  J. Kr{\"{a}}mer and
                  Andreas Finkelmeyer and
                  Thomas Hummel and
                  S. J. Siegel and
                  Frank Schneider and
                  Ute Habel},
  title        = {The scent of salience - Is there olfactory-trigeminal conditioning
                  in humans?},
  journal      = {NeuroImage},
  volume       = {77},
  pages        = {93--104},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.neuroimage.2013.03.049},
  doi          = {10.1016/J.NEUROIMAGE.2013.03.049},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/neuroimage/MoessnangPKKFHSSH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifsa/VieiraCFRFS13,
  author       = {Susana M. Vieira and
                  Jo{\~{a}}o Paulo Carvalho and
                  Andr{\'{e}} S. Fialho and
                  Shane R. Reti and
                  Stan N. Finkelstein and
                  Jo{\~{a}}o M. C. Sousa},
  title        = {A decision support system for {ICU} readmissions prevention},
  booktitle    = {Joint {IFSA} World Congress and {NAFIPS} Annual Meeting, {IFSA/NAFIPS}
                  2013, Edmonton, Alberta, Canada, June 24-28, 2013},
  pages        = {251--256},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/IFSA-NAFIPS.2013.6608408},
  doi          = {10.1109/IFSA-NAFIPS.2013.6608408},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ifsa/VieiraCFRFS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ofc/ZhuPFKHTNA13,
  author       = {Chen Zhu and
                  Fabio Pittal{\`{a}} and
                  Martin Finkenbusch and
                  Peter M. Krummrich and
                  F. Hauske and
                  A. Tran and
                  Josef A. Nossek and
                  T. Anderson},
  title        = {Overhead-free channel estimation using implicit training for polarization-multiplexed
                  coherent optical systems},
  booktitle    = {2013 Optical Fiber Communication Conference and Exposition and the
                  National Fiber Optic Engineers Conference (OFC/NFOEC), Anaheim, CA,
                  USA, March 17-21, 2013},
  pages        = {1--3},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {http://ieeexplore.ieee.org/xpl/freeabs\_all.jsp?arnumber=6533185},
  timestamp    = {Sun, 13 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ofc/ZhuPFKHTNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ph/MayoraABDFFGGGHHLMMOPRSTKW13,
  author       = {Oscar Mayora and
                  Bert Arnrich and
                  Jakob E. Bardram and
                  Carsten Drager and
                  Andrea Finke and
                  Mads Frost and
                  Silvia Giordano and
                  Franz Gravenhorst and
                  Agnes Gr{\"{u}}nerbl and
                  Christian Haring and
                  Reinhold Haux and
                  Paul Lukowicz and
                  Amir Muaremi and
                  Steven Mudda and
                  Stefan Ohler and
                  Alessandro Puiatti and
                  Nina Reichwaldt and
                  Corinna Scharnweber and
                  Gerhard Tr{\"{o}}ster and
                  Lars Vedel Kessing and
                  Gabriel Wurzer},
  title        = {Personal health systems for bipolar disorder Anecdotes, challenges
                  and lessons learnt from {MONARCA} project},
  booktitle    = {7th International Conference on Pervasive Computing Technologies for
                  Healthcare and Workshops, PervasiveHealth 2013, Venice, Italy, May
                  5-8, 2013},
  pages        = {424--429},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.4108/icst.pervasivehealth.2013.252123},
  doi          = {10.4108/ICST.PERVASIVEHEALTH.2013.252123},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ph/MayoraABDFFGGGHHLMMOPRSTKW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HabibMFFPH13,
  author       = {Salman Habib and
                  Vitali A. Morozov and
                  Nicholas Frontiere and
                  Hal Finkel and
                  Adrian Pope and
                  Katrin Heitmann},
  editor       = {William Gropp and
                  Satoshi Matsuoka},
  title        = {{HACC:} extreme scaling and performance across diverse architectures},
  booktitle    = {International Conference for High Performance Computing, Networking,
                  Storage and Analysis, SC'13, Denver, CO, {USA} - November 17 - 21,
                  2013},
  pages        = {6:1--6:10},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2503210.2504566},
  doi          = {10.1145/2503210.2504566},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/sc/HabibMFFPH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cejor/PintoFFOY12,
  author       = {Alberto A. Pinto and
                  Miguel Ferreira and
                  B{\"{a}}rbel F. Finkenst{\"{a}}dt and
                  B. M. P. M. Oliveira and
                  Athanasios N. Yannacopoulos},
  title        = {On the convergence to Walrasian prices in random matching Edgeworthian
                  economies},
  journal      = {Central Eur. J. Oper. Res.},
  volume       = {20},
  number       = {3},
  pages        = {485--495},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10100-011-0208-5},
  doi          = {10.1007/S10100-011-0208-5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cejor/PintoFFOY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsci/PurzyckiFSWCS12,
  author       = {Benjamin G. Purzycki and
                  Daniel N. Finkel and
                  John Shaver and
                  Nathan Wales and
                  Adam B. Cohen and
                  Richard Sosis},
  title        = {What Does God Know? Supernatural Agents' Access to Socially Strategic
                  and Non-Strategic Information},
  journal      = {Cogn. Sci.},
  volume       = {36},
  number       = {5},
  pages        = {846--869},
  year         = {2012},
  url          = {https://doi.org/10.1111/j.1551-6709.2012.01242.x},
  doi          = {10.1111/J.1551-6709.2012.01242.X},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cogsci/PurzyckiFSWCS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Bounded Parikh Automata},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {23},
  number       = {8},
  pages        = {1691--1710},
  year         = {2012},
  url          = {https://doi.org/10.1142/S0129054112400709},
  doi          = {10.1142/S0129054112400709},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Affine Parikh automata},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {46},
  number       = {4},
  pages        = {511--545},
  year         = {2012},
  url          = {https://doi.org/10.1051/ita/2012013},
  doi          = {10.1051/ITA/2012013},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/PereiraQHQKFKa12,
  author       = {Jennifer Pereira and
                  Susan Quach and
                  Christine L. Heidebrecht and
                  Sherman D. Quan and
                  Faron Kolbe and
                  Michael Finkelstein and
                  Jeffrey C. Kwong and
                  et al.},
  title        = {Barriers to the use of reminder/recall interventions for immunizations:
                  a systematic review},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {12},
  pages        = {145},
  year         = {2012},
  url          = {https://doi.org/10.1186/1472-6947-12-145},
  doi          = {10.1186/1472-6947-12-145},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/PereiraQHQKFKa12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/PereiraRSF12,
  author       = {Ruben Duarte Pereira and
                  Shane R. Reti and
                  Jo{\~{a}}o Miguel da Costa Sousa and
                  Stan N. Finkelstein},
  title        = {New Insights on Septic Shock Goal-Directed Therapies},
  booktitle    = {{AMIA} 2012, American Medical Informatics Association Annual Symposium,
                  Chicago, Illinois, USA, November 3-7, 2012},
  publisher    = {{AMIA}},
  year         = {2012},
  url          = {https://knowledge.amia.org/amia-55142-a2012a-1.636547/t-007-1.639272/f-001-1.639273/a-507-1.639675/a-508-1.639672},
  timestamp    = {Wed, 17 Apr 2024 11:48:03 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/PereiraRSF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/PimentelCSF12,
  author       = {Jo{\~{a}}o Pimentel and
                  Jaelson Castro and
                  Emanuel Santos and
                  Anthony Finkelstein},
  editor       = {Marko Bajec and
                  Johann Eder},
  title        = {Towards Requirements and Architecture Co-evolution},
  booktitle    = {Advanced Information Systems Engineering Workshops - CAiSE 2012 International
                  Workshops, Gda{\'{n}}sk, Poland, June 25-26, 2012. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {112},
  pages        = {159--170},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31069-0\_14},
  doi          = {10.1007/978-3-642-31069-0\_14},
  timestamp    = {Sun, 23 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/PimentelCSF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/SantosPCF12,
  author       = {Emanuel Santos and
                  Jo{\~{a}}o Pimentel and
                  Jaelson Castro and
                  Anthony Finkelstein},
  editor       = {Ilia Bider and
                  Terry A. Halpin and
                  John Krogstie and
                  Selmin Nurcan and
                  Erik Proper and
                  Rainer Schmidt and
                  Pnina Soffer and
                  Stanislaw Wrycza},
  title        = {On the Dynamic Configuration of Business Process Models},
  booktitle    = {Enterprise, Business-Process and Information Systems Modeling - 13th
                  International Conference, {BPMDS} 2012, 17th International Conference,
                  {EMMSAD} 2012, and 5th EuroSymposium, held at CAiSE 2012, Gda{\'{n}}sk,
                  Poland, June 25-26, 2012. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {113},
  pages        = {331--346},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31072-0\_23},
  doi          = {10.1007/978-3-642-31072-0\_23},
  timestamp    = {Thu, 02 Aug 2018 16:14:14 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/SantosPCF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/DermevalPSCSGLF12,
  author       = {Diego Dermeval and
                  Jo{\~{a}}o Pimentel and
                  Carla T. L. L. Silva and
                  Jaelson Castro and
                  Emanuel Santos and
                  Gabriela Guedes and
                  M{\'{a}}rcia Lucena and
                  Anthony Finkelstein},
  editor       = {Xiaoying Bai and
                  Fevzi Belli and
                  Elisa Bertino and
                  Carl K. Chang and
                  Atilla El{\c{c}}i and
                  Cristina Cerschi Seceleanu and
                  Haihua Xie and
                  Mohammad Zulkernine},
  title        = {{STREAM-ADD} - Supporting the Documentation of Architectural Design
                  Decisions in an Architecture Derivation Process},
  booktitle    = {36th Annual {IEEE} Computer Software and Applications Conference,
                  {COMPSAC} 2012, Izmir, Turkey, July 16-20, 2012},
  pages        = {602--611},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/COMPSAC.2012.81},
  doi          = {10.1109/COMPSAC.2012.81},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/DermevalPSCSGLF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/CadilhacFM12,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Hsu{-}Chun Yen and
                  Oscar H. Ibarra},
  title        = {Unambiguous Constrained Automata},
  booktitle    = {Developments in Language Theory - 16th International Conference, {DLT}
                  2012, Taipei, Taiwan, August 14-17, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7410},
  pages        = {239--250},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31653-1\_22},
  doi          = {10.1007/978-3-642-31653-1\_22},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/dlt/CadilhacFM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/BonnetFP12,
  author       = {R{\'{e}}mi Bonnet and
                  Alain Finkel and
                  M. Praveen},
  editor       = {Deepak D'Souza and
                  Telikepalli Kavitha and
                  Jaikumar Radhakrishnan},
  title        = {Extending the Rackoff technique to Affine nets},
  booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and
                  Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
                  Hyderabad, India},
  series       = {LIPIcs},
  volume       = {18},
  pages        = {301--312},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.301},
  doi          = {10.4230/LIPICS.FSTTCS.2012.301},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BonnetFP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ni/LoomanEGCKPF12,
  author       = {Wendy Looman and
                  Mary M. Erickson and
                  Ann W. Garwick and
                  Rhonda Cady and
                  Anne Kelly and
                  Carrie Pettey and
                  Stanley M. Finkelstein},
  editor       = {Kaija Saranto and
                  Charlotte A. Weaver and
                  Polun Chang},
  title        = {Meaningful Use of Data in Care Coordination by the Advanced Practice
                  Registered Nurse: The TeleFamilies Project},
  booktitle    = {Nursing Informatics 2014 - East Meets West eSMART+ - Proceedings of
                  the 12th International Congress on Nursing Informatics, Taipei, Taiwan,
                  June 21-25, 2014},
  series       = {Studies in Health Technology and Informatics},
  volume       = {201},
  publisher    = {{IOS} Press},
  year         = {2012},
  url          = {http://knowledge.amia.org/amia-55142-cni2012a-1.641359/t-005-1.642724/f-001-1.642725/a-247-1.643019/a-248-1.643016},
  timestamp    = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl       = {https://dblp.org/rec/conf/ni/LoomanEGCKPF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/npar/BenardLCFT12,
  author       = {Pierre B{\'{e}}nard and
                  Jingwan Lu and
                  Forrester Cole and
                  Adam Finkelstein and
                  Jo{\"{e}}lle Thollot},
  editor       = {Paul Asente and
                  Cindy Grimm},
  title        = {Active strokes: coherent line stylization for animated 3D models},
  booktitle    = {10th International Symposium on Non-Photorealistic Animation and Rendering,
                  NPAR@Expressive 2012, Annecy, France, June 4-6, 2012, Proceedings},
  pages        = {37--46},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2330156},
  timestamp    = {Wed, 19 Aug 2020 10:05:24 +0200},
  biburl       = {https://dblp.org/rec/conf/npar/BenardLCFT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HabibMFPHKPIDFFL12,
  author       = {Salman Habib and
                  Vitali A. Morozov and
                  Hal Finkel and
                  Adrian Pope and
                  Katrin Heitmann and
                  Kalyan Kumaran and
                  Tom Peterka and
                  Joseph A. Insley and
                  David Daniel and
                  Patricia K. Fasel and
                  Nicholas Frontiere and
                  Zarija Lukic},
  editor       = {Jeffrey K. Hollingsworth},
  title        = {The universe at extreme scale: multi-petaflop sky simulation on the
                  {BG/Q}},
  booktitle    = {{SC} Conference on High Performance Computing Networking, Storage
                  and Analysis, {SC} '12, Salt Lake City, UT, {USA} - November 11 -
                  15, 2012},
  pages        = {4},
  publisher    = {{IEEE/ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1109/SC.2012.106},
  doi          = {10.1109/SC.2012.106},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/HabibMFPHKPIDFFL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/PeterkaKPFHHWZ12,
  author       = {Tom Peterka and
                  Juliana Kwan and
                  Adrian Pope and
                  Hal Finkel and
                  Katrin Heitmann and
                  Salman Habib and
                  Jingyuan Wang and
                  George Zagaris},
  title        = {Meshing the Universe: Integrating Analysis in Cosmological Simulations},
  booktitle    = {2012 {SC} Companion: High Performance Computing, Networking Storage
                  and Analysis, Salt Lake City, UT, USA, November 10-16, 2012},
  pages        = {186--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SC.Companion.2012.34},
  doi          = {10.1109/SC.COMPANION.2012.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/PeterkaKPFHHWZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/PimentelSDCF12,
  author       = {Jo{\~{a}}o Pimentel and
                  Emanuel Santos and
                  Diego Dermeval and
                  Jaelson Castro and
                  Anthony Finkelstein},
  title        = {Towards Architectural Evolution through Model Transformations},
  booktitle    = {Proceedings of the 24th International Conference on Software Engineering
                  {\&} Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood
                  City, San Francisco Bay, {USA} July 1-3, 2012},
  pages        = {448--451},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2012},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/PimentelSDCF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smps/PereiraSVRF12,
  author       = {Ruben D. M. A. Pereira and
                  Jo{\~{a}}o Miguel da Costa Sousa and
                  Susana M. Vieira and
                  Shane R. Reti and
                  Stan N. Finkelstein},
  editor       = {Rudolf Kruse and
                  Michael R. Berthold and
                  Christian Moewes and
                  Mar{\'{\i}}a Angeles Gil and
                  Przemyslaw Grzegorzewski and
                  Olgierd Hryniewicz},
  title        = {Modified Sequential Forward Selection Applied to Predicting Septic
                  Shock Outcome in the Intensive Care Unit},
  booktitle    = {Synergies of Soft Computing and Statistics for Intelligent Data Analysis,
                  Proceedings of the 6th International Conference on Soft Methods in
                  Probability and Statistics, {SMPS} 2012, Konstanz, Germany, October
                  4-6, 2012},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {190},
  pages        = {469--477},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33042-1\_50},
  doi          = {10.1007/978-3-642-33042-1\_50},
  timestamp    = {Mon, 16 Sep 2019 15:24:13 +0200},
  biburl       = {https://dblp.org/rec/conf/smps/PereiraSVRF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2012,
  editor       = {Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Igor Potapov},
  title        = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
                  France, September 17-19, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7550},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33512-9},
  doi          = {10.1007/978-3-642-33512-9},
  isbn         = {978-3-642-33511-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rp/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4864,
  author       = {Salman Habib and
                  Vitali A. Morozov and
                  Hal Finkel and
                  Adrian Pope and
                  Katrin Heitmann and
                  Kalyan Kumaran and
                  Tom Peterka and
                  Joseph A. Insley and
                  David Daniel and
                  Patricia K. Fasel and
                  Nicholas Frontiere and
                  Zarija Lukic},
  title        = {The Universe at Extreme Scale: Multi-Petaflop Sky Simulation on the
                  {BG/Q}},
  journal      = {CoRR},
  volume       = {abs/1211.4864},
  year         = {2012},
  url          = {http://arxiv.org/abs/1211.4864},
  eprinttype    = {arXiv},
  eprint       = {1211.4864},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1211-4864.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/PoundsGJWPFLG11,
  author       = {Stan Pounds and
                  Cuilan Lani Gao and
                  Robert A. Johnson and
                  Karen D. Wright and
                  Helen Poppleton and
                  David Finkelstein and
                  Sarah E. S. Leary and
                  Richard J. Gilbertson},
  title        = {A procedure to statistically evaluate agreement of differential expression
                  for cross-species genomics},
  journal      = {Bioinform.},
  volume       = {27},
  number       = {15},
  pages        = {2098--2103},
  year         = {2011},
  url          = {https://doi.org/10.1093/bioinformatics/btr362},
  doi          = {10.1093/BIOINFORMATICS/BTR362},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/PoundsGJWPFLG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/WerbrouckAESMBBCCRSFMVZ11,
  author       = {I. Werbrouck and
                  Marc Antrop and
                  Veerle Van Eetvelde and
                  Cornelis Stal and
                  Philippe De Maeyer and
                  M. Bats and
                  Jean Bourgeois and
                  M. Court{-}Picon and
                  Ph. Cromb{\'{e}} and
                  Jeroen De Reu and
                  Ph. De Smedt and
                  P. A. Finke and
                  M. Van Meirvenne and
                  Jacques Verniers and
                  A. Zwertvaegher},
  title        = {Digital Elevation Model generation for historical landscape analysis
                  based on LiDAR data, a case study in Flanders (Belgium)},
  journal      = {Expert Syst. Appl.},
  volume       = {38},
  number       = {7},
  pages        = {8178--8185},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.eswa.2010.12.162},
  doi          = {10.1016/J.ESWA.2010.12.162},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eswa/WerbrouckAESMBBCCRSFMVZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BunyakiatiF11,
  author       = {Panuchart Bunyakiati and
                  Anthony Finkelstein},
  title        = {Standards compliance testing for unified modelling language tools},
  journal      = {{IET} Softw.},
  volume       = {5},
  number       = {2},
  pages        = {120--131},
  year         = {2011},
  url          = {https://doi.org/10.1049/iet-sen.2010.0032},
  doi          = {10.1049/IET-SEN.2010.0032},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BunyakiatiF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/midm/MorseNSF11,
  author       = {Richard Morse and
                  Prakash M. Nadkarni and
                  David A. Schoenfeld and
                  Dianne M. Finkelstein},
  title        = {Web-browser encryption of personal health information},
  journal      = {{BMC} Medical Informatics Decis. Mak.},
  volume       = {11},
  pages        = {70},
  year         = {2011},
  url          = {https://doi.org/10.1186/1472-6947-11-70},
  doi          = {10.1186/1472-6947-11-70},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/midm/MorseNSF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChambartFS11,
  author       = {Pierre Chambart and
                  Alain Finkel and
                  Sylvain Schmitz},
  editor       = {Lars Michael Kristensen and
                  Laure Petrucci},
  title        = {Forward Analysis and Model Checking for Trace Bounded {WSTS}},
  booktitle    = {Applications and Theory of Petri Nets - 32nd International Conference,
                  {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6709},
  pages        = {49--68},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21834-7\_4},
  doi          = {10.1007/978-3-642-21834-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ChambartFS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/PereiraFCVSAKRHF11,
  author       = {Ruben D. M. A. Pereira and
                  Andr{\'{e}} S. Fialho and
                  Federico Cismondi and
                  Susana M. Vieira and
                  Jo{\~{a}}o M. C. Sousa and
                  Rui Jorge Almeida and
                  Uzay Kaymak and
                  Shane R. Reti and
                  Michael D. Howell and
                  Stan N. Finkelstein},
  title        = {Predicting septic shock outcomes in a database with missing data using
                  fuzzy modeling: Influence of pre-processing techniques on real-world
                  data-based classification},
  booktitle    = {{FUZZ-IEEE} 2011, {IEEE} International Conference on Fuzzy Systems,
                  Taipei, Taiwan, 27-30 June, 2011, Proceedings},
  pages        = {2507--2512},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/FUZZY.2011.6007606},
  doi          = {10.1109/FUZZY.2011.6007606},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fuzzIEEE/PereiraFCVSAKRHF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/CadilhacFM11,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Rudolf Freund and
                  Markus Holzer and
                  Carlo Mereghetti and
                  Friedrich Otto and
                  Beatrice Palano},
  title        = {On the Expressiveness of Parikh Automata and Related Models},
  booktitle    = {Third Workshop on Non-Classical Models for Automata and Applications
                  - {NCMA} 2011, Milan, Italy, July 18 - July 19, 2011. Proceedings},
  series       = {books@ocg.at},
  volume       = {282},
  pages        = {103--119},
  publisher    = {Austrian Computer Society},
  year         = {2011},
  timestamp    = {Thu, 17 Mar 2016 10:50:07 +0100},
  biburl       = {https://dblp.org/rec/conf/ncma/CadilhacFM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-3625,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  editor       = {Petr Ambroz and
                  Stepan Holub and
                  Zuzana Mas{\'{a}}kov{\'{a}}},
  title        = {Bounded Parikh Automata},
  booktitle    = {Proceedings 8th International Conference Words 2011, Prague, Czech
                  Republic, 12-16th September 2011},
  series       = {{EPTCS}},
  volume       = {63},
  pages        = {93--102},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.63.13},
  doi          = {10.4204/EPTCS.63.13},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-3625.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1101-1547,
  author       = {Micha{\"{e}}l Cadilhac and
                  Alain Finkel and
                  Pierre McKenzie},
  title        = {Storming the Parikh Automaton},
  journal      = {CoRR},
  volume       = {abs/1101.1547},
  year         = {2011},
  url          = {http://arxiv.org/abs/1101.1547},
  eprinttype    = {arXiv},
  eprint       = {1101.1547},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1101-1547.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdmbc/KellyMPKMFHK10,
  author       = {Damien P. Kelly and
                  David S. Monaghan and
                  Nitesh Pandey and
                  Tomasz Kozacki and
                  Aneta Michalkiewicz and
                  Grzegorz Finke and
                  Bryan M. Hennelly and
                  Malgorzata Kujawinska},
  title        = {Digital Holographic Capture and Optoelectronic Reconstruction for
                  3D Displays},
  journal      = {Int. J. Digit. Multim. Broadcast.},
  volume       = {2010},
  pages        = {759323:1--759323:14},
  year         = {2010},
  url          = {https://doi.org/10.1155/2010/759323},
  doi          = {10.1155/2010/759323},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijdmbc/KellyMPKMFHK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jat/MorenoMS10,
  author       = {Ana Pilar Foulqui{\'{e}} Moreno and
                  Andrei Mart{\'{\i}}nez{-}Finkelshtein and
                  V{\'{\i}}tor Lu{\'{\i}}s Sousa},
  title        = {On a conjecture of A. Magnus concerning the asymptotic behavior of
                  the recurrence coefficients of the generalized Jacobi polynomials},
  journal      = {J. Approx. Theory},
  volume       = {162},
  number       = {4},
  pages        = {807--831},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jat.2009.08.006},
  doi          = {10.1016/J.JAT.2009.08.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jat/MorenoMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3dui/SumaFCGH10,
  author       = {Evan A. Suma and
                  Samantha L. Finkelstein and
                  Seth Clark and
                  Paula Goolkasian and
                  Larry F. Hodges},
  title        = {Effects of travel technique and gender on a divided attention task
                  in a virtual environment},
  booktitle    = {{IEEE} Symposium on 3D User Interfaces, 3DUI 2010, Waltham, MA, USA,
                  20-21 March, 2010},
  pages        = {27--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/3DUI.2010.5444726},
  doi          = {10.1109/3DUI.2010.5444726},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/3dui/SumaFCGH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PowellFHPCTBD10,
  author       = {Eve Powell and
                  Samantha L. Finkelstein and
                  Andrew Hicks and
                  Thomas Phifer and
                  Sandhya Rani Charugulla and
                  Christie Thornton and
                  Tiffany Barnes and
                  Teresa A. Dahlberg},
  editor       = {Elizabeth D. Mynatt and
                  Don Schoner and
                  Geraldine Fitzpatrick and
                  Scott E. Hudson and
                  W. Keith Edwards and
                  Tom Rodden},
  title        = {{SNAG:} social networking games to facilitate interaction},
  booktitle    = {Proceedings of the 28th International Conference on Human Factors
                  in Computing Systems, {CHI} 2010, Extended Abstracts Volume, Atlanta,
                  Georgia, USA, April 10-15, 2010},
  pages        = {4249--4254},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1753846.1754134},
  doi          = {10.1145/1753846.1754134},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/PowellFHPCTBD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BencomoWSFL10,
  author       = {Nelly Bencomo and
                  Jon Whittle and
                  Peter Sawyer and
                  Anthony Finkelstein and
                  Emmanuel Letier},
  editor       = {Jeff Kramer and
                  Judith Bishop and
                  Premkumar T. Devanbu and
                  Sebasti{\'{a}}n Uchitel},
  title        = {Requirements reflection: requirements as runtime entities},
  booktitle    = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
                  Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
                  May 2010},
  pages        = {199--202},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1810295.1810329},
  doi          = {10.1145/1810295.1810329},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BencomoWSFL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DubinskyKFBCP10,
  author       = {Yael Dubinsky and
                  Philippe Kruchten and
                  Anthony Finkelstein and
                  Len Bass and
                  Sunita Chulani and
                  Rafael Prikladnicki},
  editor       = {Jeff Kramer and
                  Judith Bishop and
                  Premkumar T. Devanbu and
                  Sebasti{\'{a}}n Uchitel},
  title        = {Software Development Governance {(SDG)} Workshop},
  booktitle    = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
                  Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
                  May 2010},
  pages        = {463--464},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1810295.1810430},
  doi          = {10.1145/1810295.1810430},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DubinskyKFBCP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/FinkelsteinPHDCB10,
  author       = {Samantha L. Finkelstein and
                  Eve Powell and
                  Andrew Hicks and
                  Katelyn Doran and
                  Sandhya Rani Charugulla and
                  Tiffany Barnes},
  editor       = {Reyyan Ayfer and
                  John Impagliazzo and
                  Cary Laxer},
  title        = {{SNAG:} using social networking games to increase student retention
                  in computer science},
  booktitle    = {Proceedings of the 15th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara,
                  Turkey, June 26-30, 2010},
  pages        = {142--146},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1822090.1822131},
  doi          = {10.1145/1822090.1822131},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/FinkelsteinPHDCB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/npar/BenardCGF10,
  author       = {Pierre B{\'{e}}nard and
                  Forrester Cole and
                  Aleksey Golovinskiy and
                  Adam Finkelstein},
  editor       = {Morgan McGuire and
                  John P. Collomosse},
  title        = {Self-similar texture for coherent line stylization},
  booktitle    = {8th International Symposium on Non-Photorealistic Animation and Rendering,
                  {NPAR} 2010, Annecy, France, June 7-10, 2010, Proceedings},
  pages        = {91--97},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1809939.1809950},
  doi          = {10.1145/1809939.1809950},
  timestamp    = {Fri, 14 Aug 2020 15:24:46 +0200},
  biburl       = {https://dblp.org/rec/conf/npar/BenardCGF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/SawyerBWLF10,
  author       = {Peter Sawyer and
                  Nelly Bencomo and
                  Jon Whittle and
                  Emmanuel Letier and
                  Anthony Finkelstein},
  title        = {Requirements-Aware Systems: {A} Research Agenda for {RE} for Self-adaptive
                  Systems},
  booktitle    = {{RE} 2010, 18th {IEEE} International Requirements Engineering Conference,
                  Sydney, New South Wales, Australia, September 27 - October 1, 2010},
  pages        = {95--103},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/RE.2010.21},
  doi          = {10.1109/RE.2010.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/SawyerBWLF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/si3d/LuSF10,
  author       = {Jingwan Lu and
                  Pedro V. Sander and
                  Adam Finkelstein},
  editor       = {Daniel G. Aliaga and
                  Manuel M. Oliveira and
                  Amitabh Varshney and
                  Chris Wyman},
  title        = {Interactive painterly stylization of images, videos and 3D animations},
  booktitle    = {Proceedings of the 2010 Symposium on Interactive 3D Graphics, {SI3D}
                  2010, February 19-21, 2010, Washington, DC, {USA}},
  pages        = {127--134},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1730804.1730825},
  doi          = {10.1145/1730804.1730825},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/si3d/LuSF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2010sdg,
  editor       = {Yael Dubinsky and
                  Philippe Kruchten and
                  Anthony Finkelstein and
                  Len Bass and
                  Sunita Chulani and
                  Rafael Prikladnicki},
  title        = {Proceedings of the 2010 {ICSE} Workshop on Software Development Governance,
                  {SDG} '10, Cape Town, South Africa, May 8, 2010},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1808981},
  doi          = {10.1145/1808981},
  isbn         = {978-1-60558-979-4},
  timestamp    = {Thu, 27 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/2010sdg.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2802,
  author       = {Pierre Chambart and
                  Alain Finkel and
                  Sylvain Schmitz},
  title        = {Forward Analysis and Model Checking for Bounded {WSTS}},
  journal      = {CoRR},
  volume       = {abs/1004.2802},
  year         = {2010},
  url          = {http://arxiv.org/abs/1004.2802},
  eprinttype    = {arXiv},
  eprint       = {1004.2802},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1004-2802.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/4or/BraunerFLRKPS09,
  author       = {Nadia Brauner and
                  Gerd Finke and
                  Vassilissa Lehoux{-}Lebacque and
                  Christophe Rapine and
                  Hans Kellerer and
                  Chris N. Potts and
                  Vitaly A. Strusevich},
  title        = {Operator non-availability periods},
  journal      = {4OR},
  volume       = {7},
  number       = {3},
  pages        = {239--253},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10288-008-0084-6},
  doi          = {10.1007/S10288-008-0084-6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/4or/BraunerFLRKPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/BolchiniFPN09,
  author       = {Davide Bolchini and
                  Anthony Finkelstein and
                  Vito Perrone and
                  Sylvia Nagl},
  title        = {Better bioinformatics through usability analysis},
  journal      = {Bioinform.},
  volume       = {25},
  number       = {3},
  pages        = {406--412},
  year         = {2009},
  url          = {https://doi.org/10.1093/bioinformatics/btn633},
  doi          = {10.1093/BIOINFORMATICS/BTN633},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/BolchiniFPN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/McCuskerPBFK09,
  author       = {Jamie P. McCusker and
                  Joshua A. Phillips and
                  Alejandra N. Gonz{\'{a}}lez{-}Beltr{\'{a}}n and
                  Anthony Finkelstein and
                  Michael Krauthammer},
  title        = {Semantic web data warehousing for caGrid},
  journal      = {{BMC} Bioinform.},
  volume       = {10},
  number       = {{S-10}},
  pages        = {2},
  year         = {2009},
  url          = {https://doi.org/10.1186/1471-2105-10-S10-S2},
  doi          = {10.1186/1471-2105-10-S10-S2},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bmcbi/McCuskerPBFK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jat/KostovMS09,
  author       = {Vladimir P. Kostov and
                  Andrei Mart{\'{\i}}nez{-}Finkelshtein and
                  Boris Z. Shapiro},
  title        = {Narayana numbers and Schur-Szego composition},
  journal      = {J. Approx. Theory},
  volume       = {161},
  number       = {2},
  pages        = {464--476},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jat.2008.10.013},
  doi          = {10.1016/J.JAT.2008.10.013},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jat/KostovMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rairo/ArtiguesCFP09,
  author       = {Christian Artigues and
                  Van{-}Dat Cung and
                  Gerd Finke and
                  Bernard Penz},
  title        = {Articles {ROADEF} 2007},
  journal      = {{RAIRO} Oper. Res.},
  volume       = {43},
  number       = {4},
  pages        = {373--374},
  year         = {2009},
  url          = {https://doi.org/10.1051/ro/2009030},
  doi          = {10.1051/RO/2009030},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rairo/ArtiguesCFP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/NapolitanoBFMFM09,
  author       = {Giulio Napolitano and
                  Alejandra N. Gonz{\'{a}}lez{-}Beltr{\'{a}}n and
                  Colin Fox and
                  Adele H. Marshall and
                  Anthony Finkelstein and
                  Peter McCarron},
  editor       = {Lu{\'{\i}}s Azevedo and
                  Ana Rita Londral},
  title        = {Biomedical Ontologies and Grid Computing - As New Resources for Cancer
                  Registries},
  booktitle    = {Proceedings of the Second International Conference on Health Informatics,
                  {HEALTHINF} 2009, Porto, Portugal, January 14-17, 2009},
  pages        = {512--517},
  publisher    = {{INSTICC} Press},
  year         = {2009},
  timestamp    = {Wed, 15 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/biostec/NapolitanoBFMFM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09,
  author       = {Betty H. C. Cheng and
                  Rog{\'{e}}rio de Lemos and
                  Holger Giese and
                  Paola Inverardi and
                  Jeff Magee and
                  Jesper Andersson and
                  Basil Becker and
                  Nelly Bencomo and
                  Yuriy Brun and
                  Bojan Cukic and
                  Giovanna Di Marzo Serugendo and
                  Schahram Dustdar and
                  Anthony Finkelstein and
                  Cristina Gacek and
                  Kurt Geihs and
                  Vincenzo Grassi and
                  Gabor Karsai and
                  Holger M. Kienle and
                  Jeff Kramer and
                  Marin Litoiu and
                  Sam Malek and
                  Raffaela Mirandola and
                  Hausi A. M{\"{u}}ller and
                  Sooyong Park and
                  Mary Shaw and
                  Matthias Tichy and
                  Massimo Tivoli and
                  Danny Weyns and
                  Jon Whittle},
  editor       = {Betty H. C. Cheng and
                  Rog{\'{e}}rio de Lemos and
                  Holger Giese and
                  Paola Inverardi and
                  Jeff Magee},
  title        = {Software Engineering for Self-Adaptive Systems: {A} Research Roadmap},
  booktitle    = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl
                  Seminar]},
  series       = {Lecture Notes in Computer Science},
  volume       = {5525},
  pages        = {1--26},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02161-9\_1},
  doi          = {10.1007/978-3-642-02161-9\_1},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/BolchiniFP09,
  author       = {Davide Bolchini and
                  Anthony Finkelstein and
                  Paolo Paolini},
  editor       = {Julie A. Jacko},
  title        = {Designing Usable Bio-information Architectures},
  booktitle    = {Human-Computer Interaction. Interacting in Various Application Domains,
                  13th International Conference, {HCI} International 2009, San Diego,
                  CA, USA, July 19-24, 2009, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5613},
  pages        = {653--662},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02583-9\_71},
  doi          = {10.1007/978-3-642-02583-9\_71},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/BolchiniFP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BunyakiatiF09,
  author       = {Panuchart Bunyakiati and
                  Anthony Finkelstein},
  editor       = {Dimitris Dranidis and
                  Stephen P. Masticola and
                  Paul A. Strooper},
  title        = {The Compliance Testing of Software Tools with Respect to the {UML}
                  Standards Specification - The ArgoUML Case Study},
  booktitle    = {Proceedings of the 4th International Workshop on Automation of Software
                  Test, {AST} 2009, Vancouver, BC, Canada, May 18-19, 2009},
  pages        = {138--143},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/IWAST.2009.5069052},
  doi          = {10.1109/IWAST.2009.5069052},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BunyakiatiF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-3405,
  author       = {Florent Bouchy and
                  Alain Finkel and
                  Pierluigi {San Pietro}},
  editor       = {Axel Legay},
  title        = {Dense-choice Counter Machines revisited},
  booktitle    = {Proceedings International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2009, Bologna, Italy, 31th August 2009},
  series       = {{EPTCS}},
  volume       = {10},
  pages        = {3--22},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.10.1},
  doi          = {10.4204/EPTCS.10.1},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-3405.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/alr/SapatyMFSL08,
  author       = {Peter Sapaty and
                  Anatoly Morozov and
                  Robert Finkelstein and
                  Masanori Sugisaka and
                  Dale Lambert},
  title        = {A new concept of flexible organization for distributed robotized systems},
  journal      = {Artif. Life Robotics},
  volume       = {12},
  number       = {1-2},
  pages        = {88--96},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10015-007-0447-7},
  doi          = {10.1007/S10015-007-0447-7},
  timestamp    = {Tue, 01 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/alr/SapatyMFSL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BardinFLP08,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Laure Petrucci},
  title        = {{FAST:} acceleration from theory to practice},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {10},
  number       = {5},
  pages        = {401--424},
  year         = {2008},
  url          = {https://doi.org/10.1007/s10009-008-0064-3},
  doi          = {10.1007/S10009-008-0064-3},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BardinFLP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdsc/AfrahMPFF08,
  author       = {Amir Afrah and
                  Gregor Miller and
                  Donovan H. Parks and
                  Martin Matthias Finke and
                  Sidney S. Fels},
  title        = {Hive: {A} distributed system for vision processing},
  booktitle    = {2008 Second {ACM/IEEE} International Conference on Distributed Smart
                  Cameras, Stanford, CA, USA, September 7-11, 2008},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICDSC.2008.4635724},
  doi          = {10.1109/ICDSC.2008.4635724},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdsc/AfrahMPFF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BunyakiatiFSC08,
  author       = {Panuchart Bunyakiati and
                  Anthony Finkelstein and
                  James Skene and
                  Clovis Chapman},
  editor       = {Wilhelm Sch{\"{a}}fer and
                  Matthew B. Dwyer and
                  Volker Gruhn},
  title        = {Using {JULE} to generate a compliance test suite for the {UML} standard},
  booktitle    = {30th International Conference on Software Engineering {(ICSE} 2008),
                  Leipzig, Germany, May 10-18, 2008},
  pages        = {827--830},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1368088.1368212},
  doi          = {10.1145/1368088.1368212},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/BunyakiatiFSC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/HetheringtonBSMLRYBAPSFW07,
  author       = {James Hetherington and
                  Ian David Lockhart Bogle and
                  Peter Saffrey and
                  Ofer Margoninski and
                  Linzhong Li and
                  Marta Varela{-}Rey and
                  Sachie Yamaji and
                  Stephen Baigent and
                  Jonathan Ashmore and
                  K. Page and
                  Robert M. Seymour and
                  Anthony Finkelstein and
                  Anne Warner},
  title        = {Addressing the challenges of multiscale model management in systems
                  biology},
  journal      = {Comput. Chem. Eng.},
  volume       = {31},
  number       = {8},
  pages        = {962--979},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.compchemeng.2006.10.004},
  doi          = {10.1016/J.COMPCHEMENG.2006.10.004},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cce/HetheringtonBSMLRYBAPSFW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/SaffreyMHVYFBW07,
  author       = {Peter Saffrey and
                  Ofer Margoninski and
                  James Hetherington and
                  Marta Varela{-}Rey and
                  Sachie Yamaji and
                  Anthony Finkelstein and
                  Ian David Lockhart Bogle and
                  Anne Warner},
  title        = {End-to-End Information Management for Systems Biology},
  journal      = {Trans. Comp. Sys. Biology},
  volume       = {8},
  pages        = {77--91},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76639-1\_5},
  doi          = {10.1007/978-3-540-76639-1\_5},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcsb/SaffreyMHVYFBW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/PellaciniBMF07,
  author       = {Fabio Pellacini and
                  Frank Battaglia and
                  R. Keith Morley and
                  Adam Finkelstein},
  title        = {Lighting with paint},
  journal      = {{ACM} Trans. Graph.},
  volume       = {26},
  number       = {2},
  pages        = {9},
  year         = {2007},
  url          = {https://doi.org/10.1145/1243980.1243983},
  doi          = {10.1145/1243980.1243983},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tog/PellaciniBMF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/PieczkiewiczFH07,
  author       = {David S. Pieczkiewicz and
                  Stanley M. Finkelstein and
                  Marshall Hertz},
  title        = {Design and Evaluation of a Web-Based Interactive Visualization System
                  for Lung Transplant Home Monitoring Data},
  booktitle    = {{AMIA} 2007, American Medical Informatics Association Annual Symposium,
                  Chicago, IL, USA, November 10-14, 2007},
  publisher    = {{AMIA}},
  year         = {2007},
  url          = {https://knowledge.amia.org/amia-55142-a2007a-1.623841/t-001-1.624626/f-001-1.624627/a-114-1.624786/a-115-1.624783},
  timestamp    = {Wed, 17 Apr 2024 11:48:14 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/PieczkiewiczFH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/PerroneF07,
  author       = {Vito Perrone and
                  Anthony Finkelstein},
  title        = {Analyzing Requirements for a Large Scale System for Cancer Research},
  booktitle    = {20th {IEEE} International Symposium on Computer-Based Medical Systems
                  {(CBMS} 2007), 20-22 June 2007, Maribor, Slovenia},
  pages        = {103--108},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/CBMS.2007.24},
  doi          = {10.1109/CBMS.2007.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/PerroneF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/BunyakiatiFR07,
  author       = {Panuchart Bunyakiati and
                  Anthony Finkelstein and
                  David S. Rosenblum},
  title        = {The Certification of Software Tools with respect to Software Standards},
  booktitle    = {Proceedings of the {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} 2007, 13-15 August 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {724--729},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/IRI.2007.4296706},
  doi          = {10.1109/IRI.2007.4296706},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/BunyakiatiFR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/MattmannPKCFM07,
  author       = {Chris Mattmann and
                  Vito Perrone and
                  Sean C. Kelly and
                  Daniel J. Crichton and
                  Anthony Finkelstein and
                  Nenad Medvidovic},
  title        = {A Reference Framework for Requirements and Architecture in Biomedical
                  Grid Systems},
  booktitle    = {Proceedings of the {IEEE} International Conference on Information
                  Reuse and Integration, {IRI} 2007, 13-15 August 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {418--422},
  publisher    = {{IEEE} Systems, Man, and Cybernetics Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/IRI.2007.4296656},
  doi          = {10.1109/IRI.2007.4296656},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iri/MattmannPKCFM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/JahnkeTFWGAM07,
  author       = {Marko Jahnke and
                  Jens T{\"{o}}lle and
                  Alexander Finkenbrink and
                  Alexander Wenzel and
                  Elmar Gerhards{-}Padilla and
                  Nils Aschenbruck and
                  Peter Martini},
  editor       = {Hsiao{-}Hwa Chen and
                  Luciano Bononi},
  title        = {Methodologies and frameworks for testing ids in adhoc networks},
  booktitle    = {Q2SWinet'07 - Proceedings of the Third {ACM} Workshop on {Q2S} and
                  Security for Wireless and Mobile Networks, Chania, Crete Island, Greece,
                  October 22, 2007},
  pages        = {113--122},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1298239.1298259},
  doi          = {10.1145/1298239.1298259},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mswim/JahnkeTFWGAM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jamia/HarrisMPFZPF06,
  author       = {Anthony D. Harris and
                  Jessina C. McGregor and
                  Eli N. Perencevich and
                  Jon P. Furuno and
                  Jingkun Zhu and
                  Dan E. Peterson and
                  Joseph Finkelstein},
  title        = {Position Paper: The Use and Interpretation of Quasi-Experimental Studies
                  in Medical Informatics},
  journal      = {J. Am. Medical Informatics Assoc.},
  volume       = {13},
  number       = {1},
  pages        = {16--23},
  year         = {2006},
  url          = {https://doi.org/10.1197/jamia.M1749},
  doi          = {10.1197/JAMIA.M1749},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jamia/HarrisMPFZPF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/MargoninskiSHFW06,
  author       = {Ofer Margoninski and
                  Peter Saffrey and
                  James Hetherington and
                  Anthony Finkelstein and
                  Anne Warner},
  title        = {A Specification Language and a Framework for the Execution of Composite
                  Models in Systems Biology},
  journal      = {Trans. Comp. Sys. Biology},
  volume       = {7},
  pages        = {163--184},
  year         = {2006},
  url          = {https://doi.org/10.1007/11905455\_9},
  doi          = {10.1007/11905455\_9},
  timestamp    = {Wed, 06 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcsb/MargoninskiSHFW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/FinkePS06,
  author       = {Jorge Finke and
                  Kevin M. Passino and
                  Andrew G. Sparks},
  title        = {Stable task load balancing strategies for Cooperative control of networked
                  autonomous air vehicles},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {14},
  number       = {5},
  pages        = {789--803},
  year         = {2006},
  url          = {https://doi.org/10.1109/TCST.2006.876902},
  doi          = {10.1109/TCST.2006.876902},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcst/FinkePS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iq/AikenMBFSSCBSMCRHF06,
  author       = {Peter Aiken and
                  Chris Metz and
                  Anthony Berta and
                  Bill Finkel and
                  Tracy Skalak and
                  Bob Stanley and
                  Susan Carter and
                  Graham Blevins and
                  Johns Sells and
                  John McKeon and
                  Debi Crockett and
                  David Rafner and
                  Diane Hara and
                  Jennifer Farris},
  editor       = {John R. Talburt and
                  Elizabeth M. Pierce and
                  Ningning Wu and
                  Traci Campbell},
  title        = {Assuring Data Quality for {ERP} Implementation: Part 2 - Comprehending
                  the Evolving Picture},
  booktitle    = {Proceedings of the 11th International Conference on Information Quality,
                  MIT, Cambridge, MA, USA, November 10-12, 2006},
  pages        = {430--444},
  publisher    = {{MIT}},
  year         = {2006},
  url          = {http://mitiq.mit.edu/iciq/iqdownload.aspx?ICIQYear=2006\&File=Assuring+Data+Quality+for+ERP+Implementation-+Part+2-Comprehending+the+Evolving+Picture.pdf},
  timestamp    = {Mon, 31 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iq/AikenMBFSSCBSMCRHF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/FinkelsteinLPE06,
  author       = {Anthony Finkelstein and
                  Joe Lewis{-}Bowen and
                  Giacomo Piccinelli and
                  Wolfgang Emmerich},
  editor       = {Jos{\'{e}} C. Cunha and
                  Omer F. Rana},
  title        = {Using Event Models in Grid Design},
  booktitle    = {Grid Computing: Software Environments and Tools},
  pages        = {19--44},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/1-84628-339-6\_2},
  doi          = {10.1007/1-84628-339-6\_2},
  timestamp    = {Tue, 16 May 2017 14:01:33 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/FinkelsteinLPE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cga/WallaceABCCCCFFGHLLSST05,
  author       = {Grant Wallace and
                  Otto J. Anshus and
                  Peng Bi and
                  Han Chen and
                  Yuqun Chen and
                  Douglas W. Clark and
                  Perry R. Cook and
                  Adam Finkelstein and
                  Thomas A. Funkhouser and
                  Anoop Gupta and
                  Matthew A. Hibbs and
                  Kai Li and
                  Zhiyan Liu and
                  Rudrajit Samanta and
                  Rahul Sukthankar and
                  Olga G. Troyanskaya},
  title        = {Tools and Applications for Large-Scale Display Walls},
  journal      = {{IEEE} Computer Graphics and Applications},
  volume       = {25},
  number       = {4},
  pages        = {24--33},
  year         = {2005},
  url          = {https://doi.org/10.1109/MCG.2005.89},
  doi          = {10.1109/MCG.2005.89},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cga/WallaceABCCCCFFGHLLSST05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/PhilippJFBLW05,
  author       = {Frank Philipp and
                  M. Jantke and
                  Ekkehard Finkeissen and
                  Bernd Beedgen and
                  Otwin Linderkamp and
                  Thomas Wetter},
  title        = {Introducing DoT-U2 - an XML-based knowledge supported checklist software
                  for documentation of a newborn clinical screening examination},
  journal      = {Comput. Methods Programs Biomed.},
  volume       = {77},
  number       = {2},
  pages        = {115--120},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.cmpb.2004.09.005},
  doi          = {10.1016/J.CMPB.2004.09.005},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cmpb/PhilippJFBLW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/JoshiAAF05,
  author       = {Ashish Joshi and
                  Pamela J. Amelung and
                  Mohit Arora and
                  Joseph Finkelstein},
  title        = {Clinical Impact of Home Automated Telemanagement in Asthma},
  booktitle    = {{AMIA} 2005, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, October 22-26, 2005},
  publisher    = {{AMIA}},
  year         = {2005},
  url          = {https://knowledge.amia.org/amia-55142-a2005a-1.613296/t-002-1.615605/f-001-1.615606/a-297-1.615791/a-298-1.615788},
  timestamp    = {Wed, 17 Apr 2024 11:48:22 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/JoshiAAF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BardinFLS05,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Philippe Schnoebelen},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Flat Acceleration in Symbolic Model Checking},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {474--488},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_35},
  doi          = {10.1007/11562948\_35},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BardinFLS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/BegentBFGKPRW05,
  author       = {R. H. J. Begent and
                  J. Michael Brady and
                  Anthony Finkelstein and
                  David Gavaghan and
                  P. Kerr and
                  H. Parkinson and
                  Fiona Reddington and
                  J. Max Wilkinson},
  title        = {Challenges of Ultra Large Scale Integration of Biomedical Computing
                  Systems},
  booktitle    = {18th {IEEE} Symposium on Computer-Based Medical Systems {(CBMS} 2005),
                  23-24 June 2005, Dublin, Ireland},
  pages        = {64--69},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CBMS.2005.40},
  doi          = {10.1109/CBMS.2005.40},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cbms/BegentBFGKPRW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbss/AlvesFCF05,
  author       = {Carina Frota Alves and
                  Xavier Franch and
                  Juan Pablo Carvallo and
                  Anthony Finkelstein},
  editor       = {Xavier Franch and
                  Daniel Port},
  title        = {Using Goals and Quality Models to Support the Matching Analysis During
                  {COTS} Selection},
  booktitle    = {COTS-Based Software Systems, 4th International Conference, {ICCBSS}
                  2005, Bilbao, Spain, February 7-11, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3412},
  pages        = {146--156},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-30587-3\_25},
  doi          = {10.1007/978-3-540-30587-3\_25},
  timestamp    = {Sat, 14 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccbss/AlvesFCF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BraunerEFGP05,
  author       = {Nadia Brauner and
                  Rachid Echahed and
                  Gerd Finke and
                  Hanns Gregor and
                  Fr{\'{e}}d{\'{e}}ric Prost},
  editor       = {Manuel V. Hermenegildo and
                  Daniel Cabeza},
  title        = {Specializing Narrowing for Timetable Generation: {A} Case Study},
  booktitle    = {Practical Aspects of Declarative Languages, 7th International Symposium,
                  {PADL} 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3350},
  pages        = {22--36},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-30557-6\_4},
  doi          = {10.1007/978-3-540-30557-6\_4},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/padl/BraunerEFGP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/FinkelsteinHLMSSW04,
  author       = {Anthony Finkelstein and
                  James Hetherington and
                  Linzhong Li and
                  Ofer Margoninski and
                  Peter Saffrey and
                  Robert M. Seymour and
                  Anne Warner},
  title        = {Computational Challenges of Systems Biology},
  journal      = {Computer},
  volume       = {37},
  number       = {5},
  pages        = {26--33},
  year         = {2004},
  url          = {https://doi.org/10.1109/MC.2004.1297236},
  doi          = {10.1109/MC.2004.1297236},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/FinkelsteinHLMSSW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FinkelMP04,
  author       = {Alain Finkel and
                  Pierre McKenzie and
                  Claudine Picaronny},
  title        = {A well-structured framework for analysing petri net extensions},
  journal      = {Inf. Comput.},
  volume       = {195},
  number       = {1-2},
  pages        = {1--29},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2004.01.005},
  doi          = {10.1016/J.IC.2004.01.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FinkelMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelsteinFL04,
  author       = {Stacy E. Finkelstein and
                  Peter J. Freyd and
                  James Lipton},
  title        = {Erratum to: "A new framework for declarative programming": [Theoret.
                  Comput. Sci. 300 {(2003)} 91-160]},
  journal      = {Theor. Comput. Sci.},
  volume       = {311},
  number       = {1-3},
  pages        = {527},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2003.09.011},
  doi          = {10.1016/J.TCS.2003.09.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FinkelsteinFL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/ZirpinsPLF04,
  author       = {Christian Zirpins and
                  Giacomo Piccinelli and
                  Winfried Lamersdorf and
                  Anthony Finkelstein},
  editor       = {Jacques Malenfant and
                  Bjarte M. {\O}stvold},
  title        = {Object Orientation and Web Services},
  booktitle    = {Object-Oriented Technology: {ECOOP} 2004 Workshop Reader, {ECOOP}
                  2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports},
  series       = {Lecture Notes in Computer Science},
  volume       = {3344},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30554-5\_1},
  doi          = {10.1007/978-3-540-30554-5\_1},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/ZirpinsPLF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icai/PonnuruFMT04,
  author       = {Hemantha Ponnuru and
                  Raphael A. Finkel and
                  Victor W. Marek and
                  Miroslaw Truszczynski},
  editor       = {Hamid R. Arabnia},
  title        = {Automatic Generation of English-language Steps in Puzzle Solving},
  booktitle    = {Proceedings of the International Conference on Artificial Intelligence,
                  {IC-AI} '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1},
  pages        = {437--442},
  publisher    = {{CSREA} Press},
  year         = {2004},
  timestamp    = {Fri, 19 Nov 2004 14:58:57 +0100},
  biburl       = {https://dblp.org/rec/conf/icai/PonnuruFMT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FinkelIS03,
  author       = {Alain Finkel and
                  S. Purushothaman Iyer and
                  Gr{\'{e}}goire Sutre},
  title        = {Well-abstracted transition systems: application to {FIFO} automata},
  journal      = {Inf. Comput.},
  volume       = {181},
  number       = {1},
  pages        = {1--31},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0890-5401(02)00027-5},
  doi          = {10.1016/S0890-5401(02)00027-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/FinkelIS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/PiccinelliFC03,
  author       = {Giacomo Piccinelli and
                  Anthony Finkelstein and
                  Tommaso Costa},
  title        = {Flexible {B2B} processes: the answer is in the nodes},
  journal      = {Inf. Softw. Technol.},
  volume       = {45},
  number       = {15},
  pages        = {1061--1063},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0950-5849(03)00134-4},
  doi          = {10.1016/S0950-5849(03)00134-4},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/PiccinelliFC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/GollubBBDFHHJKMSBBS03,
  author       = {Jeremy Gollub and
                  Catherine A. Ball and
                  Gail Binkley and
                  Janos Demeter and
                  David B. Finkelstein and
                  Joan M. Hebert and
                  Tina Hernandez{-}Boussard and
                  Heng Jin and
                  Miroslava Kaloper and
                  John C. Matese and
                  Mark Schroeder and
                  Patrick O. Brown and
                  David Botstein and
                  Gavin Sherlock},
  title        = {The Stanford Microarray Database: data access and quality assessment
                  tools},
  journal      = {Nucleic Acids Res.},
  volume       = {31},
  number       = {1},
  pages        = {94--96},
  year         = {2003},
  url          = {https://doi.org/10.1093/nar/gkg078},
  doi          = {10.1093/NAR/GKG078},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/nar/GollubBBDFHHJKMSBBS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/SunWWFI03,
  author       = {P. Sun and
                  Q. H. Wu and
                  A. M. Weindling and
                  A. Finkelstein and
                  K. Ibrahim},
  title        = {An improved morphological approach to background normalization of
                  {ECG} signals},
  journal      = {{IEEE} Trans. Biomed. Eng.},
  volume       = {50},
  number       = {1},
  pages        = {117--121},
  year         = {2003},
  url          = {https://doi.org/10.1109/TBME.2002.805486},
  doi          = {10.1109/TBME.2002.805486},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tbe/SunWWFI03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelsteinFL03,
  author       = {Stacy E. Finkelstein and
                  Peter J. Freyd and
                  James Lipton},
  title        = {A new framework for declarative programming},
  journal      = {Theor. Comput. Sci.},
  volume       = {300},
  number       = {1-3},
  pages        = {91--160},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(01)00308-5},
  doi          = {10.1016/S0304-3975(01)00308-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FinkelsteinFL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/KalninsDMF03,
  author       = {Robert D. Kalnins and
                  Phillip L. Davidson and
                  Lee Markosian and
                  Adam Finkelstein},
  title        = {Coherent stylized silhouettes},
  journal      = {{ACM} Trans. Graph.},
  volume       = {22},
  number       = {3},
  pages        = {856--861},
  year         = {2003},
  url          = {https://doi.org/10.1145/882262.882355},
  doi          = {10.1145/882262.882355},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tog/KalninsDMF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BardinFLP03,
  author       = {S{\'{e}}bastien Bardin and
                  Alain Finkel and
                  J{\'{e}}r{\^{o}}me Leroux and
                  Laure Petrucci},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {{FAST:} Fast Acceleration of Symbolikc Transition Systems},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {118--121},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_12},
  doi          = {10.1007/978-3-540-45069-6\_12},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BardinFLP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/FinkePS03,
  author       = {Jorge Finke and
                  Kevin M. Passino and
                  Andrew G. Sparks},
  title        = {Cooperative control via task load balancing for networked uninhabited
                  autonomous vehicles},
  booktitle    = {42nd {IEEE} Conference on Decision and Control, {CDC} 2003, Maui,
                  Hawaii, USA, December 9-12, 2003},
  pages        = {31--36},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/CDC.2003.1272531},
  doi          = {10.1109/CDC.2003.1272531},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/FinkePS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/FinkelsteinLLPW03,
  author       = {Anthony Finkelstein and
                  Winfried Lamersdorf and
                  Frank Leymann and
                  Giacomo Piccinelli and
                  Sanjiva Weerawarana},
  editor       = {Frank Buschmann and
                  Alejandro P. Buchmann and
                  Mariano Cilia},
  title        = {Object Orientation and Web Services},
  booktitle    = {Object-Oriented Technology: {ECOOP} 2003 Workshop Reader, {ECOOP}
                  2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports},
  series       = {Lecture Notes in Computer Science},
  volume       = {3013},
  pages        = {179--189},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25934-3\_17},
  doi          = {10.1007/978-3-540-25934-3\_17},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/FinkelsteinLLPW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/PiccinelliFW03,
  author       = {Giacomo Piccinelli and
                  Anthony Finkelstein and
                  Scott Lane Williams},
  title        = {Service-Oriented Workflow: The DySCo Framework},
  booktitle    = {29th {EUROMICRO} Conference 2003, New Waves in System Architecture,
                  3-5 September 2003, Belek-Antalya, Turkey},
  pages        = {291--297},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/EURMIC.2003.1231604},
  doi          = {10.1109/EURMIC.2003.1231604},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/PiccinelliFW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tog/KalninsMMKLDWHF02,
  author       = {Robert D. Kalnins and
                  Lee Markosian and
                  Barbara J. Meier and
                  Michael A. Kowalski and
                  Joseph C. Lee and
                  Phillip L. Davidson and
                  Matthew Webb and
                  John F. Hughes and
                  Adam Finkelstein},
  title        = {{WYSIWYG} {NPR:} drawing strokes directly on 3D models},
  journal      = {{ACM} Trans. Graph.},
  volume       = {21},
  number       = {3},
  pages        = {755--762},
  year         = {2002},
  url          = {https://doi.org/10.1145/566654.566648},
  doi          = {10.1145/566654.566648},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tog/KalninsMMKLDWHF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscwd/SchulzFW02,
  author       = {Armin P. Schulz and
                  Stephan Finkel and
                  Michael Wieser},
  editor       = {Weiming Shen and
                  Jano Moreira de Souza and
                  Jean{-}Paul A. Barth{\`{e}}s and
                  Zongkai Lin},
  title        = {Design Center - {A} Collaborative Environment for the Integrated Development
                  of Products and Services},
  booktitle    = {Proceedings of the Seventh International Conference on {CSCW} in Design,
                  {CSCWD} 2002, September 25-27, 2002, Rio de Janeiro, Brazil},
  pages        = {151--157},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/CSCWD.2002.1047671},
  doi          = {10.1109/CSCWD.2002.1047671},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cscwd/SchulzFW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/KazhdanCDFF02,
  author       = {Michael M. Kazhdan and
                  Bernard Chazelle and
                  David P. Dobkin and
                  Adam Finkelstein and
                  Thomas A. Funkhouser},
  editor       = {Anders Heyden and
                  Gunnar Sparr and
                  Mads Nielsen and
                  Peter Johansen},
  title        = {A Reflective Symmetry Descriptor},
  booktitle    = {Computer Vision - {ECCV} 2002, 7th European Conference on Computer
                  Vision, Copenhagen, Denmark, May 28-31, 2002, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2351},
  pages        = {642--656},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-47967-8\_43},
  doi          = {10.1007/3-540-47967-8\_43},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/eccv/KazhdanCDFF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/MonostoriFZHP02,
  author       = {Kriszti{\'{a}}n Monostori and
                  Raphael A. Finkel and
                  Arkady B. Zaslavsky and
                  G{\'{a}}bor Hod{\'{a}}sz and
                  M{\'{a}}t{\'{e}} Pataki},
  editor       = {Peter M. A. Sloot and
                  Chih Jeng Kenneth Tan and
                  Jack J. Dongarra and
                  Alfons G. Hoekstra},
  title        = {Comparison of Overlap Detection Techniques},
  booktitle    = {Computational Science - {ICCS} 2002, International Conference, Amsterdam,
                  The Netherlands, April 21-24, 2002. Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2329},
  pages        = {51--60},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-46043-8\_4},
  doi          = {10.1007/3-540-46043-8\_4},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iccS/MonostoriFZHP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/BauerPF02,
  author       = {Dieter Bauer and
                  Axel Plinge and
                  Martin Finke},
  editor       = {Klaus Miesenberger and
                  Joachim Klaus and
                  Wolfgang L. Zagler},
  title        = {Selective Phoneme Spotting for Realization of an /s, z, C, t/ Transposer},
  booktitle    = {Computers Helping People with Special Needs, 8th International Conference,
                  {ICCHP} 2002, Linz, Austria, July 15-20, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2398},
  pages        = {153--161},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45491-8\_32},
  doi          = {10.1007/3-540-45491-8\_32},
  timestamp    = {Tue, 29 Dec 2020 18:41:23 +0100},
  biburl       = {https://dblp.org/rec/conf/icchp/BauerPF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/BauerPF02a,
  author       = {Dieter Bauer and
                  Axel Plinge and
                  Martin Finke},
  editor       = {Klaus Miesenberger and
                  Joachim Klaus and
                  Wolfgang L. Zagler},
  title        = {Digital Speech Signal Processing to Compensate Severe Sensory Hearing
                  Deficits: The /s, z, C, t/ Transposer Module in Simulation - An Overview
                  and Examples},
  booktitle    = {Computers Helping People with Special Needs, 8th International Conference,
                  {ICCHP} 2002, Linz, Austria, July 15-20, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2398},
  pages        = {168--169},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45491-8\_36},
  doi          = {10.1007/3-540-45491-8\_36},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icchp/BauerPF02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/BergerLWCSMFECF02,
  author       = {Michael Berger and
                  Ernesto L{\'{o}}pez{-}Baeza and
                  Jean{-}Pierre Wigneron and
                  Jean{-}Christophe Calvet and
                  Lester P. Simmonds and
                  Jerry Miller and
                  Heinz Finkenzeller and
                  Jacqueline Etcheto and
                  Adriano Camps and
                  Jordi Font and
                  Patrick Wursteisen and
                  Bruce Main and
                  Peter Fletcher and
                  Yann Kerr and
                  Evert Attema},
  title        = {The EuroSTARRS campaign in support of the Soil Moisture and Ocean
                  Salinity mission},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2002, Toronto, Ontario, Canada, 24-28 June 2002},
  pages        = {1152--1154},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/IGARSS.2002.1025805},
  doi          = {10.1109/IGARSS.2002.1025805},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/BergerLWCSMFECF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/npar/WebbPFH02,
  author       = {Matthew Webb and
                  Emil Praun and
                  Adam Finkelstein and
                  Hugues Hoppe},
  editor       = {Adam Finkelstein},
  title        = {Fine tone control in hardware hatching},
  booktitle    = {2nd International Symposium on Non-Photorealistic Animation and Rendering,
                  {NPAR} 2002, Annecy, France, June 3-5, 2002, Proceedings},
  pages        = {53--58},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/508530.508540},
  doi          = {10.1145/508530.508540},
  timestamp    = {Fri, 14 Aug 2020 15:05:40 +0200},
  biburl       = {https://dblp.org/rec/conf/npar/WebbPFH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sca/KleinSFC02,
  author       = {Allison W. Klein and
                  Peter{-}Pike J. Sloan and
                  Adam Finkelstein and
                  Michael F. Cohen},
  editor       = {Jessica K. Hodgins and
                  Michiel van de Panne and
                  Michael F. Cohen and
                  Nancy S. Pollard},
  title        = {Stylized video cubes},
  booktitle    = {Proceedings of the 2002 {ACM} SIGGRAPH/Eurographics Symposium on Computer
                  Animation, San Antonio, TX, USA, July 21-22, 2002},
  pages        = {15--22},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/545261.545264},
  doi          = {10.1145/545261.545264},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sca/KleinSFC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BoyapatiCFGPSW02,
  author       = {Vijay Boyapati and
                  Kristie Chevrier and
                  Avi Finkel and
                  Natalie S. Glance and
                  Tom Pierce and
                  Robert Stockton and
                  Chip Whitmer},
  editor       = {David Lassner and
                  David De Roure and
                  Arun Iyengar},
  title        = {ChangeDetector[tm]: a site-level monitoring tool for the {WWW}},
  booktitle    = {Proceedings of the Eleventh International World Wide Web Conference,
                  {WWW} 2002, May 7-11, 2002, Honolulu, Hawaii, {USA}},
  pages        = {570--579},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/511446.511521},
  doi          = {10.1145/511446.511521},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/www/BoyapatiCFGPSW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Berard01,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Michel Bidoit and
                  Alain Finkel and
                  Fran{\c{c}}ois Laroussinie and
                  Antoine Petit and
                  Laure Petrucci and
                  Philippe Schnoebelen and
                  Pierre McKenzie},
  title        = {Systems and Software Verification, Model-Checking Techniques and Tools},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-662-04558-9},
  doi          = {10.1007/978-3-662-04558-9},
  isbn         = {978-3-642-07478-3},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/lib/Berard01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/TarrHOFNP01,
  author       = {Peri L. Tarr and
                  William H. Harrison and
                  Harold Ossher and
                  Anthony Finkelstein and
                  Bashar Nuseibeh and
                  Dewayne E. Perry},
  title        = {Workshop on multi-dimensional separation of concerns in software engineering},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {26},
  number       = {1},
  pages        = {78--81},
  year         = {2001},
  url          = {https://doi.org/10.1145/505894.505912},
  doi          = {10.1145/505894.505912},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/TarrHOFNP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelS01,
  author       = {Alain Finkel and
                  Philippe Schnoebelen},
  title        = {Well-structured transition systems everywhere!},
  journal      = {Theor. Comput. Sci.},
  volume       = {256},
  number       = {1-2},
  pages        = {63--92},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00102-X},
  doi          = {10.1016/S0304-3975(00)00102-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FinkelS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/PiccinelliEF01,
  author       = {Giacomo Piccinelli and
                  Wolfgang Emmerich and
                  Anthony Finkelstein},
  title        = {Mapping Service Components to {EJB} Business Objects},
  booktitle    = {5th International Enterprise Distributed Object Computing Conference
                  {(EDOC} 2001), 4-7 September 2001, Seattle, WA, USA, Proceedings},
  pages        = {169--173},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/EDOC.2001.950434},
  doi          = {10.1109/EDOC.2001.950434},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edoc/PiccinelliEF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/si3d/LengyelPFH01,
  author       = {Jerome Edward Lengyel and
                  Emil Praun and
                  Adam Finkelstein and
                  Hugues Hoppe},
  editor       = {John F. Hughes and
                  Carlo H. S{\'{e}}quin},
  title        = {Real-time fur over arbitrary surfaces},
  booktitle    = {Proceedings of the 2001 Symposium on Interactive 3D Graphics, {SI3D}
                  2001, Chapel Hill, NC, USA, March 26-29, 2001},
  pages        = {227--232},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/364338.364407},
  doi          = {10.1145/364338.364407},
  timestamp    = {Fri, 14 Jan 2022 14:25:23 +0100},
  biburl       = {https://dblp.org/rec/conf/si3d/LengyelPFH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/PraunHWF01,
  author       = {Emil Praun and
                  Hugues Hoppe and
                  Matthew Webb and
                  Adam Finkelstein},
  editor       = {Lynn Pocock},
  title        = {Real-time hatching},
  booktitle    = {Proceedings of the 28th Annual Conference on Computer Graphics and
                  Interactive Techniques, {SIGGRAPH} 2001, Los Angeles, California,
                  USA, August 12-17, 2001},
  pages        = {581},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/383259.383328},
  doi          = {10.1145/383259.383328},
  timestamp    = {Tue, 06 Nov 2018 16:59:14 +0100},
  biburl       = {https://dblp.org/rec/conf/siggraph/PraunHWF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cga/LiCCCCDEFFHKLPSSSTZ00,
  author       = {Kai Li and
                  Han Chen and
                  Yuqun Chen and
                  Douglas W. Clark and
                  Perry R. Cook and
                  Stefanos N. Damianakis and
                  Georg Essl and
                  Adam Finkelstein and
                  Thomas A. Funkhouser and
                  Timothy C. Housel and
                  Allison W. Klein and
                  Zhiyan Liu and
                  Emil Praun and
                  Rudrajit Samanta and
                  Ben Shedd and
                  Jaswinder Pal Singh and
                  George Tzanetakis and
                  Jiannan Zheng},
  title        = {Building and Using {A} Scalable Display Wall System},
  journal      = {{IEEE} Computer Graphics and Applications},
  volume       = {20},
  number       = {4},
  pages        = {29--37},
  year         = {2000},
  url          = {https://doi.org/10.1109/38.851747},
  doi          = {10.1109/38.851747},
  timestamp    = {Thu, 21 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cga/LiCCCCDEFFHKLPSSSTZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BouajjaniEFMRWW00,
  author       = {Ahmed Bouajjani and
                  Javier Esparza and
                  Alain Finkel and
                  Oded Maler and
                  Peter Rossmanith and
                  Bernard Willems and
                  Pierre Wolper},
  title        = {An efficient automata approach to some problems on context-free grammars},
  journal      = {Inf. Process. Lett.},
  volume       = {74},
  number       = {5-6},
  pages        = {221--227},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0020-0190(00)00055-7},
  doi          = {10.1016/S0020-0190(00)00055-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/BouajjaniEFMRWW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FinkelIS00,
  author       = {Alain Finkel and
                  S. Purushothaman Iyer and
                  Gr{\'{e}}goire Sutre},
  editor       = {Catuscia Palamidessi},
  title        = {Well-Abstracted Transition Systems},
  booktitle    = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
                  University Park, PA, USA, August 22-25, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1877},
  pages        = {566--580},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44618-4\_40},
  doi          = {10.1007/3-540-44618-4\_40},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/FinkelIS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TarrHOFNP00,
  author       = {Peri L. Tarr and
                  William H. Harrison and
                  Harold Ossher and
                  Anthony Finkelstein and
                  Bashar Nuseibeh and
                  Dewayne E. Perry},
  editor       = {Carlo Ghezzi and
                  Mehdi Jazayeri and
                  Alexander L. Wolf},
  title        = {Workshop on multi-dimensional separation of concerns in software engineering},
  booktitle    = {Proceedings of the 22nd International Conference on on Software Engineering,
                  {ICSE} 2000, Limerick Ireland, June 4-11, 2000},
  pages        = {809--810},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/337180.337827},
  doi          = {10.1145/337180.337827},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/TarrHOFNP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/PetrovicFWF00,
  author       = {Lena Petrovic and
                  Brian Fujito and
                  Lance Williams and
                  Adam Finkelstein},
  editor       = {Judith R. Brown and
                  Kurt Akeley},
  title        = {Shadows for cel animation},
  booktitle    = {Proceedings of the 27th Annual Conference on Computer Graphics and
                  Interactive Techniques, {SIGGRAPH} 2000, New Orleans, LA, USA, July
                  23-28, 2000},
  pages        = {511--516},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/344779.345073},
  doi          = {10.1145/344779.345073},
  timestamp    = {Tue, 06 Nov 2018 16:59:14 +0100},
  biburl       = {https://dblp.org/rec/conf/siggraph/PetrovicFWF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/PraunFH00,
  author       = {Emil Praun and
                  Adam Finkelstein and
                  Hugues Hoppe},
  editor       = {Judith R. Brown and
                  Kurt Akeley},
  title        = {Lapped textures},
  booktitle    = {Proceedings of the 27th Annual Conference on Computer Graphics and
                  Interactive Techniques, {SIGGRAPH} 2000, New Orleans, LA, USA, July
                  23-28, 2000},
  pages        = {465--470},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/344779.344987},
  doi          = {10.1145/344779.344987},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/siggraph/PraunFH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbcs/BreitmanLF99,
  author       = {Karin Koogan Breitman and
                  Julio C{\'{e}}sar Sampaio do Prado Leite and
                  Anthony Finkelstein},
  title        = {The world?s a stage: a survey on requirements engineering using a
                  real-life case study},
  journal      = {J. Braz. Comput. Soc.},
  volume       = {6},
  number       = {1},
  pages        = {13--37},
  year         = {1999},
  url          = {http://www.scielo.br/scielo.php?script=sci\_abstract\&pid=S0104-65001999000200003\&lng=en\&nrm=iso},
  timestamp    = {Wed, 10 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbcs/BreitmanLF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/GeutnerFW99,
  author       = {Petra Geutner and
                  Michael Finke and
                  Alex Waibel},
  title        = {Selection criteria for hypothesis driven lexical adaptation},
  booktitle    = {Proceedings of the 1999 {IEEE} International Conference on Acoustics,
                  Speech, and Signal Processing, {ICASSP} '99, Phoenix, Arizona, USA,
                  March 15-19, 1999},
  pages        = {617--620},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICASSP.1999.759742},
  doi          = {10.1109/ICASSP.1999.759742},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icassp/GeutnerFW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/PaulyFPB99,
  author       = {Michael Pauly and
                  Marion Finke and
                  Liliane Peters and
                  Klaus Beck},
  title        = {Control and service structure of a robot team},
  booktitle    = {Proceedings 1999 {IEEE/RSJ} International Conference on Intelligent
                  Robots and Systems. Human and Environment Friendly Robots with High
                  Intelligence and Emotional Quotients, October 17-21,1999, Hyundai
                  Hotel, Kyongju, Korea},
  pages        = {1069--1074},
  publisher    = {{IEEE}},
  year         = {1999},
  url          = {https://doi.org/10.1109/IROS.1999.812822},
  doi          = {10.1109/IROS.1999.812822},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/PaulyFPB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/PraunHF99,
  author       = {Emil Praun and
                  Hugues Hoppe and
                  Adam Finkelstein},
  editor       = {Warren N. Waggenspack},
  title        = {Robust Mesh Watermarking},
  booktitle    = {Proceedings of the 26th Annual Conference on Computer Graphics and
                  Interactive Techniques, {SIGGRAPH} 1999, Los Angeles, CA, USA, August
                  8-13, 1999},
  pages        = {49--56},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/311535.311540},
  doi          = {10.1145/311535.311540},
  timestamp    = {Tue, 06 Nov 2018 16:59:14 +0100},
  biburl       = {https://dblp.org/rec/conf/siggraph/PraunHF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DufourdFS98,
  author       = {Catherine Dufourd and
                  Alain Finkel and
                  Philippe Schnoebelen},
  editor       = {Kim Guldstrand Larsen and
                  Sven Skyum and
                  Glynn Winskel},
  title        = {Reset Nets Between Decidability and Undecidability},
  booktitle    = {Automata, Languages and Programming, 25th International Colloquium,
                  ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1443},
  pages        = {103--115},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055044},
  doi          = {10.1007/BFB0055044},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/DufourdFS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/GeutnerFW98,
  author       = {Petra Geutner and
                  Michael Finke and
                  Alex Waibel},
  title        = {Phonetic-distance-based hypothesis driven lexical adaptation for transcribing
                  multlingual broadcast news},
  booktitle    = {The 5th International Conference on Spoken Language Processing, Incorporating
                  The 7th Australian International Speech Science and Technology Conference,
                  Sydney Convention Centre, Sydney, Australia, 30th November - 4th December
                  1998},
  publisher    = {{ISCA}},
  year         = {1998},
  url          = {https://doi.org/10.21437/ICSLP.1998-758},
  doi          = {10.21437/ICSLP.1998-758},
  timestamp    = {Thu, 22 Jun 2023 16:42:19 +0200},
  biburl       = {https://dblp.org/rec/conf/interspeech/GeutnerFW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/FinkelS98,
  author       = {Alain Finkel and
                  Philippe Schnoebelen},
  editor       = {Claudio L. Lucchesi and
                  Arnaldo V. Moura},
  title        = {Fundamental Structures in Well-Structured Infinite Transition Systems},
  booktitle    = {{LATIN} '98: Theoretical Informatics, Third Latin American Symposium,
                  Campinas, Brazil, April, 20-24, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1380},
  pages        = {102--118},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0054314},
  doi          = {10.1007/BFB0054314},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/FinkelS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FinkelM97,
  author       = {Alain Finkel and
                  Pierre McKenzie},
  title        = {Verifying Identical Communicating Processes is Undecidable},
  journal      = {Theor. Comput. Sci.},
  volume       = {174},
  number       = {1-2},
  pages        = {217--230},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00026-6},
  doi          = {10.1016/S0304-3975(96)00026-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/FinkelM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/LavieWLFGGZZ97,
  author       = {Alon Lavie and
                  Alex Waibel and
                  Lori S. Levin and
                  Michael Finke and
                  Donna Gates and
                  Marsal Gavald{\`{a}} and
                  Torsten Zeppenfeld and
                  Puming Zhan},
  title        = {Janus-III: speech-to-speech translation in multiple languages},
  booktitle    = {1997 {IEEE} International Conference on Acoustics, Speech, and Signal
                  Processing, {ICASSP} '97, Munich, Germany, April 21-24, 1997},
  pages        = {99--102},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICASSP.1997.599557},
  doi          = {10.1109/ICASSP.1997.599557},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icassp/LavieWLFGGZZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interspeech/ZhanWFW97,
  author       = {Puming Zhan and
                  Martin Westphal and
                  Michael Finke and
                  Alex Waibel},
  editor       = {George Kokkinakis and
                  Nikos Fakotakis and
                  Evangelos Dermatas},
  title        = {Speaker normalization and speaker adaptation - a combination for conversational
                  speech recognition},
  booktitle    = {Fifth European Conference on Speech Communication and Technology,
                  {EUROSPEECH} 1997, Rhodes, Greece, September 22-25, 1997},
  pages        = {2087--2090},
  publisher    = {{ISCA}},
  year         = {1997},
  url          = {https://doi.org/10.21437/Eurospeech.1997-552},
  doi          = {10.21437/EUROSPEECH.1997-552},
  timestamp    = {Sun, 02 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/interspeech/ZhanWFW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FinkelWW97,
  author       = {Alain Finkel and
                  Bernard Willems and
                  Pierre Wolper},
  editor       = {Faron Moller},
  title        = {A direct symbolic approach to model checking pushdown systems},
  booktitle    = {Second International Workshop on Verification of Infinite State Systems,
                  Infinity 1997, Bologna, Italy, July 11-12, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {9},
  pages        = {27--37},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80426-8},
  doi          = {10.1016/S1571-0661(05)80426-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkelWW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CeceFI96,
  author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
                  Alain Finkel and
                  S. Purushothaman Iyer},
  title        = {Unreliable Channels are Easier to Verify Than Perfect Channels},
  journal      = {Inf. Comput.},
  volume       = {124},
  number       = {1},
  pages        = {20--31},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0003},
  doi          = {10.1006/INCO.1996.0003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CeceFI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/AsthanaFF96,
  author       = {Praveen Asthana and
                  Blair I. Finkelstein and
                  Alan A. Fennema},
  title        = {Rewritable optical disk drive technology},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {40},
  number       = {5},
  pages        = {543--558},
  year         = {1996},
  url          = {https://doi.org/10.1147/rd.405.0543},
  doi          = {10.1147/RD.405.0543},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/AsthanaFF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/BrownFP96,
  author       = {Cynthia A. Brown and
                  Larry Finkelstein and
                  Paul Walton Purdom Jr.},
  title        = {Backtrack Searching in the Presence of Symmetry},
  journal      = {Nord. J. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {203--219},
  year         = {1996},
  timestamp    = {Mon, 24 Jul 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/njc/BrownFP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/LiptonFF96,
  author       = {James Lipton and
                  Stacy E. Finkelstein and
                  Peter J. Freyd},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {A New Framework for Declarative Programming: Categorial Perspectives},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {209--211},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_14},
  doi          = {10.1007/3-540-60983-0\_14},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/LiptonFF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/WaibelFGGKLLMMMRSSWZZ96,
  author       = {Alex Waibel and
                  Michael Finke and
                  Donna Gates and
                  Marsal Gavald{\`{a}} and
                  Thomas Kemp and
                  Alon Lavie and
                  Lori S. Levin and
                  Martin Maier and
                  Laura Mayfield and
                  Arthur E. McNair and
                  Ivica Rogina and
                  Kaori Shima and
                  Tilo Sloboda and
                  Monika Woszczyna and
                  Torsten Zeppenfeld and
                  Puming Zhan},
  title        = {JANUS-II-translation of spontaneous conversational speech},
  booktitle    = {1996 {IEEE} International Conference on Acoustics, Speech, and Signal
                  Processing Conference Proceedings, {ICASSP} '96, Atlanta, Georgia,
                  USA, May 7-10, 1996},
  pages        = {409--412},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ICASSP.1996.541119},
  doi          = {10.1109/ICASSP.1996.541119},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icassp/WaibelFGGKLLMMMRSSWZZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PoonF96,
  author       = {Wai Leung Poon and
                  Anthony Finkelsteiin},
  editor       = {Alexander L. Wolf and
                  Anthony Finkelstein and
                  George Spanoudakis and
                  Laura Vidal},
  title        = {Consistency management for multiple perspective software development},
  booktitle    = {Joint Proceedings of the Second International Software Architecture
                  Workshop {(ISAW-2)} and International Workshop on Multiple Perspectives
                  in Software Development (Viewpoints '96) on {SIGSOFT} '96 workshops,
                  {ISAW} '96, San Francisco, California, {USA}},
  pages        = {192--196},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/243327.243656},
  doi          = {10.1145/243327.243656},
  timestamp    = {Fri, 11 Feb 2022 12:39:52 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/PoonF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/PrivaultF95,
  author       = {Caroline Privault and
                  Gerd Finke},
  title        = {Modelling a tool switching problem on a single NC-machine},
  journal      = {J. Intell. Manuf.},
  volume       = {6},
  number       = {2},
  pages        = {87--94},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF00123680},
  doi          = {10.1007/BF00123680},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jim/PrivaultF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/FinkelP94,
  author       = {Alain Finkel and
                  Laure Petrucci},
  title        = {Composition/d{\'{e}}composition de r{\'{e}}seaux de petri
                  et de leurs graphes de couverture},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {28},
  number       = {2},
  pages        = {73--124},
  year         = {1994},
  url          = {https://doi.org/10.1051/ita/1994280200731},
  doi          = {10.1051/ITA/1994280200731},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/FinkelP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YavatkarPF94,
  author       = {Rajendra S. Yavatkar and
                  Prashant Pai and
                  Raphael A. Finkel},
  title        = {A Reservation-Based {CSMA} Protocol for Integrated Manufacturing Networks},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {24},
  number       = {8},
  pages        = {1247--1258},
  year         = {1994},
  url          = {https://doi.org/10.1109/21.299705},
  doi          = {10.1109/21.299705},
  timestamp    = {Mon, 19 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/YavatkarPF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CeceFI94,
  author       = {G{\'{e}}rard C{\'{e}}c{\'{e}} and
                  Alain Finkel and
                  S. Purushothaman Iyer},
  editor       = {David S. Wile},
  title        = {Duplication, Insertion and Lossiness Errors in Unreliable Communication
                  Channels},
  booktitle    = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA,
                  December 6-9, 1994},
  pages        = {35--43},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/193173.195292},
  doi          = {10.1145/193173.195292},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CeceFI94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1993,
  editor       = {Patrice Enjalbert and
                  Alain Finkel and
                  Klaus W. Wagner},
  title        = {{STACS} 93, 10th Annual Symposium on Theoretical Aspects of Computer
                  Science, W{\"{u}}rzburg, Germany, February 25-27, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {665},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56503-5},
  doi          = {10.1007/3-540-56503-5},
  isbn         = {3-540-56503-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/SajdaF92a,
  author       = {Paul Sajda and
                  Leif H. Finkel},
  title        = {{NEXUS:} {A} simulation environment for large-scale neural systems},
  journal      = {Simul.},
  volume       = {59},
  number       = {6},
  pages        = {358--364},
  year         = {1992},
  url          = {https://doi.org/10.1177/003754979205900602},
  doi          = {10.1177/003754979205900602},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simulation/SajdaF92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/SajdaF92,
  author       = {Paul Sajda and
                  Leif H. Finkel},
  title        = {Object segmentation and binding within a biologically-based neural
                  network model of depth-from-occlusion},
  booktitle    = {{IEEE} Computer Society Conference on Computer Vision and Pattern
                  Recognition, {CVPR} 1992, Proceedings, 15-18 June, 1992, Champaign,
                  Illinois, {USA}},
  pages        = {688--691},
  publisher    = {{IEEE}},
  year         = {1992},
  url          = {https://doi.org/10.1109/CVPR.1992.223200},
  doi          = {10.1109/CVPR.1992.223200},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cvpr/SajdaF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FinkelP91,
  author       = {Alain Finkel and
                  Laure Petrucci},
  editor       = {Kim Guldstrand Larsen and
                  Arne Skou},
  title        = {Avoiding State Exposion by Composition of Minimal Covering Graphs},
  booktitle    = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
                  Aalborg, Denmark, July, 1-4, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {575},
  pages        = {169--180},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55179-4\_17},
  doi          = {10.1007/3-540-55179-4\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FinkelP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/Finkelstein90,
  author       = {Barry P. Finkelstein},
  editor       = {Eileen Quann and
                  Christine L. Braun},
  title        = {A hypertext-based documentation workbench for Ada-language systems},
  booktitle    = {Proceedings of the Seventh Washington Ada Symposium on Ada, {WADAS}
                  1990, McLean, Virginia, USA, 1990},
  pages        = {331--338},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/327011.327124},
  doi          = {10.1145/327011.327124},
  timestamp    = {Tue, 29 Mar 2022 11:59:37 +0200},
  biburl       = {https://dblp.org/rec/conf/wadas/Finkelstein90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cogsci/FinkePF89,
  author       = {Ronald A. Finke and
                  Steven Pinker and
                  Martha J. Farah},
  title        = {Reinterpreting Visual Patterns in Mental Imagery},
  journal      = {Cogn. Sci.},
  volume       = {13},
  number       = {1},
  pages        = {51--78},
  year         = {1989},
  url          = {https://doi.org/10.1207/s15516709cog1301\_2},
  doi          = {10.1207/S15516709COG1301\_2},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cogsci/FinkePF89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BrownFP89,
  author       = {Cynthia A. Brown and
                  Larry Finkelstein and
                  Paul Walton Purdom Jr.},
  title        = {A New Base Change Algorithm for Permutation Groups},
  journal      = {{SIAM} J. Comput.},
  volume       = {18},
  number       = {5},
  pages        = {1037--1047},
  year         = {1989},
  url          = {https://doi.org/10.1137/0218070},
  doi          = {10.1137/0218070},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/BrownFP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cm/CoopermanFP89,
  author       = {Gene Cooperman and
                  Larry Finkelstein and
                  Paul Walton Purdom Jr.},
  editor       = {Erich L. Kaltofen and
                  Stephen M. Watt},
  title        = {Fast Group Membership Using a Strong Generating Test for Permutation
                  Groups},
  booktitle    = {Computers and Mathematics, Third Computers and Mathematics Conference,
                  MIT, Cambridge, Massachusetts, USA, June 13-17, 1989},
  pages        = {27--36},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4613-9647-5\_4},
  doi          = {10.1007/978-1-4613-9647-5\_4},
  timestamp    = {Mon, 03 Apr 2023 17:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/cm/CoopermanFP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/BuellCCCDFHSKKKMMOPPQSSWW88,
  author       = {Duncan A. Buell and
                  David A. Carlson and
                  Yuan{-}Chieh Chow and
                  Karel Cul{\'{\i}}k and
                  Narsingh Deo and
                  Raphael A. Finkel and
                  Elias N. Houstis and
                  Elaine M. Jacob Son and
                  Zvi M. Kedem and
                  Janusz S. Kowalik and
                  Philip Kuekes and
                  Joanne L. Martin and
                  George A. Michael and
                  Neil S. Ostlund and
                  Jerry Potter and
                  D. K. Pradhan and
                  Michael J. Quinn and
                  G. W. Stewart and
                  Quentin F. Stout and
                  Layne T. Watson and
                  Jon Webb},
  title        = {Parallel algorithms and architectures report of a workshop},
  journal      = {J. Supercomput.},
  volume       = {1},
  number       = {3},
  pages        = {301--325},
  year         = {1988},
  url          = {https://doi.org/10.1007/BF00154341},
  doi          = {10.1007/BF00154341},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/BuellCCCDFHSKKKMMOPPQSSWW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaecc/BrownFP88,
  author       = {Cynthia A. Brown and
                  Larry Finkelstein and
                  Paul Walton Purdom Jr.},
  editor       = {Teo Mora},
  title        = {Backtrack Searching in the Presence of Symmetry},
  booktitle    = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes,
                  6th International Conference, AAECC-6, Rome, Italy, July 4-8, 1988,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {357},
  pages        = {99--110},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-51083-4\_51},
  doi          = {10.1007/3-540-51083-4\_51},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/aaecc/BrownFP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/FinkelsteinP87,
  author       = {Anthony Finkelstein and
                  Colin Potts},
  editor       = {Roland R. Wagner and
                  Roland Traunm{\"{u}}ller and
                  Heinrich C. Mayr},
  title        = {Formalizing Requirements Systematically},
  booktitle    = {Informationsbedarfsermittlung und -analyse f{\"{u}}r den Entwurf
                  von Informationssystemen, Fachtagung EMISA, Linz, {\"{O}}sterreich,
                  2. und 3. Juli 1987, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {143},
  pages        = {44--57},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/978-3-642-72821-1\_2},
  doi          = {10.1007/978-3-642-72821-1\_2},
  timestamp    = {Mon, 09 Jul 2018 08:40:20 +0200},
  biburl       = {https://dblp.org/rec/conf/emisa/FinkelsteinP87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/BrownFP86,
  author       = {Cynthia A. Brown and
                  Larry Finkelstein and
                  Paul Walton Purdom Jr.},
  title        = {Intelligent Backtracking Using Symmetry},
  booktitle    = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986,
                  Dallas, Texas, {USA}},
  pages        = {576--584},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  timestamp    = {Fri, 29 Sep 2017 14:35:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fjcc/BrownFP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Neumann84,
  author       = {Peter G. Neumann},
  title        = {Review of "The hacker's dictionary: a guide to the world of computer
                  wizards" by Guy L. Steele, Donald R. Woods, Raphael A. Finkel, Mark
                  R. Crispin, Richard M. Stallman, and Geoffrey S. Goodfellow. Harper
                  {\&} Row Publishers 1983},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {9},
  number       = {1},
  pages        = {12--15},
  year         = {1984},
  url          = {https://doi.org/10.1145/1005968.1005970},
  doi          = {10.1145/1005968.1005970},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/Neumann84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/FinkelF83,
  author       = {Raphael A. Finkel and
                  John P. Fishburn},
  title        = {Improved Speedup Bounds for Parallel Alpha-Beta Search},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {5},
  number       = {1},
  pages        = {89--92},
  year         = {1983},
  url          = {https://doi.org/10.1109/TPAMI.1983.4767350},
  doi          = {10.1109/TPAMI.1983.4767350},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pami/FinkelF83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FinkelF82,
  author       = {Raphael A. Finkel and
                  John P. Fishburn},
  title        = {Parallelism in Alpha-Beta Search},
  journal      = {Artif. Intell.},
  volume       = {19},
  number       = {1},
  pages        = {89--106},
  year         = {1982},
  url          = {https://doi.org/10.1016/0004-3702(82)90022-4},
  doi          = {10.1016/0004-3702(82)90022-4},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/FinkelF82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/FinkelsteinST82,
  author       = {Sheldon J. Finkelstein and
                  Mario Schkolnick and
                  Paolo Tiberio},
  title        = {{DBDSGN} - {A} Physical Database Design Tool for System {R}},
  journal      = {{IEEE} Database Eng. Bull.},
  volume       = {5},
  number       = {1},
  pages        = {9--11},
  year         = {1982},
  url          = {http://sites.computer.org/debull/82MAR-CD.pdf},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/debu/FinkelsteinST82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/FishburnF82,
  author       = {John P. Fishburn and
                  Raphael A. Finkel},
  title        = {Quotient Networks},
  journal      = {{IEEE} Trans. Computers},
  volume       = {31},
  number       = {4},
  pages        = {288--295},
  year         = {1982},
  url          = {https://doi.org/10.1109/TC.1982.1675994},
  doi          = {10.1109/TC.1982.1675994},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/FishburnF82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siguccs/GoldbogenFP82,
  author       = {Geof Goldbogen and
                  Jon Finke and
                  Richard A. Park},
  editor       = {Eve Simonson and
                  Hal Bloom and
                  Rosemary Karr and
                  Barbara B. Wolfe and
                  Elizabeth R. Little},
  title        = {Computer center consulting on personal computers: {A} changing role
                  for a large computer center},
  booktitle    = {Proceedings of the 10th annual {ACM} {SIGUCCS} conference on User
                  services, Chicago, Illinois, USA, November 10-12, 1982},
  pages        = {29--34},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800067.802097},
  doi          = {10.1145/800067.802097},
  timestamp    = {Tue, 06 Nov 2018 16:58:11 +0100},
  biburl       = {https://dblp.org/rec/conf/siguccs/GoldbogenFP82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}