Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Michael Fink"
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}
}
@article{DBLP:journals/csysl/FinkWL24,
author = {Michael Fink and
Dirk Wollherr and
Marion Leibold},
title = {Stochastic Model Predictive Control With Minimal Constraint Violation
Probability for Time-Variant Chance Constraints},
journal = {{IEEE} Control. Syst. Lett.},
volume = {8},
pages = {1385--1390},
year = {2024}
}
@article{DBLP:journals/tem/HudecheckMF24,
author = {Michael Hudecheck and
Daniela Maresch and
Matthias Fink},
title = {We Keep an Eye on You! How High-Tech Security Assets Help Police Forces
Make Cities Safer},
journal = {{IEEE} Trans. Engineering Management},
volume = {71},
pages = {9691--9701},
year = {2024}
}
@article{DBLP:journals/wm/Finkler24,
author = {Michael Finkler},
title = {Der X-Faktor als industrieller Blockbuster},
journal = {Wirtschaftsinformatik Manag.},
volume = {16},
number = {2},
pages = {79--86},
year = {2024}
}
@inproceedings{DBLP:conf/icml/FinkelshteinHBC24,
author = {Ben Finkelshtein and
Xingyue Huang and
Michael M. Bronstein and
{\.I}smail {\.I}lkan Ceylan},
title = {Cooperative Graph Neural Networks},
booktitle = {{ICML}},
publisher = {OpenReview.net},
year = {2024}
}
@inproceedings{DBLP:conf/lics/BlondinFHMO24,
author = {Michael Blondin and
Alain Finkel and
Piotr Hofman and
Filip Mazowiecki and
Philip Offtermatt},
title = {Soundness of reset workflow nets},
booktitle = {{LICS}},
pages = {13:1--13:14},
publisher = {{ACM}},
year = {2024}
}
@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}
}
@article{DBLP:journals/corr/abs-2402-10538,
author = {Michael Fink and
Tim Br{\"{u}}digam and
Dirk Wollherr and
Marion Leibold},
title = {Minimal Constraint Violation Probability in Model Predictive Control
for Linear Systems},
journal = {CoRR},
volume = {abs/2402.10538},
year = {2024}
}
@article{DBLP:journals/corr/abs-2403-03880,
author = {Sam Adam{-}Day and
Michael Benedikt and
{\.I}smail {\.I}lkan Ceylan and
Ben Finkelshtein},
title = {Graph neural network outputs are almost surely asymptotically constant},
journal = {CoRR},
volume = {abs/2403.03880},
year = {2024}
}
@article{DBLP:journals/corr/abs-2403-10370,
author = {Kevin Sch{\"{a}}fers and
Jacob Finkenrath and
Michael G{\"{u}}nther and
Francesco Knechtli},
title = {Hessian-free force-gradient integrators},
journal = {CoRR},
volume = {abs/2403.10370},
year = {2024}
}
@article{DBLP:journals/corr/abs-2405-20724,
author = {Ben Finkelshtein and
{\.I}smail {\.I}lkan Ceylan and
Michael M. Bronstein and
Ron Levie},
title = {Learning on Large Graphs using Intersecting Communities},
journal = {CoRR},
volume = {abs/2405.20724},
year = {2024}
}
@article{DBLP:journals/corr/abs-2406-13396,
author = {Tommaso Benciolini and
Michael Fink and
Nehir G{\"{u}}zelkaya and
Dirk Wollherr and
Marion Leibold},
title = {Safe and Non-Conservative Trajectory Planning for Autonomous Driving
Handling Unanticipated Behaviors of Traffic Participants},
journal = {CoRR},
volume = {abs/2406.13396},
year = {2024}
}
@article{DBLP:journals/cmot/SchmidtCLBDFBGCSBMPKFZSM23,
author = {Aurora C. Schmidt and
Christopher J. Cameron and
Corey Lowman and
Joshua Brul{\'{e}} and
Amruta Deshpande and
Seyyed A. Fatemi and
Vladimir Barash and
Ariel M. Greenberg and
Cash J. Costello and
Eli Sherman and
Rohit Bhattacharya and
Liz McQuillan and
Alexander Perrone and
Yanni Kouskoulas and
Clay Fink and
June Zhang and
Ilya Shpitser and
Michael W. Macy},
title = {Searching for explanations: testing social scientific methods in synthetic
ground-truthed worlds},
journal = {Comput. Math. Organ. Theory},
volume = {29},
number = {1},
pages = {156--187},
year = {2023}
}
@article{DBLP:journals/isem/WinterPFR23,
author = {Michael Winter and
R{\"{u}}diger Pryss and
Matthias Fink and
Manfred Reichert},
title = {Towards measuring and quantifying the comprehensibility of process
models: the process model comprehension framework},
journal = {Inf. Syst. {E} Bus. Manag.},
volume = {21},
number = {3},
pages = {723--751},
year = {2023}
}
@article{DBLP:journals/sensors/HaiderCPKHKFSCKZPIJK23,
author = {Arsalan Haider and
Yongjae Cho and
Marcell Pigniczki and
Michael H. K{\"{o}}hler and
Lukas Haas and
Ludwig Kastner and
Maximilian Fink and
Michael Schardt and
Yannik Cichy and
Shotaro Koyama and
Thomas Zeh and
Tim Poguntke and
Hideo Inoue and
Martin Jakobi and
Alexander W. Koch},
title = {Performance Evaluation of MEMS-Based Automotive LiDAR Sensor and Its
Simulation Model as per {ASTM} {E3125-17} Standard},
journal = {Sensors},
volume = {23},
number = {6},
pages = {3113},
year = {2023}
}
@article{DBLP:journals/sensors/HaiderPKKHFSNZEPIJK23,
author = {Arsalan Haider and
Marcell Pigniczki and
Shotaro Koyama and
Michael H. K{\"{o}}hler and
Lukas Haas and
Maximilian Fink and
Michael Schardt and
Koji Nagase and
Thomas Zeh and
Abdulkadir Eryildirim and
Tim Poguntke and
Hideo Inoue and
Martin Jakobi and
Alexander W. Koch},
title = {A Methodology to Model the Rain and Fog Effect on the Performance
of Automotive LiDAR Sensors},
journal = {Sensors},
volume = {23},
number = {15},
pages = {6891},
year = {2023}
}
@article{DBLP:journals/sensors/LindenBBSJBVFBPD23,
author = {Christina van der Linden and
Thea Berger and
Gregor A. Brandt and
Joshua N. Strelow and
Hannah Jergas and
Juan Carlos Baldermann and
Veerle Visser{-}Vandewalle and
Gereon R. Fink and
Michael T. Barbe and
Jan Niklas Petry{-}Schmelzer and
Till Anselm Dembek},
title = {Accelerometric Classification of Resting and Postural Tremor Amplitude},
journal = {Sensors},
volume = {23},
number = {20},
pages = {8621},
year = {2023}
}
@article{DBLP:journals/sensors/MionDSBSKCOF23,
author = {Thomas Mion and
Michael J. D'Agati and
Sydney Sofronici and
Konrad Bussmann and
Margo Staruch and
Jason L. Kost and
Kevin Co and
Roy H. Olsson III and
Peter Finkel},
title = {High Isolation, Double-Clamped, Magnetoelectric Microelectromechanical
Resonator Magnetometer},
journal = {Sensors},
volume = {23},
number = {20},
pages = {8626},
year = {2023}
}
@article{DBLP:journals/te/PaulJBP23,
author = {Robyn Mae Paul and
Yani Jazayeri and
Laleh Behjat and
Michael Potter},
title = {Design of an Integrated Project-Based Learning Curriculum: Analysis
Through Fink's Taxonomy of Significant Learning},
journal = {{IEEE} Trans. Educ.},
volume = {66},
number = {5},
pages = {457--467},
year = {2023}
}
@inproceedings{DBLP:conf/hicss/FinkeGSDGM23,
author = {Christian Finke and
Michael Groth and
Matthias Schumann and
Paul Dewitz and
Jonas Gehrke and
Tamino Marahrens},
title = {Design and Implementation of Hierarchical Digital Twins in Industrial
Production Environments},
booktitle = {{HICSS}},
pages = {1448--1457},
publisher = {ScholarSpace},
year = {2023}
}
@inproceedings{DBLP:conf/icons2/LohoffYFKSLN23,
author = {Jamie Lohoff and
Zhenming Yu and
Jan Finkbeiner and
Anil Kaya and
Kenneth Michael Stewart and
Hin Wai Lui and
Emre Neftci},
title = {Interfacing Neuromorphic Hardware with Machine Learning Frameworks
- {A} Review},
booktitle = {{ICONS}},
pages = {16:1--16:8},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/sgda/ChristelSFBWWWMB23,
author = {Michael G. Christel and
Angelina Shi and
James Finkel and
Hannah Baxter and
Hsuan{-}Ju Wang and
Yuchan Wu and
Ricardo Washingon and
Bryan S. Maher and
John Balash},
title = {Power Core Values: Teaching Racial Bias Awareness Through a Stealth
Game and Workshop},
booktitle = {{JCSG}},
series = {Lecture Notes in Computer Science},
volume = {14309},
pages = {243--256},
publisher = {Springer},
year = {2023}
}
@article{DBLP:journals/corr/abs-2308-06031,
author = {Michael Fink and
Annalena Daniels and
Cheng Qian and
V{\'{\i}}ctor Mart{\'{\i}}nez Vel{\'{a}}squez and
Sahil Salotra and
Dirk Wollherr},
title = {Comparison of Dynamic Tomato Growth Models for Optimal Control in
Greenhouses},
journal = {CoRR},
volume = {abs/2308.06031},
year = {2023}
}
@article{DBLP:journals/corr/abs-2309-07540,
author = {Annalena Daniels and
Michael Fink and
Marion Leibold and
Dirk Wollherr and
Senthold Asseng},
title = {Optimal Control for Indoor Vertical Farms Based on Crop Growth},
journal = {CoRR},
volume = {abs/2309.07540},
year = {2023}
}
@article{DBLP:journals/corr/abs-2309-16773,
author = {Drew Linsley and
John Griffin and
Jason Parker Brown and
Adam N. Roose and
Michael J. Frank and
Peter Linsley and
Steven Finkbeiner and
Jeremy Linsley},
title = {Neural scaling laws for phenotypic drug discovery},
journal = {CoRR},
volume = {abs/2309.16773},
year = {2023}
}
@article{DBLP:journals/corr/abs-2310-01267,
author = {Ben Finkelshtein and
Xingyue Huang and
Michael M. Bronstein and
{\.I}smail {\.I}lkan Ceylan},
title = {Cooperative Graph Neural Networks},
journal = {CoRR},
volume = {abs/2310.01267},
year = {2023}
}
@article{DBLP:journals/concurrency/WuKBFHTH22,
author = {Xingfu Wu and
Michael Kruse and
Prasanna Balaprakash and
Hal Finkel and
Paul D. Hovland and
Valerie Taylor and
Mary W. Hall},
title = {Autotuning PolyBench benchmarks with {LLVM} Clang/Polly loop optimization
pragmas using Bayesian optimization},
journal = {Concurr. Comput. Pract. Exp.},
volume = {34},
number = {20},
year = {2022}
}
@article{DBLP:journals/fr/KessensKRORSHFQGPDPWPBDKMBOADSLSDKMC22,
author = {Chad C. Kessens and
Matthew Kaplan and
Trevor Rocks and
Philip R. Osteen and
John G. Rogers and
Ethan Stump and
Arnon Hurwitz and
Jonathan Fink and
Long Quang and
Mark Gonzalez and
Jaymit Patel and
Michael Diblasi and
Shiyani Patel and
Matthew Weiker and
Dilip Patel and
Joseph Bowkett and
Renaud Detry and
Sisir Karumanchi and
Larry H. Matthies and
Joel Burdick and
Yash Oza and
Aditya Agarwal and
Andrew Dornbush and
Dhruv Saxena and
Maxim Likhachev and
Karl Schmeckpeper and
Kostas Daniilidis and
Ajinkya Kamat and
Aditya Mandalika and
Sanjiban Choudhury and
Siddhartha S. Srinivasa},
title = {Human-Scale Mobile Manipulation Using RoMan},
journal = {Field Robotics},
volume = {2},
number = {1},
pages = {1232--1262},
year = {2022}
}
@article{DBLP:journals/ncs/RamamoorthySGSB22,
author = {Divya Ramamoorthy and
Kristen Severson and
Soumya Ghosh and
Karen Sachs and
Emily G. Baxi and
Alyssa N. Coyne and
Elizabeth Mosmiller and
Lindsey Hayes and
Aianna Cerezo and
Omar Ahmad and
Promit Roy and
Steven Zeiler and
John W. Krakauer and
Jonathan Li and
Aneesh Donde and
Nhan Huynh and
Miriam Adam and
Brook T. Wassie and
Alexander LeNail and
Natasha Leanna Patel{-}Murray and
Yogindra Raghav and
Velina Kozareva and
Stanislav Tsitkov and
Tobias Ehrenberger and
Julia A. Kaye and
Leandro Lima and
Stacia K. Wyman and
Edward Vertudes and
Naufa Amirani and
Krishna Raja and
Reuben Thomas and
Ryan G. Lim and
Ricardo Miramontes and
Jie Wu and
Vineet Vaibhav and
Andrea Matlock and
Vidya Venkatraman and
Ronald Holewenski and
Niveda Sundararaman and
Rakhi Pandey and
Danica{-}Mae Manalo and
Aaron Frank and
Loren Ornelas and
Lindsey Panther and
Emilda Gomez and
Erick Galvez and
Daniel P{\'{e}}rez and
Imara Meepe and
Susan Lei and
Louis Pinedo and
Chunyan Liu and
Ruby Moran and
Dhruv Sareen and
Barry Landin and
Carla Agurto and
Guillermo A. Cecchi and
Raquel Norel and
Sara Thrower and
Sarah Luppino and
Alanna Farrar and
Lindsay Pothier and
Hong Yu and
Ervin Sinani and
Prasha Vigneswaran and
Alexander V. Sherman and
S. Michelle Farr and
Berhan Mandefro and
Hannah Trost and
Maria G. Banuelos and
Veronica Garcia and
Michael Workman and
Richie Ho and
Robert Baloh and
Jennifer Roggenbuck and
Matthew B. Harms and
Carolyn Prina and
Sarah Heintzman and
Stephen Kolb and
Jennifer Stocksdale and
Keona Wang and
Todd Morgan and
Daragh Heitzman and
Arish Jamil and
Jennifer Jockel{-}Balsarotti and
Elizabeth Karanja and
Jesse Markway and
Molly McCallum and
Tim Miller and
Ben Joslin and
Deniz Alibazoglu and
Senda Ajroud{-}Driss and
Jay C. Beavers and
Mary Bellard and
Elizabeth Bruce and
Nicholas J. Maragakis and
Merit E. Cudkowicz and
James D. Berry and
Terri Thompson and
Steven Finkbeiner and
Leslie M. Thompson and
Jennifer E. Van Eyk and
Clive N. Svendsen and
Jeffrey D. Rothstein and
Jonathan D. Glass and
Christina N. Fournier and
Alexander Sherman and
Christian Lunetta and
David Walk and
Ghazala Hayat and
James Wymer and
Kelly Gwathmey and
Nicholas Olney and
Terry Heiman{-}Patterson and
Ximena Arcila{-}Londono and
Kenneth Faulconer and
Ervin Sanani and
Alex Berger and
Julia Mirochnick and
Todd M. Herrington and
Kenney Ng and
Ernest Fraenkel},
title = {Identifying patterns in amyotrophic lateral sclerosis progression
from sparse longitudinal data},
journal = {Nat. Comput. Sci.},
volume = {2},
number = {9},
pages = {605--616},
year = {2022}
}
@article{DBLP:journals/sensors/BaierSFJK22,
author = {Valentin Baier and
Michael Schardt and
Maximilian Fink and
Martin Jakobi and
Alexander W. Koch},
title = {MEMS-Scanner Testbench for High Field of View LiDAR Applications},
journal = {Sensors},
volume = {22},
number = {1},
pages = {39},
year = {2022}
}
@article{DBLP:journals/sensors/HaiderPKFSCZHPJ22,
author = {Arsalan Haider and
Marcell Pigniczki and
Michael H. K{\"{o}}hler and
Maximilian Fink and
Michael Schardt and
Yannik Cichy and
Thomas Zeh and
Lukas Haas and
Tim Poguntke and
Martin Jakobi and
Alexander W. Koch},
title = {Development of High-Fidelity Automotive LiDAR Sensor Model with Standardized
Interfaces},
journal = {Sensors},
volume = {22},
number = {19},
pages = {7556},
year = {2022}
}
@inproceedings{DBLP:conf/civemsa/FinkL0RE22,
author = {Vera Fink and
Holger Langner and
Michael Burmester and
Marc Ritter and
Maximilian Eibl},
title = {Positive User Experience: Novices Can Assess Psychological Needs :
Psychological Needs in Context of Robot Shoppingassistant},
booktitle = {{CIVEMSA}},
pages = {1--6},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/eucc/FinkBWL22,
author = {Michael Fink and
Tim Br{\"{u}}digam and
Dirk Wollherr and
Marion Leibold},
title = {Constraint Violation Probability Minimization for Norm-Constrained
Linear Model Predictive Control},
booktitle = {{ECC}},
pages = {839--846},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/hci/FinkZR0E22,
author = {Vera Fink and
Katharina M. Zeiner and
Marc Ritter and
Michael Burmester and
Maximilian Eibl},
title = {Design for Positive {UX:} From Experience Categories to Psychological
Needs},
booktitle = {{HCI} {(48)}},
series = {Communications in Computer and Information Science},
volume = {1654},
pages = {148--155},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/iros/CaiEFH22,
author = {Xiaoyi Cai and
Michael Everett and
Jonathan Fink and
Jonathan P. How},
title = {Risk-Aware Off-Road Navigation via a Learned Speed Distribution Map},
booktitle = {{IROS}},
pages = {2931--2937},
publisher = {{IEEE}},
year = {2022}
}
@article{DBLP:journals/corr/abs-2203-13429,
author = {Xiaoyi Cai and
Michael Everett and
Jonathan Fink and
Jonathan P. How},
title = {Risk-Aware Off-Road Navigation via a Learned Speed Distribution Map},
journal = {CoRR},
volume = {abs/2203.13429},
year = {2022}
}
@article{DBLP:journals/corr/abs-2206-00251,
author = {Swen Jacobs and
Guillermo A. P{\'{e}}rez and
Remco Abraham and
V{\'{e}}ronique Bruy{\`{e}}re and
Micha{\"{e}}l Cadilhac and
Maximilien Colange and
Charly Delfosse and
Tom van Dijk and
Alexandre Duret{-}Lutz and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Klara J. Meyer and
Thibaud Michaud and
Adrien Pommellet and
Florian Renkin and
Philipp Schlehuber{-}Caissier and
Mouhammad Sakr and
Salomon Sickert and
Ga{\"{e}}tan Staquet and
Cl{\'{e}}ment Tamines and
Leander Tentrup and
Adam Walker},
title = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
journal = {CoRR},
volume = {abs/2206.00251},
year = {2022}
}
@article{DBLP:journals/corr/abs-2208-02294,
author = {Deborah Cohen and
Moonkyung Ryu and
Yinlam Chow and
Orgad Keller and
Ido Greenberg and
Avinatan Hassidim and
Michael Fink and
Yossi Matias and
Idan Szpektor and
Craig Boutilier and
Gal Elidan},
title = {Dynamic Planning in Open-Ended Dialogue using Reinforcement Learning},
journal = {CoRR},
volume = {abs/2208.02294},
year = {2022}
}
@article{DBLP:journals/corr/abs-2208-12904,
author = {Adam Thelen and
Xiaoge Zhang and
Olga Fink and
Yan Lu and
Sayan Ghosh and
Byeng D. Youn and
Michael D. Todd and
Sankaran Mahadevan and
Chao Hu and
Zhen Hu},
title = {A Comprehensive Review of Digital Twin - Part 2: Roles of Uncertainty
Quantification and Optimization, a Battery Digital Twin, and Perspectives},
journal = {CoRR},
volume = {abs/2208.12904},
year = {2022}
}
@article{DBLP:journals/corr/abs-2208-14197,
author = {Adam Thelen and
Xiaoge Zhang and
Olga Fink and
Yan Lu and
Sayan Ghosh and
Byeng D. Youn and
Michael D. Todd and
Sankaran Mahadevan and
Chao Hu and
Zhen Hu},
title = {A Comprehensive Review of Digital Twin - Part 1: Modeling and Twinning
Enabling Technologies},
journal = {CoRR},
volume = {abs/2208.14197},
year = {2022}
}
@article{DBLP:journals/fuin/FinkelS21,
author = {Olivier Finkel and
Michal Skrzypczak},
title = {On the Expressive Power of Non-deterministic and Unambiguous Petri
Nets over Infinite Words},
journal = {Fundam. Informaticae},
volume = {183},
number = {3-4},
pages = {243--291},
year = {2021}
}
@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}
}
@article{DBLP:journals/npjdm/SalgGBKFSFSVFDL21,
author = {Gabriel Alexander Salg and
Maria{-}Katharina Ganten and
Andreas Michael Bucher and
Hannes G{\"{o}}tz Kenngott and
Matthias A. Fink and
Constantin Seibold and
Ricarda Fischbach and
Kai Schlamp and
Carlos Alberto Velandia and
Philipp Fervers and
Felix Doellinger and
Anna Luger and
Saif Afat and
Uta Merle and
Markus K. Diener and
Philippe L. Pereira and
Tobias Penzkofer and
Thorsten Persigehl and
Ahmed Othman and
Claus Peter Heu{\ss}el and
Matthias Baumhauer and
Gerlig Widmann and
Konstantinos Stathopoulos and
Bernd Hamm and
Thomas J. Vogl and
Konstantin Nikolaou and
Hans{-}Ulrich Kauczor and
Jens Kleesiek},
title = {A reporting and analysis framework for structured evaluation of {COVID-19}
clinical and imaging data},
journal = {npj Digit. Medicine},
volume = {4},
year = {2021}
}
@article{DBLP:journals/ploscb/FinkeKBDTSRSKBM21,
author = {Kelly Finke and
Michael Kourakos and
Gabriela Brown and
Huyen Trang Dang and
Shi Jie Samuel Tan and
Yuval B. Simons and
Shweta Ramdas and
Alejandro A. Sch{\"{a}}ffer and
Rachel L. Kember and
Maja Bucan and
Sara Mathieson},
title = {Ancestral haplotype reconstruction in endogamous populations using
identity-by-descent},
journal = {PLoS Comput. Biol.},
volume = {17},
number = {2},
year = {2021}
}
@article{DBLP:journals/ploscb/UnossonBHJF21,
author = {M{\aa}ns Unosson and
Marco Brancaccio and
Michael Hastings and
Adam M. Johansen and
B{\"{a}}rbel Finkenst{\"{a}}dt},
title = {A spatio-temporal model to reveal oscillator phenotypes in molecular
clocks: Parameter estimation elucidates circadian gene transcription
dynamics in single-cells},
journal = {PLoS Comput. Biol.},
volume = {17},
number = {12},
year = {2021}
}
@inproceedings{DBLP:conf/cns/WrightFGPDC21,
author = {Jordan Wright and
Zane Fink and
Michael Gowanlock and
Christopher Robert Philabaum and
Brian Donnelly and
Bertrand Cambou},
title = {A Symmetric Cipher Response-Based Cryptography Engine Accelerated
Using {GPGPU}},
booktitle = {{CNS}},
pages = {146--154},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/gerupa/PerrinoBSFZ21,
author = {Cristina Hermosa Perrino and
Michael Burmester and
Anika Spohrer and
Vera Fink and
Katharina M. Zeiner},
title = {The Positive {X} - Warum klappt das nicht?},
booktitle = {{UP}},
pages = {157},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V. und German {UPA} e.V.},
year = {2021}
}
@inproceedings{DBLP:conf/percom/AvsarARRFH21,
author = {H{\"{u}}lya Avsar and
Erik Altermann and
Christopher Reining and
Fernando Moya Rueda and
Gernot A. Fink and
Michael ten Hompel},
title = {Benchmarking Annotation Procedures for Multi-channel Time Series {HAR}
Dataset},
booktitle = {PerCom Workshops},
pages = {453--458},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/sac/GowanlockFKW21,
author = {Michael Gowanlock and
Zane Fink and
Ben Karsin and
Jordan Wright},
title = {A study of work distribution and contention in database primitives
on heterogeneous {CPU/GPU} architectures},
booktitle = {{SAC}},
pages = {311--320},
publisher = {{ACM}},
year = {2021}
}
@misc{DBLP:data/10/KaleABBBBBBBBBCCCDDDDDF21b,
author = {Laxmikant V. Kal{\'{e}} and
Bilge Acun and
Seonmyeong Bak and
Aaron T. Becker and
Milind A. Bhandarkar and
Nitin Bhat and
Abhinav Bhatele and
Eric J. Bohm and
Cyril Bordage and
Robert Brunner and
Ronak Buch and
Sayantan Chakravorty and
Kavitha Chandrasekar and
Jaemin Choi and
Michael Denardo and
Jayant DeSouza and
Matthias Diener and
Harshit Dokania and
Isaac Dooley and
Wayne Fenton and
Zane Fink and
Juan J. Galvez and
Pathikrit Ghosh and
Filippo Gioachin and
Abhishek Gupta and
Gagan Gupta and
Manish Gupta and
Attila G{\"{u}}rsoy and
Vipul Harsh and
Fang Hu and
Chao Huang and
Narain Jagathesan and
Nikhil Jain and
Pritish Jetley and
Prateek Jindal and
Raghavendra Kanakagiri and
Gregory A. Koenig and
Sanjeev Krishnan and
Sameer Kumar and
David M. Kunzman and
Michael Lang and
Akhil Langer and
Orion Sky Lawlor and
Chee Wai Lee and
Jonathan Lifflander and
Karthik Mahesh and
Celso L. Mendes and
Harshitha Menon and
Chao Mei and
Esteban Meneses and
Eric Mikida and
Phil Miller and
Ryan M. Mokos and
Venkatasubrahmanian Narayanan and
Xiang Ni and
Kevin Nomura and
Sameer Paranjpye and
Parthasarathy Ramachandran and
Balkrishna Ramkumar and
Evan Ramos and
Michael P. Robson and
Neelam Saboo and
Vikram A. Saletore and
Osman Sarood and
Karthik Senthil and
Nimish Shah and
Wei Wennie Shu and
Amitabh Sinha and
Yanhua Sun and
Zehra Sura and
Justin Josef Szaday and
Ehsan Totoni and
Krishnan Varadarajan and
Ramprasad Venkataraman and
Jackie Wang and
Lukasz Wesolowski and
Sam White and
Terry Wilmarth and
Jeff Wright and
Josh Yelon and
Gengbin Zheng},
title = {UIUC-PPL/charm: Charm++ version 7.0.0 (Version v7.0.0)},
publisher = {Zenodo},
year = {2021},
month = oct,
howpublished = {\url{https://doi.org/10.5281/zenodo.5597907}},
note = {Accessed on YYYY-MM-DD.}
}
@misc{DBLP:data/10/KaleABBBBBBBBBCCCDDDDDF21a,
author = {Laxmikant V. Kal{\'{e}} and
Bilge Acun and
Seonmyeong Bak and
Aaron T. Becker and
Milind A. Bhandarkar and
Nitin Bhat and
Abhinav Bhatele and
Eric J. Bohm and
Cyril Bordage and
Robert Brunner and
Ronak Buch and
Sayantan Chakravorty and
Kavitha Chandrasekar and
Jaemin Choi and
Michael Denardo and
Jayant DeSouza and
Matthias Diener and
Harshit Dokania and
Isaac Dooley and
Wayne Fenton and
Zane Fink and
Juan J. Galvez and
Pathikrit Ghosh and
Filippo Gioachin and
Abhishek Gupta and
Gagan Gupta and
Manish Gupta and
Attila G{\"{u}}rsoy and
Vipul Harsh and
Fang Hu and
Chao Huang and
Narain Jagathesan and
Nikhil Jain and
Pritish Jetley and
Prateek Jindal and
Raghavendra Kanakagiri and
Gregory A. Koenig and
Sanjeev Krishnan and
Sameer Kumar and
David M. Kunzman and
Michael Lang and
Akhil Langer and
Orion Sky Lawlor and
Chee Wai Lee and
Jonathan Lifflander and
Karthik Mahesh and
Celso L. Mendes and
Harshitha Menon and
Chao Mei and
Esteban Meneses and
Eric Mikida and
Phil Miller and
Ryan M. Mokos and
Venkatasubrahmanian Narayanan and
Xiang Ni and
Kevin Nomura and
Sameer Paranjpye and
Parthasarathy Ramachandran and
Balkrishna Ramkumar and
Evan Ramos and
Michael P. Robson and
Neelam Saboo and
Vikram A. Saletore and
Osman Sarood and
Karthik Senthil and
Nimish Shah and
Wei Wennie Shu and
Amitabh Sinha and
Yanhua Sun and
Zehra Sura and
Justin Josef Szaday and
Ehsan Totoni and
Krishnan Varadarajan and
Ramprasad Venkataraman and
Jackie Wang and
Lukasz Wesolowski and
Sam White and
Terry Wilmarth and
Jeff Wright and
Josh Yelon and
Gengbin Zheng},
title = {UIUC-PPL/charm: v7.0.0-rc2 (Version v7.0.0-rc2)},
publisher = {Zenodo},
year = {2021},
month = sep,
howpublished = {\url{https://doi.org/10.5281/zenodo.5542335}},
note = {Accessed on YYYY-MM-DD.}
}
@misc{DBLP:data/10/KaleABBBBBBBBBCCCDDDDDF21,
author = {Laxmikant V. Kal{\'{e}} and
Bilge Acun and
Seonmyeong Bak and
Aaron T. Becker and
Milind A. Bhandarkar and
Nitin Bhat and
Abhinav Bhatele and
Eric J. Bohm and
Cyril Bordage and
Robert Brunner and
Ronak Buch and
Sayantan Chakravorty and
Kavitha Chandrasekar and
Jaemin Choi and
Michael Denardo and
Jayant DeSouza and
Matthias Diener and
Harshit Dokania and
Isaac Dooley and
Wayne Fenton and
Zane Fink and
Juan J. Galvez and
Pathikrit Ghosh and
Filippo Gioachin and
Abhishek Gupta and
Gagan Gupta and
Manish Gupta and
Attila G{\"{u}}rsoy and
Vipul Harsh and
Fang Hu and
Chao Huang and
Narain Jagathesan and
Nikhil Jain and
Pritish Jetley and
Prateek Jindal and
Raghavendra Kanakagiri and
Gregory A. Koenig and
Sanjeev Krishnan and
Sameer Kumar and
David M. Kunzman and
Michael Lang and
Akhil Langer and
Orion Sky Lawlor and
Chee Wai Lee and
Jonathan Lifflander and
Karthik Mahesh and
Celso L. Mendes and
Harshitha Menon and
Chao Mei and
Esteban Meneses and
Eric Mikida and
Phil Miller and
Ryan M. Mokos and
Venkatasubrahmanian Narayanan and
Xiang Ni and
Kevin Nomura and
Sameer Paranjpye and
Parthasarathy Ramachandran and
Balkrishna Ramkumar and
Evan Ramos and
Michael P. Robson and
Neelam Saboo and
Vikram A. Saletore and
Osman Sarood and
Karthik Senthil and
Nimish Shah and
Wei Wennie Shu and
Amitabh Sinha and
Yanhua Sun and
Zehra Sura and
Justin Josef Szaday and
Ehsan Totoni and
Krishnan Varadarajan and
Ramprasad Venkataraman and
Jackie Wang and
Lukasz Wesolowski and
Sam White and
Terry Wilmarth and
Jeff Wright and
Josh Yelon and
Gengbin Zheng},
title = {UIUC-PPL/charm: v7.0.0-rc1 (Version v7.0.0-rc1)},
publisher = {Zenodo},
year = {2021},
month = jun,
howpublished = {\url{https://doi.org/10.5281/zenodo.4988098}},
note = {Accessed on YYYY-MM-DD.}
}
@article{DBLP:journals/corr/abs-2104-09051,
author = {Thorben Finke and
Michael Kr{\"{a}}mer and
Alessandro Morandini and
Alexander M{\"{u}}ck and
Ivan Oleksiyuk},
title = {Autoencoders for unsupervised anomaly detection in high energy physics},
journal = {CoRR},
volume = {abs/2104.09051},
year = {2021}
}
@article{DBLP:journals/corr/abs-2104-13242,
author = {Xingfu Wu and
Michael Kruse and
Prasanna Balaprakash and
Hal Finkel and
Paul D. Hovland and
Valerie Taylor and
Mary W. Hall},
title = {Autotuning PolyBench Benchmarks with {LLVM} Clang/Polly Loop Optimization
Pragmas Using Bayesian Optimization (extended version)},
journal = {CoRR},
volume = {abs/2104.13242},
year = {2021}
}
@article{DBLP:journals/corr/abs-2106-12880,
author = {Michael Winter and
R{\"{u}}diger Pryss and
Matthias Fink and
Manfred Reichert},
title = {Towards Measuring and Quantifying the Comprehensibility of Process
Models - The Process Model Comprehension Framework},
journal = {CoRR},
volume = {abs/2106.12880},
year = {2021}
}
@article{DBLP:journals/corr/abs-2106-13520,
author = {Michael Christian Fink Amores and
David Sabel},
title = {Complexity of Deciding Syntactic Equivalence up to Renaming for Term
Rewriting Systems (Extended Version)},
journal = {CoRR},
volume = {abs/2106.13520},
year = {2021}
}
@article{DBLP:journals/corr/abs-2107-04025,
author = {Olivier Finkel and
Michal Skrzypczak},
title = {On the expressive power of non-deterministic and unambiguous Petri
nets over infinite words},
journal = {CoRR},
volume = {abs/2107.04025},
year = {2021}
}
@article{DBLP:journals/corr/abs-2109-11986,
author = {Michael Fink},
title = {Implementation of Linear Model Predictive Control - Tutorial},
journal = {CoRR},
volume = {abs/2109.11986},
year = {2021}
}
@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}
}
@article{DBLP:journals/inroads/GolaszewskiSOPB20,
author = {Enis Golaszewski and
Alan T. Sherman and
Linda Oliva and
Peter A. H. Peterson and
Michael R. Bailey and
Scott Bohon and
Cyrus J. Bonyadi and
Casey Borror and
Ryan Coleman and
Johannah Flenner and
Elias Enamorado and
Maksim Ekin Eren and
Mohammad Khan and
Emmanuel Larbi and
Kyle Marshall and
William Morgan and
Lauren Mundy and
Gabriel Onana and
Selma Gomez Orr and
Lauren Parker and
Caleb Pinkney and
Mykah Rather and
Jimmy Rodriguez and
Bryan Solis and
Wubnyonga Tete and
Tsigereda B. Tsega and
Edwin Valdez and
Charles K. Varga and
Brian Weber and
Ryan Wnuk{-}Fink and
Armand Yonkeu and
Lindsay Zetlmeisl and
Damian Doyle and
Casey O'Brien and
Joseph Roundy and
Jack Suess},
title = {Project-based learning continues to inspire cybersecurity students:
the 2018-2019 {SFS} research studies at {UMBC}},
journal = {Inroads},
volume = {11},
number = {2},
pages = {46--54},
year = {2020}
}
@article{DBLP:journals/jocec/Levi-BliechPF20,
author = {Michal Levi{-}Bliech and
Nava Pliskin and
Lior Fink},
title = {Implementing {A} Sales Support app to Complement Face-to-Face Interaction:
An Empirical Investigation of Business Value},
journal = {J. Organ. Comput. Electron. Commer.},
volume = {30},
number = {3},
pages = {266--278},
year = {2020}
}
@article{DBLP:journals/lmcs/BlondinFG20,
author = {Michael Blondin and
Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {2},
year = {2020}
}
@article{DBLP:journals/nature/RheinbayNAWSTHH20,
author = {Esther Rheinbay and
Morten Muhlig Nielsen and
Federico Abascal and
Jeremiah Wala and
Ofer Shapira and
Grace Tiao and
Henrik Hornsh{\o}j and
Julian M. Hess and
Randi Istrup Juul and
Ziao Lin and
Lars Feuerbach and
Radhakrishnan Sabarinathan and
Tobias Madsen and
Jaegil Kim and
Loris Mularoni and
Shimin Shuai and
Andr{\'{e}}s Lanz{\'{o}}s and
Carl Herrmann and
Yosef E. Maruvka and
Ciyue Shen and
Samirkumar B. Amin and
Pratiti Bandopadhayay and
Johanna Bertl and
Keith A. Boroevich and
John Busanovich and
Joana Carlevaro{-}Fita and
Dimple Chakravarty and
Calvin Wing Yiu Chan and
David Craft and
Priyanka Dhingra and
Klev Diamanti and
Nuno A. Fonseca and
Abel Gonzalez{-}Perez and
Qianyun Guo and
Mark P. Hamilton and
Nicholas J. Haradhvala and
Chen Hong and
Keren Isaev and
Todd A. Johnson and
Malene Juul and
Andr{\'{e}} Kahles and
Abdullah Kahraman and
Youngwook Kim and
Jan Komorowski and
Kiran Kumar and
Sushant Kumar and
Donghoon Lee and
Kjong{-}Van Lehmann and
Yilong Li and
Eric Minwei Liu and
Lucas Lochovsky and
Keunchil Park and
Oriol Pich and
Nicola D. Roberts and
Gordon Saksena and
Steven E. Schumacher and
Nikos Sidiropoulos and
Lina Sieverling and
Nasa Sinnott{-}Armstrong and
Chip Stewart and
David Tamborero and
Jose M. C. Tubio and
Husen M. Umer and
Liis Uusk{\"{u}}la{-}Reimand and
Claes Wadelius and
Lina Wadi and
Xiaotong Yao and
Cheng{-}Zhong Zhang and
Jing Zhang and
James E. Haber and
Asger Hobolth and
Marcin Imielinski and
Manolis Kellis and
Michael S. Lawrence and
Christian von Mering and
Hidewaki Nakagawa and
Benjamin J. Raphael and
Mark A. Rubin and
Chris Sander and
Lincoln D. Stein and
Joshua M. Stuart and
Tatsuhiko Tsunoda and
David A. Wheeler and
Rory Johnson and
J{\"{u}}ri Reimand and
Mark Gerstein and
Ekta Khurana and
Peter J. Campbell and
N{\'{u}}ria L{\'{o}}pez{-}Bigas and
Gary D. Bader and
Jonathan Barenboim and
Rameen Beroukhim and
S{\o}ren Brunak and
Ken Chen and
Jung Kyoon Choi and
Jordi Deu{-}Pons and
J. Lynn Fink and
Joan Frigola and
Carlo Gambacorti Passerini and
Dale W. Garsed and
Gad Getz and
Ivo Glynne Gut and
David Haan and
Arif Ozgun Harmanci and
Mohamed Helmy and
Ermin Hodzic and
Jos{\'{e}} M. G. Izarzugaza and
Jong K. Kim and
Jan O. Korbel and
Erik Larsson and
Shantao Li and
Xiaotong Li and
Shaoke Lou and
Kathleen Marchal and
I{\~{n}}igo Martincorena and
Alexander Mart{\'{\i}}nez{-}Fundichely and
Patrick D. McGillivray and
William Meyerson and
Ferran Mui{\~{n}}os and
Marta Paczkowska and
Kiejung Park and
Jakob Skou Pedersen and
Tirso Pons and
Sergio Pulido{-}Tamayo and
Iker Reyes{-}Salazar and
Matthew A. Reyna and
Carlota Rubio{-}Perez and
S{\"{u}}leyman Cenk Sahinalp and
Leonidas Salichos and
Mark Shackleton and
Raunak Shrestha and
Alfonso Valencia and
Miguel Vazquez and
Lieven P. C. Verbeke and
Jiayin Wang and
Jonathan Warrell and
Sebastian M. Waszak and
Joachim Weischenfeldt and
Guanming Wu and
Jun Yu and
Xuanping Zhang and
Yan Zhang and
Zhongming Zhao and
Lihua Zou and
Kadir C. Akdemir and
Eva G. Alvarez and
Adrian Baez{-}Ortega and
Paul C. Boutros and
David D. L. Bowtell and
Benedikt Brors and
Kathleen H. Burns and
Kin Chan and
Isidro Cort{\'{e}}s{-}Ciriano and
Ana Dueso{-}Barroso and
Andrew J. Dunford and
Paul A. Edwards and
Xavier Estivill and
Dariush Etemadmoghadam and
Milana Frenkel{-}Morgenstern and
Dmitry A. Gordenin and
Barbara Hutter and
David T. W. Jones and
Young Seok Ju and
Marat D. Kazanov and
Leszek J. Klimczak and
Youngil Koh and
Eunjung Alice Lee and
Jake June{-}Koo Lee and
Andy G. Lynch and
Geoff MacIntyre and
Florian Markowetz and
Matthew Meyerson and
Satoru Miyano and
Fabio C. P. Navarro and
Stephan Ossowski and
Peter J. Park and
John V. Pearson and
Montserrat Puiggr{\`{o}}s and
Karsten Rippe and
Steven A. Roberts and
Bernardo Rodriguez{-}Martin and
Ralph Scully and
David Torrents and
Izar Villasante and
Nicola Waddell and
Jeremiah A. Wala and
Lixing Yang and
Sung{-}Soo Yoon and
Jorge Zamora},
title = {Analyses of non-coding somatic drivers in 2,658 cancer whole genomes},
journal = {Nat.},
volume = {578},
number = {7793},
pages = {102--111},
year = {2020}
}
@article{DBLP:journals/sensors/NiemannRRNSFH20,
author = {Friedrich Niemann and
Christopher Reining and
Fernando Moya Rueda and
Nilah Ravi Nair and
Janine Anika Steffens and
Gernot A. Fink and
Michael ten Hompel},
title = {LARa: Creating a Dataset for Human Activity Recognition in Logistics
Using Semantic Attributes},
journal = {Sensors},
volume = {20},
number = {15},
pages = {4083},
year = {2020}
}
@article{DBLP:journals/spm/CuiZFSPK20,
author = {Xiaodong Cui and
Wei Zhang and
Ulrich Finkler and
George Saon and
Michael Picheny and
David S. Kung},
title = {Distributed Training of Deep Neural Network Acoustic Models for Automatic
Speech Recognition: {A} comparison of current training strategies},
journal = {{IEEE} Signal Process. Mag.},
volume = {37},
number = {3},
pages = {39--49},
year = {2020}
}
@inproceedings{DBLP:conf/asunam/BarashFCSDMKD20,
author = {Vladimir Barash and
Clayton Fink and
Christopher J. Cameron and
Aurora C. Schmidt and
Wei Dong and
Michael Macy and
John Kelly and
Amruta Deshpande},
title = {A Twitter Social Contagion Monitor},
booktitle = {{ASONAM}},
pages = {523--530},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/icassp/ZhangCKLFKSMBDK20,
author = {Wei Zhang and
Xiaodong Cui and
Abdullah Kayi and
Mingrui Liu and
Ulrich Finkler and
Brian Kingsbury and
George Saon and
Youssef Mroueh and
Alper Buyuktosunoglu and
Payel Das and
David S. Kung and
Michael Picheny},
title = {Improving Efficiency in Large-Scale Decentralized Distributed Training},
booktitle = {{ICASSP}},
pages = {3022--3026},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/icls/Vedder-WeissHJF20,
author = {Dana Vedder{-}Weiss and
Beth Hufnagel and
Lama Z. Jaber and
Carla Finkelstein and
Vesal Dini and
Katherine Schneeberger McGugan and
Brette Garner and
Ilana Horn and
Rotem Trachtenberg Maslaton and
Adam Lefstein and
Sarah Michaels},
title = {Socio-emotional Dynamics in Teacher Learning},
booktitle = {{ICLS}},
publisher = {International Society of the Learning Sciences},
year = {2020}
}
@inproceedings{DBLP:conf/mc/Perrino0FSZ20,
author = {Cristina Hermosa Perrino and
Michael Burmester and
Vera Fink and
Elisabeth Stein and
Katharina M. Zeiner},
title = {Spotlight on "The Positive X" - Was verstehen Unternehmen unter dem
Mindset positiver User Experience und wie setzen diese es um?},
booktitle = {{UP}},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V. und German {UPA} e.V.},
year = {2020}
}
@inproceedings{DBLP:conf/percom/ReiningRNFH20,
author = {Christopher Reining and
Fernando Moya Rueda and
Friedrich Niemann and
Gernot A. Fink and
Michael ten Hompel},
title = {Annotation Performance for multi-channel time series {HAR} Dataset
in Logistics},
booktitle = {PerCom Workshops},
pages = {1--6},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/pmbs-ws/WuKBFHTH20,
author = {Xingfu Wu and
Michael Kruse and
Prasanna Balaprakash and
Hal Finkel and
Paul D. Hovland and
Valerie Taylor and
Mary W. Hall},
title = {Autotuning PolyBench Benchmarks with {LLVM} Clang/Polly Loop Optimization
Pragmas Using Bayesian Optimization},
booktitle = {PMBS@SC},
pages = {61--70},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/uss/NoscoZCMFBP20,
author = {Timothy Nosco and
Jared Ziegler and
Zechariah Clark and
Davy Marrero and
Todd Finkler and
Andrew Barbarello and
W. Michael Petullo},
title = {The Industrial Age of Hacking},
booktitle = {{USENIX} Security Symposium},
pages = {1129--1146},
publisher = {{USENIX} Association},
year = {2020}
}
@inproceedings{DBLP:conf/www/SzpektorCEFHKKO20,
author = {Idan Szpektor and
Deborah Cohen and
Gal Elidan and
Michael Fink and
Avinatan Hassidim and
Orgad Keller and
Sayali Kulkarni and
Eran Ofek and
Sagie Pudinsky and
Asaf Revach and
Shimi Salant and
Yossi Matias},
title = {Dynamic Composition for Conversational Domain Exploration},
booktitle = {{WWW}},
pages = {872--883},
publisher = {{ACM} / {IW3C2}},
year = {2020}
}
@article{DBLP:journals/corr/abs-2002-01119,
author = {Wei Zhang and
Xiaodong Cui and
Abdullah Kayi and
Mingrui Liu and
Ulrich Finkler and
Brian Kingsbury and
George Saon and
Youssef Mroueh and
Alper Buyuktosunoglu and
Payel Das and
David S. Kung and
Michael Picheny},
title = {Improving Efficiency in Large-Scale Decentralized Distributed Training},
journal = {CoRR},
volume = {abs/2002.01119},
year = {2020}
}
@article{DBLP:journals/corr/abs-2002-10502,
author = {Xiaodong Cui and
Wei Zhang and
Ulrich Finkler and
George Saon and
Michael Picheny and
David S. Kung},
title = {Distributed Training of Deep Neural Network Acoustic Models for Automatic
Speech Recognition},
journal = {CoRR},
volume = {abs/2002.10502},
year = {2020}
}
@article{DBLP:journals/corr/abs-2010-06521,
author = {Michael Kruse and
Hal Finkel and
Xingfu Wu},
title = {Autotuning Search Space for Loop Transformations},
journal = {CoRR},
volume = {abs/2010.06521},
year = {2020}
}
@article{DBLP:journals/corr/abs-2010-08040,
author = {Xingfu Wu and
Michael Kruse and
Prasanna Balaprakash and
Hal Finkel and
Paul D. Hovland and
Valerie Taylor and
Mary W. Hall},
title = {Autotuning PolyBench Benchmarks with {LLVM} Clang/Polly Loop Optimization
Pragmas Using Bayesian Optimization},
journal = {CoRR},
volume = {abs/2010.08040},
year = {2020}
}
@article{DBLP:journals/fini/PallastDBWWHFA19,
author = {Niklas Pallast and
Michael Diedenhofen and
Stefan Blaschke and
Frederique Wieters and
Dirk Wiedermann and
Mathias Hoehn and
Gereon R. Fink and
Markus Aswendt},
title = {Processing Pipeline for Atlas-Based Imaging Data Analysis of Structural
and Functional Mouse Brain {MRI} (AIDAmri)},
journal = {Frontiers Neuroinformatics},
volume = {13},
pages = {42},
year = {2019}
}
@article{DBLP:journals/ijinfoman/Levi-BliechKPF19,
author = {Michal Levi{-}Bliech and
Polina Kurtser and
Nava Pliskin and
Lior Fink},
title = {Mobile apps and employee behavior: An empirical investigation of the
implementation of a fleet-management app},
journal = {Int. J. Inf. Manag.},
volume = {49},
pages = {355--365},
year = {2019}
}
@article{DBLP:journals/information/ReiningNRFH19,
author = {Christopher Reining and
Friedrich Niemann and
Fernando Moya Rueda and
Gernot A. Fink and
Michael ten Hompel},
title = {Human Activity Recognition for Production and Logistics - {A} Systematic
Literature Review},
journal = {Inf.},
volume = {10},
number = {8},
pages = {245},
year = {2019}
}
@article{DBLP:journals/jamia/FinkeFK19,
author = {Michael T. Finke and
Ross W. Filice and
Charles E. Kahn Jr.},
title = {Integrating ontologies of human diseases, phenotypes, and radiological
diagnosis},
journal = {J. Am. Medical Informatics Assoc.},
volume = {26},
number = {2},
pages = {149--154},
year = {2019}
}
@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}
}
@article{DBLP:journals/tog/FriedTZFSGGJTA19,
author = {Ohad Fried and
Ayush Tewari and
Michael Zollh{\"{o}}fer and
Adam Finkelstein and
Eli Shechtman and
Dan B. Goldman and
Kyle Genova and
Zeyu Jin and
Christian Theobalt and
Maneesh Agrawala},
title = {Text-based editing of talking-head video},
journal = {{ACM} Trans. Graph.},
volume = {38},
number = {4},
pages = {68:1--68:14},
year = {2019}
}
@inproceedings{DBLP:conf/damon/GowanlockKFW19,
author = {Michael Gowanlock and
Ben Karsin and
Zane Fink and
Jordan Wright},
title = {Accelerating the Unacceleratable: Hybrid {CPU/GPU} Algorithms for
Memory-Bound Database Primitives},
booktitle = {DaMoN},
pages = {7:1--7:11},
publisher = {{ACM}},
year = {2019}
}
@inproceedings{DBLP:conf/hci/ReardonLRF19,
author = {Christopher M. Reardon and
Kevin Lee and
John G. Rogers III and
Jonathan Fink},
title = {Augmented Reality for Human-Robot Teaming in Field Environments},
booktitle = {{HCI} {(10)}},
series = {Lecture Notes in Computer Science},
volume = {11575},
pages = {79--92},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/icassp/ZhangCFKSKP19,
author = {Wei Zhang and
Xiaodong Cui and
Ulrich Finkler and
Brian Kingsbury and
George Saon and
David S. Kung and
Michael Picheny},
title = {Distributed Deep Learning Strategies for Automatic Speech Recognition},
booktitle = {{ICASSP}},
pages = {5706--5710},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/interspeech/ZhangCFSKBK0P19,
author = {Wei Zhang and
Xiaodong Cui and
Ulrich Finkler and
George Saon and
Abdullah Kayi and
Alper Buyuktosunoglu and
Brian Kingsbury and
David S. Kung and
Michael Picheny},
title = {A Highly Efficient Distributed Deep Learning System for Automatic
Speech Recognition},
booktitle = {{INTERSPEECH}},
pages = {2628--2632},
publisher = {{ISCA}},
year = {2019}
}
@inproceedings{DBLP:conf/iwomp/KruseF19,
author = {Michael Kruse and
Hal Finkel},
title = {Design and Use of Loop-Transformation Pragmas},
booktitle = {{IWOMP}},
series = {Lecture Notes in Computer Science},
volume = {11718},
pages = {125--139},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/ssrr/ReardonLRF19,
author = {Christopher M. Reardon and
Kevin Lee and
John G. Rogers and
Jonathan Fink},
title = {Communicating via Augmented Reality for Human-Robot Teaming in Field
Environments},
booktitle = {{SSRR}},
pages = {94--101},
publisher = {{IEEE}},
year = {2019}
}
@incollection{DBLP:books/sp/19/RuskoTDRFS19,
author = {Milan Rusko and
Mari{\'{a}}n Trnka and
Sakhia Darjaa and
Jakub Rajc{\'{a}}ni and
Michael Finke and
Tim H. Stelkens{-}Kobsch},
title = {Enhancing Air Traffic Management Security by Means of Conformance
Monitoring and Speech Analysis},
booktitle = {Cognitive Infocommunications, Theory and Applications},
series = {Topics in Intelligent Engineering and Informatics},
pages = {177--199},
publisher = {Springer},
year = {2019}
}
@misc{DBLP:data/10/KaleABBBBBBBBBCCCDDDDDF20d,
author = {Laxmikant V. Kal{\'{e}} and
Bilge Acun and
Seonmyeong Bak and
Aaron T. Becker and
Milind A. Bhandarkar and
Nitin Bhat and
Abhinav Bhatele and
Eric J. Bohm and
Cyril Bordage and
Robert Brunner and
Ronak Buch and
Sayantan Chakravorty and
Kavitha Chandrasekar and
Jaemin Choi and
Michael Denardo and
Jayant DeSouza and
Matthias Diener and
Harshit Dokania and
Isaac Dooley and
Wayne Fenton and
Zane Fink and
Juan J. Galvez and
Pathikrit Ghosh and
Filippo Gioachin and
Abhishek Gupta and
Gagan Gupta and
Manish Gupta and
Attila G{\"{u}}rsoy and
Vipul Harsh and
Fang Hu and
Chao Huang and
Narain Jagathesan and
Nikhil Jain and
Pritish Jetley and
Prateek Jindal and
Raghavendra Kanakagiri and
Gregory A. Koenig and
Sanjeev Krishnan and
Sameer Kumar and
David M. Kunzman and
Michael Lang and
Akhil Langer and
Orion Sky Lawlor and
Chee Wai Lee and
Jonathan Lifflander and
Karthik Mahesh and
Celso L. Mendes and
Harshitha Menon and
Chao Mei and
Esteban Meneses and
Eric Mikida and
Phil Miller and
Ryan M. Mokos and
Venkatasubrahmanian Narayanan and
Xiang Ni and
Kevin Nomura and
Sameer Paranjpye and
Parthasarathy Ramachandran and
Balkrishna Ramkumar and
Evan Ramos and
Michael P. Robson and
Neelam Saboo and
Vikram A. Saletore and
Osman Sarood and
Karthik Senthil and
Nimish Shah and
Wei Wennie Shu and
Amitabh Sinha and
Yanhua Sun and
Zehra Sura and
Justin Josef Szaday and
Ehsan Totoni and
Krishnan Varadarajan and
Ramprasad Venkataraman and
Jackie Wang and
Lukasz Wesolowski and
Sam White and
Terry Wilmarth and
Jeff Wright and
Josh Yelon and
Gengbin Zheng},
title = {UIUC-PPL/charm: Charm++ version 7.0.0 (Multiple Versions)},
publisher = {Zenodo},
year = {2019-2021},
howpublished = {\url{https://doi.org/10.5281/zenodo.3370873}},
note = {Accessed on YYYY-MM-DD.}
}
@article{DBLP:journals/corr/abs-1904-04956,
author = {Wei Zhang and
Xiaodong Cui and
Ulrich Finkler and
Brian Kingsbury and
George Saon and
David S. Kung and
Michael Picheny},
title = {Distributed Deep Learning Strategies For Automatic Speech Recognition},
journal = {CoRR},
volume = {abs/1904.04956},
year = {2019}
}
@article{DBLP:journals/corr/abs-1904-07736,
author = {Swen Jacobs and
Roderick Bloem and
Maximilien Colange and
Peter Faymonville and
Bernd Finkbeiner and
Ayrat Khalimov and
Felix Klein and
Michael Luttenberger and
Philipp J. Meyer and
Thibaud Michaud and
Mouhammad Sakr and
Salomon Sickert and
Leander Tentrup and
Adam Walker},
title = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks,
Participants {\&} Results},
journal = {CoRR},
volume = {abs/1904.07736},
year = {2019}
}
@article{DBLP:journals/corr/abs-1906-01524,
author = {Ohad Fried and
Ayush Tewari and
Michael Zollh{\"{o}}fer and
Adam Finkelstein and
Eli Shechtman and
Dan B. Goldman and
Kyle Genova and
Zeyu Jin and
Christian Theobalt and
Maneesh Agrawala},
title = {Text-based Editing of Talking-head Video},
journal = {CoRR},
volume = {abs/1906.01524},
year = {2019}
}
@article{DBLP:journals/corr/abs-1907-05701,
author = {Wei Zhang and
Xiaodong Cui and
Ulrich Finkler and
George Saon and
Abdullah Kayi and
Alper Buyuktosunoglu and
Brian Kingsbury and
David S. Kung and
Michael Picheny},
title = {A Highly Efficient Distributed Deep Learning System For Automatic
Speech Recognition},
journal = {CoRR},
volume = {abs/1907.05701},
year = {2019}
}
@article{DBLP:journals/corr/abs-1910-02375,
author = {Michael Kruse and
Hal Finkel},
title = {Design and Use of Loop-Transformation Pragmas},
journal = {CoRR},
volume = {abs/1910.02375},
year = {2019}
}
@article{DBLP:journals/aci/KummerLNGRMPLWK18,
author = {Benjamin Kummer and
Michael Lerario and
Babak Navi and
Adam Ganzman and
Daniel Ribaudo and
Saad Mir and
Sammy Pishanidar and
Tim Lekic and
Olajide Williams and
Hooman Kamel and
Randolph Marshall and
George Hripcsak and
Mitchell Elkind and
Matthew Fink},
title = {Clinical Information Systems Integration in New York City's First
Mobile Stroke Unit},
journal = {Appl. Clin. Inform.},
volume = {09},
number = {01},
pages = {89--98},
year = {2018}
}
@article{DBLP:journals/bmcbi/YangBABNCHRHRSF18,
author = {Samuel J. Yang and
Marc Berndl and
D. Michael Ando and
Mariya Barch and
Arunachalam Narayanaswamy and
Eric Christiansen and
Stephan Hoyer and
Chris Roat and
Jane Hung and
Curtis T. Rueden and
Asim Shankar and
Steven Finkbeiner and
Philip Nelson},
title = {Assessing microscope image focus quality with deep learning},
journal = {{BMC} Bioinform.},
volume = {19},
number = {1},
pages = {77:1--77:9},
year = {2018}
}
@article{DBLP:journals/finr/ReardonZF18,
author = {Christopher M. Reardon and
Hao Zhang and
Jonathan Fink},
title = {Shaping of Shared Autonomous Solutions With Minimal Interaction},
journal = {Frontiers Neurorobotics},
volume = {12},
pages = {54},
year = {2018}
}
@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}
}
@article{DBLP:journals/informatics/RuedaGFFH18,
author = {Fernando Moya Rueda and
Ren{\'{e}} Grzeszick and
Gernot A. Fink and
Sascha Feldhorst and
Michael ten Hompel},
title = {Convolutional Neural Networks for Human Activity Recognition Using
Body-Worn Sensors},
journal = {Informatics},
volume = {5},
number = {2},
pages = {26},
year = {2018}
}
@article{DBLP:journals/ism/Levi-BliechNPF18,
author = {Michal Levi{-}Bliech and
Gali Naveh and
Nava Pliskin and
Lior Fink},
title = {Mobile Technology and Business Process Performance: The Mediating
Role of Collaborative Supply-Chain Capabilities},
journal = {Inf. Syst. Manag.},
volume = {35},
number = {4},
pages = {308--329},
year = {2018}
}
@inproceedings{DBLP:conf/das/FinkLMS18,
author = {Michael Fink and
Thomas Layer and
Georg Mackenbrock and
Michael Sprinzl},
title = {Baseline Detection in Historical Documents Using Convolutional U-Nets},
booktitle = {{DAS}},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {2018}
}
@inproceedings{DBLP:conf/ecis/Levi-BliechKPF18,
author = {Michal Levi{-}Bliech and
Polina Kurtser and
Nava Pliskin and
Lior Fink},
title = {The effects of a fleet-Management App on Driver Behavior},
booktitle = {{ECIS}},
pages = {11},
year = {2018}
}
@inproceedings{DBLP:conf/fedcsis/ReiningRHF18,
author = {Christopher Reining and
Fernando Moya Rueda and
Michael ten Hompel and
Gernot A. Fink},
title = {Towards a Framework for Semi-Automated Annotation of Human Order Picking
Activities Using Motion Capturing},
booktitle = {FedCSIS},
series = {Annals of Computer Science and Information Systems},
volume = {15},
pages = {817--821},
year = {2018}
}
@inproceedings{DBLP:conf/icc/SchmidtFBCM18,
author = {Aurora C. Schmidt and
Clay Fink and
Vladimir Barash and
Christopher J. Cameron and
Michael Macy},
title = {Using Spectral Clustering of Hashtag Adoptions to Find Interest-Based
Communities},
booktitle = {{ICC}},
pages = {1--7},
publisher = {{IEEE}},
year = {2018}
}
@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 = {{IPDPS}},
pages = {960--969},
publisher = {{IEEE} Computer Society},
year = {2018}
}
@inproceedings{DBLP:conf/iwoar/ReiningSHHRF18,
author = {Christopher Reining and
Michelle Schlangen and
Leon Hissmann and
Michael ten Hompel and
Fernando Moya Rueda and
Gernot A. Fink},
title = {Attribute Representation for Human Activity Recognition of Manual
Order Picking Activities},
booktitle = {iWOAR},
pages = {10:1--10:10},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/iwocl/WongF18,
author = {Michael Wong and
Hal Finkel},
title = {Distributed {\&} Heterogeneous Programming in {C++} for {HPC}
at {SC17}},
booktitle = {{IWOCL}},
pages = {20:1--20:7},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/iwomp/KruseF18,
author = {Michael Kruse and
Hal Finkel},
title = {A Proposal for Loop-Transformation Pragmas},
booktitle = {{IWOMP}},
series = {Lecture Notes in Computer Science},
volume = {11128},
pages = {37--52},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/rev/VernerRCYFR18,
author = {Igor M. Verner and
Michael Reitman and
Dan Cuperman and
Toria Yan and
Eldad Finkelstein and
Tal Romm},
title = {Exposing Robot Learning to Students in Augmented Reality Experience},
booktitle = {{REV}},
volume = {47},
pages = {610--619},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/ssrr/LeeRF18,
author = {Kevin Lee and
Christopher M. Reardon and
Jonathan Fink},
title = {Augmented Reality in Human-Robot Cooperative Search},
booktitle = {{SSRR}},
pages = {1},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/ssrr/ReardonLF18,
author = {Christopher M. Reardon and
Kevin Lee and
Jonathan Fink},
title = {Come See This! Augmented Reality to Enable Human-Robot Cooperative
Search},
booktitle = {{SSRR}},
pages = {1--7},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/uist/WillettKCFFG18,
author = {Nora S. Willett and
Rubaiat Habib Kazi and
Michael Chen and
George W. Fitzmaurice and
Adam Finkelstein and
Tovi Grossman},
title = {A Mixed-Initiative Interface for Animating Static Pictures},
booktitle = {{UIST}},
pages = {649--661},
publisher = {{ACM}},
year = {2018}
}
@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},
title = {You Shall Not Pass: Non-Intrusive Feedback for Virtual Walls in {VR}
Environments with Room-Scale Mapping},
booktitle = {{VR}},
pages = {143--150},
publisher = {{IEEE} Computer Society},
year = {2018}
}
@incollection{DBLP:reference/db/MileoDE018,
author = {Alessandra Mileo and
Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink},
title = {Stream Reasoning},
booktitle = {Encyclopedia of Database Systems (2nd ed.)},
publisher = {Springer},
year = {2018}
}
@article{DBLP:journals/corr/abs-1804-04487,
author = {Florian{-}Michael Adolf and
Peter Faymonville and
Bernd Finkbeiner and
Sebastian Schirmer and
Christoph Torens},
title = {Stream Runtime Monitoring on {UAS}},
journal = {CoRR},
volume = {abs/1804.04487},
year = {2018}
}
@article{DBLP:journals/corr/abs-1805-03374,
author = {Michael Kruse and
Hal Finkel},
title = {A Proposal for Loop-Transformation Pragmas},
journal = {CoRR},
volume = {abs/1805.03374},
year = {2018}
}
@article{DBLP:journals/corr/abs-1810-09343,
author = {Michael Fink and
Thomas Layer and
Georg Mackenbrock and
Michael Sprinzl},
title = {Baseline Detection in Historical Documents using Convolutional U-Nets},
journal = {CoRR},
volume = {abs/1810.09343},
year = {2018}
}
@article{DBLP:journals/corr/abs-1811-00624,
author = {Michael Kruse and
Hal Finkel},
title = {User-Directed Loop-Transformations in Clang},
journal = {CoRR},
volume = {abs/1811.00624},
year = {2018}
}
@article{DBLP:journals/corr/abs-1811-00632,
author = {Michael Kruse and
Hal Finkel},
title = {Loop Optimization Framework},
journal = {CoRR},
volume = {abs/1811.00632},
year = {2018}
}
@article{DBLP:journals/algorithmica/BekosDFKKPSW17,
author = {Michael A. Bekos and
Thomas C. van Dijk and
Martin Fink and
Philipp Kindermann and
Stephen G. Kobourov and
Sergey Pupyrev and
Joachim Spoerhase and
Alexander Wolff},
title = {Improved Approximation Algorithms for Box Contact Representations},
journal = {Algorithmica},
volume = {77},
number = {3},
pages = {902--920},
year = {2017}
}
@article{DBLP:journals/jlms/BravermanF17,
author = {Alexander Braverman and
Michael Finkelberg},
title = {Twisted zastava and q-Whittaker functions},
journal = {J. Lond. Math. Soc.},
volume = {96},
number = {2},
pages = {309--325},
year = {2017}
}
@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}
}
@article{DBLP:journals/mansci/FinkeHH17,
author = {Michael S. Finke and
John S. Howe and
Sandra J. Huston},
title = {Old Age and the Decline in Financial Literacy},
journal = {Manag. Sci.},
volume = {63},
number = {1},
pages = {213--230},
year = {2017}
}
@article{DBLP:journals/tocl/BlondinFHH17,
author = {Michael Blondin and
Alain Finkel and
Christoph Haase and
Serge Haddad},
title = {The Logical View on Continuous Petri Nets},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {3},
pages = {24:1--24:28},
year = {2017}
}
@inproceedings{DBLP:conf/delfi/FinkenMMKB17,
author = {Julia Finken and
Franziska Marx and
Michaela Meyer and
Philipp Krieter and
Andreas Breiter},
title = {Entwicklung und Durchf{\"{u}}hrung computerbasierter Tests zur
Messung von Musikkompetenzen},
booktitle = {DeLFI},
series = {{LNI}},
volume = {{P-273}},
pages = {63--74},
publisher = {Gesellschaft f{\"{u}}r Informatik, Bonn},
year = {2017}
}
@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},
title = {Malacology: {A} Programmable Storage System},
booktitle = {EuroSys},
pages = {175--190},
publisher = {{ACM}},
year = {2017}
}
@inproceedings{DBLP:conf/flairs/ReardonF17,
author = {Christopher Michael Reardon and
Jonathan Fink},
title = {Towards Joint Human-Robotic Solutions to Surveillance Problems},
booktitle = {{FLAIRS}},
pages = {472--476},
publisher = {{AAAI} Press},
year = {2017}
}
@inproceedings{DBLP:conf/fsttcs/BlondinFG17,
author = {Michael Blondin and
Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {93},
pages = {16:1--16:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017}
}
@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 = {HotStorage},
publisher = {{USENIX} Association},
year = {2017}
}
@inproceedings{DBLP:conf/icip/GondalKGFH17,
author = {Waleed M. Gondal and
Jan M. K{\"{o}}hler and
Rene Grzeszick and
Gernot A. Fink and
Michael Hirsch},
title = {Weakly-supervised localization of diabetic retinopathy lesions in
retinal fundus images},
booktitle = {{ICIP}},
pages = {2069--2073},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/iwoar/GrzeszickLRFFH17,
author = {Rene Grzeszick and
Jan Marius Lenk and
Fernando Moya Rueda and
Gernot A. Fink and
Sascha Feldhorst and
Michael ten Hompel},
title = {Deep Neural Network based Human Activity Recognition for the Order
Picking Process},
booktitle = {iWOAR},
pages = {14:1--14:6},
publisher = {{ACM}},
year = {2017}
}
@inproceedings{DBLP:conf/rv/AdolfFFST17,
author = {Florian{-}Michael Adolf and
Peter Faymonville and
Bernd Finkbeiner and
Sebastian Schirmer and
Christoph Torens},
title = {Stream Runtime Monitoring on {UAS}},
booktitle = {{RV}},
series = {Lecture Notes in Computer Science},
volume = {10548},
pages = {33--49},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/ssrr/ReardonHZF17,
author = {Christopher M. Reardon and
Fei Han and
Hao Zhang and
Jonathan Fink},
title = {Optimizing autonomous surveillance route solutions from minimal human-robot
interaction},
booktitle = {{SSRR}},
pages = {208--215},
publisher = {{IEEE}},
year = {2017}
}
@article{DBLP:journals/corr/GondalKGFH17,
author = {Waleed M. Gondal and
Jan M. K{\"{o}}hler and
Ren{\'{e}} Grzeszick and
Gernot A. Fink and
Michael Hirsch},
title = {Weakly-supervised localization of diabetic retinopathy lesions in
retinal fundus images},
journal = {CoRR},
volume = {abs/1706.09634},
year = {2017}
}
@article{DBLP:journals/corr/abs-1710-07258,
author = {Michael Blondin and
Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward Analysis for WSTS, Part {III:} Karp-Miller Trees},
journal = {CoRR},
volume = {abs/1710.07258},
year = {2017}
}
@article{DBLP:journals/ai/AmendolaEFLM16,
author = {Giovanni Amendola and
Thomas Eiter and
Michael Fink and
Nicola Leone and
Jo{\~{a}}o Moura},
title = {Semi-equilibrium models for paracoherent answer set programs},
journal = {Artif. Intell.},
volume = {234},
pages = {219--271},
year = {2016}
}
@article{DBLP:journals/ai/EiterFKR16,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl},
title = {Domain expansion for ASP-programs with external sources},
journal = {Artif. Intell.},
volume = {233},
pages = {84--121},
year = {2016}
}
@article{DBLP:journals/ai/EiterFS16,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Data repair of inconsistent nonmonotonic description logic programs},
journal = {Artif. Intell.},
volume = {239},
pages = {7--53},
year = {2016}
}
@article{DBLP:journals/gac/MarstonKFG16,
author = {Hannah R. Marston and
Michael Kroll and
Dennis Fink and
Yves J. Gschwind},
title = {Flow Experience of Older Adults Using the iStoppFalls Exergame},
journal = {Games Cult.},
volume = {11},
number = {1-2},
pages = {201--222},
year = {2016}
}
@article{DBLP:journals/jair/EiterFS16,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Computing Repairs of Inconsistent DL-Programs over {EL} Ontologies},
journal = {J. Artif. Intell. Res.},
volume = {56},
pages = {463--515},
year = {2016}
}
@article{DBLP:journals/neuroimage/BackesWLRNEHFSG16,
author = {Heiko Backes and
Maureen Walberer and
Anne Ladwig and
Maria A. Rueger and
Bernd Neumaier and
Heike Endepols and
Mathias Hoehn and
Gereon R. Fink and
Michael Schroeter and
Rudolf Graf},
title = {Glucose consumption of inflammatory cells masks metabolic deficits
in the brain},
journal = {NeuroImage},
volume = {128},
pages = {54--62},
year = {2016}
}
@article{DBLP:journals/snam/FinkSBCM16,
author = {Clay Fink and
Aurora C. Schmidt and
Vladimir Barash and
Christopher J. Cameron and
Michael Macy},
title = {Complex contagions and the diffusion of popular Twitter hashtags in
Nigeria},
journal = {Soc. Netw. Anal. Min.},
volume = {6},
number = {1},
pages = {1:1--1:19},
year = {2016}
}
@article{DBLP:journals/tciaig/CalimeriFGHIR0T16,
author = {Francesco Calimeri and
Michael Fink and
Stefano Germano and
Andreas Humenberger and
Giovambattista Ianni and
Christoph Redl and
Daria Stepanova and
Andrea Tucci and
Anton Wimmer},
title = {Angry-HEX: An Artificial Player for Angry Birds Based on Declarative
Knowledge Bases},
journal = {{IEEE} Trans. Comput. Intell. {AI} Games},
volume = {8},
number = {2},
pages = {128--139},
year = {2016}
}
@article{DBLP:journals/tplp/EiterFIKRS16,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {A model building framework for answer set programming with external
computations},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {4},
pages = {418--464},
year = {2016}
}
@inproceedings{DBLP:conf/coginfocom/RuskoF16,
author = {Milan Rusko and
Michael Finke},
title = {Using speech analysis in voice communication: {A} new approach to
improve air traffic management security},
booktitle = {CogInfoCom},
pages = {181--186},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/icpram/FeldhorstMHF16,
author = {Sascha Feldhorst and
Mojtaba Masoudinejad and
Michael ten Hompel and
Gernot A. Fink},
title = {Motion Classification for Analyzing the Order Picking Process using
Mobile Sensors - General Concepts, Case Studies and Empirical Evaluation},
booktitle = {{ICPRAM}},
pages = {706--713},
publisher = {SciTePress},
year = {2016}
}
@inproceedings{DBLP:conf/icwsm/FinkSBKCM16,
author = {Clay Fink and
Aurora C. Schmidt and
Vladimir Barash and
John Kelly and
Christopher J. Cameron and
Michael Macy},
title = {Investigating the Observability of Complex Contagion in Empirical
Social Networks},
booktitle = {{ICWSM}},
pages = {121--130},
publisher = {{AAAI} Press},
year = {2016}
}
@inproceedings{DBLP:conf/ssrr/ReardonF16,
author = {Christopher M. Reardon and
Jonathan Fink},
title = {Air-ground robot team surveillance of complex 3D environments},
booktitle = {{SSRR}},
pages = {320--327},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/tacas/BlondinFHH16,
author = {Michael Blondin and
Alain Finkel and
Christoph Haase and
Serge Haddad},
title = {Approaching the Coverability Problem Continuously},
booktitle = {{TACAS}},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {480--496},
publisher = {Springer},
year = {2016}
}
@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}
}
@article{DBLP:journals/jair/Dao-TranEFK15,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {Distributed Evaluation of Nonmonotonic Multi-context Systems},
journal = {J. Artif. Intell. Res.},
volume = {52},
pages = {543--600},
year = {2015}
}
@article{DBLP:journals/jgaa/BekosCFH0NRS15,
author = {Michael A. Bekos and
Sabine Cornelsen and
Martin Fink and
Seok{-}Hee Hong and
Michael Kaufmann and
Martin N{\"{o}}llenburg and
Ignaz Rutter and
Antonios Symvonis},
title = {Many-to-One Boundary Labeling with Backbones},
journal = {J. Graph Algorithms Appl.},
volume = {19},
number = {3},
pages = {779--816},
year = {2015}
}
@inproceedings{DBLP:conf/aaai/BeckDEF15,
author = {Harald Beck and
Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink},
title = {{LARS:} {A} Logic-Based Framework for Analyzing Reasoning over Streams},
booktitle = {{AAAI}},
pages = {1431--1438},
publisher = {{AAAI} Press},
year = {2015}
}
@inproceedings{DBLP:conf/birthday/EiterFW14,
author = {Thomas Eiter and
Michael Fink and
Antonius Weinzierl},
title = {Preference-Based Diagnosis Selection in Multi-Context Systems},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {233--248},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/eurocast/WinklerKKFA15,
author = {Stephan M. Winkler and
Gabriel Kronberger and
Michael Kommenda and
Stefan Fink and
Michael Affenzeller},
title = {Dynamics of Predictability and Variable Influences Identified in Financial
Data Using Sliding Window Machine Learning},
booktitle = {{EUROCAST}},
series = {Lecture Notes in Computer Science},
volume = {9520},
pages = {326--333},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/gsw/GusenbauerMF15,
author = {Michael Gusenbauer and
Silvia Massini and
Matthias Fink},
title = {Innovation Offshoring by Small and Medium-Sized Enterprises - Establishing
the Research Gap},
booktitle = {Global Sourcing Workshop},
series = {Lecture Notes in Business Information Processing},
volume = {236},
pages = {156--170},
publisher = {Springer},
year = {2015}
}
@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 = {{LICS}},
pages = {32--43},
publisher = {{IEEE} Computer Society},
year = {2015}
}
@inproceedings{DBLP:conf/mie/FinkelsteinBP15,
author = {Mark Finkelstein and
Khawaja H. Bilal and
Michael Palese},
title = {A Medical Application to Bridge the Gap between Clinicians and Clinical
Data},
booktitle = {{MIE}},
series = {Studies in Health Technology and Informatics},
volume = {210},
pages = {681--683},
publisher = {{IOS} Press},
year = {2015}
}
@inproceedings{DBLP:conf/sc/CluneFR15,
author = {Thomas L. Clune and
Hal Finkel and
Michael Rilee},
title = {Testing and debugging exascale applications by mocking {MPI}},
booktitle = {SE-HPCCSE@SC},
pages = {5--8},
publisher = {{ACM}},
year = {2015}
}
@proceedings{DBLP:conf/maics/2013,
editor = {Michael Glass and
Suranga Hettiarachchi and
Ronald Finkbine},
title = {Proceedings of the 24th Midwest Artificial Intelligence and Cognitive
Science Conference 2013, Indiana University Southeast, New Albany,
IN, USA, April 13-14, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1348},
publisher = {CEUR-WS.org},
year = {2015}
}
@article{DBLP:journals/corr/BeckDEF15,
author = {Harald Beck and
Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink},
title = {Towards Ideal Semantics for Analyzing Stream Reasoning},
journal = {CoRR},
volume = {abs/1505.05365},
year = {2015}
}
@article{DBLP:journals/corr/BlondinFHH15,
author = {Michael Blondin and
Alain Finkel and
Christoph Haase and
Serge Haddad},
title = {Approaching the Coverability Problem Continuously},
journal = {CoRR},
volume = {abs/1510.05724},
year = {2015}
}
@article{DBLP:journals/corr/EiterFIKRS15,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {A model building framework for Answer Set Programming with external
computations},
journal = {CoRR},
volume = {abs/1507.01451},
year = {2015}
}
@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}
}
@article{DBLP:journals/ai/EiterFSW14,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller and
Antonius Weinzierl},
title = {Finding explanations of inconsistency in multi-context systems},
journal = {Artif. Intell.},
volume = {216},
pages = {233--274},
year = {2014}
}
@article{DBLP:journals/ai/ShenWEFRKD14,
author = {Yi{-}Dong Shen and
Kewen Wang and
Thomas Eiter and
Michael Fink and
Christoph Redl and
Thomas Krennwallner and
Jun Deng},
title = {{FLP} answer set semantics without circular justifications for general
logic programs},
journal = {Artif. Intell.},
volume = {213},
pages = {1--41},
year = {2014}
}
@article{DBLP:journals/at/EngellFKP14,
author = {Sebastian Engell and
Tiago F. Finkler and
Michael Kawohl and
Uwe Piechottka},
title = {Realisierung von Advanced Control in einem industriellen Polymerisationsprozess},
journal = {Autom.},
volume = {62},
number = {2},
pages = {124--140},
year = {2014}
}
@article{DBLP:journals/ijhci/MichalskaYNIF14,
author = {Anna M. Michalska and
Cindy X. You and
Ariana M. Nicolini and
Vincent J. Ippolito and
Wolfgang Fink},
title = {Accessible Web Page Design for the Visually Impaired: {A} Case Study},
journal = {Int. J. Hum. Comput. Interact.},
volume = {30},
number = {12},
pages = {995--1002},
year = {2014}
}
@article{DBLP:journals/ipl/FinkelS14,
author = {Olivier Finkel and
Michal Skrzypczak},
title = {On the topological complexity of {\(\omega\)}-languages of non-deterministic
Petri nets},
journal = {Inf. Process. Lett.},
volume = {114},
number = {5},
pages = {229--233},
year = {2014}
}
@article{DBLP:journals/jair/EiterFKRS14,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {Efficient HEX-Program Evaluation Based on Unfounded Sets},
journal = {J. Artif. Intell. Res.},
volume = {49},
pages = {269--321},
year = {2014}
}
@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}
}
@article{DBLP:journals/midm/HeidebrechtKFQPQD14,
author = {Christine L. Heidebrecht and
Jeffrey C. Kwong and
Michael Finkelstein and
Sherman D. Quan and
Jennifer Pereira and
Susan Quach and
Shelley L. Deeks},
title = {Electronic immunization data collection systems: application of an
evaluation framework},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {14},
pages = {5},
year = {2014}
}
@article{DBLP:journals/mms/ClaypoolFGS14,
author = {Mark Claypool and
David Finkel and
Alexander Grant and
Michael Solano},
title = {On the performance of OnLive thin client games},
journal = {Multim. Syst.},
volume = {20},
number = {5},
pages = {471--484},
year = {2014}
}
@article{DBLP:journals/tplp/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandinno and
Michael Fink},
title = {Causal Graph Justifications of Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {603--618},
year = {2014}
}
@inproceedings{DBLP:conf/aaai/EiterFR014,
author = {Thomas Eiter and
Michael Fink and
Christoph Redl and
Daria Stepanova},
title = {Exploiting Support Sets for Answer Set Programs with External Evaluations},
booktitle = {{AAAI}},
pages = {1041--1048},
publisher = {{AAAI} Press},
year = {2014}
}
@inproceedings{DBLP:conf/dlog/EiterF014,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Towards Practical Deletion Repair of Inconsistent DL-programs},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {169--180},
publisher = {CEUR-WS.org},
year = {2014}
}
@inproceedings{DBLP:conf/ecai/EiterF014,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Towards Practical Deletion Repair of Inconsistent DL-programs},
booktitle = {{ECAI}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {285--290},
publisher = {{IOS} Press},
year = {2014}
}
@inproceedings{DBLP:conf/ekaw/MileoHF14,
author = {Alessandra Mileo and
Martin Homola and
Michael Fink},
title = {Acquisition, Representation and Reasoning About Context with Logic
(ARCOE-Logic 2014)},
booktitle = {{EKAW} (Satellite Events)},
series = {Lecture Notes in Computer Science},
volume = {8982},
pages = {33--34},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/esa/BekosDFKKPSW14,
author = {Michael A. Bekos and
Thomas C. van Dijk and
Martin Fink and
Philipp Kindermann and
Stephen G. Kobourov and
Sergey Pupyrev and
Joachim Spoerhase and
Alexander Wolff},
title = {Improved Approximation Algorithms for Box Contact Representations},
booktitle = {{ESA}},
series = {Lecture Notes in Computer Science},
volume = {8737},
pages = {87--99},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/gfheu/MarstonKFE14,
author = {Hannah Ramsden Marston and
Michael Kroll and
Dennis Fink and
Sabine Eichberg},
title = {Digital Game Aesthetics of the iStoppFalls Exergame},
booktitle = {{GFHEU}},
pages = {89--100},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/icalp/BlondinFM14,
author = {Michael Blondin and
Alain Finkel and
Pierre McKenzie},
title = {Handling Infinitely Branching {WSTS}},
booktitle = {{ICALP} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {13--25},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/ifip11-9/BreitingerWYFS14,
author = {Frank Breitinger and
Christian Winter and
York Yannikos and
Tobias Fink and
Michael Seefried},
title = {Using Approximate Matching to Reduce the Volume of Digital Data},
booktitle = {{IFIP} Int. Conf. Digital Forensics},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {433},
pages = {149--163},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/jelia/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandi{\~{n}}o and
Michael Fink},
title = {A Complexity Assessment for Queries Involving Sufficient and Necessary
Causes},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {297--310},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/jelia/EiterF014,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Computing Repairs for Inconsistent DL-programs over \emph{EL} Ontologies},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {426--441},
publisher = {Springer},
year = {2014}
}
@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 = {{PDP}},
pages = {107--111},
publisher = {{IEEE} Computer Society},
year = {2014}
}
@inproceedings{DBLP:conf/post/ClarksonFKMRS14,
author = {Michael R. Clarkson and
Bernd Finkbeiner and
Masoud Koleini and
Kristopher K. Micinski and
Markus N. Rabe and
C{\'{e}}sar S{\'{a}}nchez},
title = {Temporal Logics for Hyperproperties},
booktitle = {{POST}},
series = {Lecture Notes in Computer Science},
volume = {8414},
pages = {265--284},
publisher = {Springer},
year = {2014}
}
@article{DBLP:journals/corr/BekosDFKKPSW14,
author = {Michael A. Bekos and
Thomas C. van Dijk and
Martin Fink and
Philipp Kindermann and
Stephen G. Kobourov and
Sergey Pupyrev and
Joachim Spoerhase and
Alexander Wolff},
title = {Improved Approximation Algorithms for Box Contact Representations},
journal = {CoRR},
volume = {abs/1403.4861},
year = {2014}
}
@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}
}
@article{DBLP:journals/corr/CabalarFF14,
author = {Pedro Cabalar and
Jorge Fandinno and
Michael Fink},
title = {Causal Graph Justifications of Logic Programs},
journal = {CoRR},
volume = {abs/1409.7281},
year = {2014}
}
@article{DBLP:journals/corr/ClarksonFKMRS14,
author = {Michael R. Clarkson and
Bernd Finkbeiner and
Masoud Koleini and
Kristopher K. Micinski and
Markus N. Rabe and
C{\'{e}}sar S{\'{a}}nchez},
title = {Temporal Logics for Hyperproperties},
journal = {CoRR},
volume = {abs/1401.4492},
year = {2014}
}
@article{DBLP:journals/corr/FinkHM14,
author = {Michael Fink and
Martin Homola and
Alessandra Mileo},
title = {Workshop Notes of the 6th International Workshop on Acquisition, Representation
and Reasoning about Context with Logic (ARCOE-Logic 2014)},
journal = {CoRR},
volume = {abs/1412.8531},
year = {2014}
}
@article{DBLP:journals/corr/FinkelS14,
author = {Olivier Finkel and
Michal Skrzypczak},
title = {On the Topological Complexity of omega-Languages of Non-Deterministic
Petri Nets},
journal = {CoRR},
volume = {abs/1401.6835},
year = {2014}
}
@article{DBLP:journals/bioinformatics/WoodcockVKKFR13,
author = {Dan J. Woodcock and
Keith W. Vance and
Michal Komorowski and
Georgy Koentges and
B{\"{a}}rbel Finkenst{\"{a}}dt and
David A. Rand},
title = {A hierarchical model of transcriptional dynamics allows robust estimation
of transcription rates in populations of single cells with variable
gene copy number},
journal = {Bioinform.},
volume = {29},
number = {12},
pages = {1519--1525},
year = {2013}
}
@article{DBLP:journals/cg/FinkWW13,
author = {Heinrich Fink and
Thomas Weber and
Michael Wimmer},
title = {Teaching a modern graphics pipeline using a shader-based software
renderer},
journal = {Comput. Graph.},
volume = {37},
number = {1-2},
pages = {12--20},
year = {2013}
}
@article{DBLP:journals/envsoft/McKnightF13,
author = {Ursula S. McKnight and
Michael Finkel},
title = {A system dynamics model for the screening-level long-term assessment
of human health risks at contaminated sites},
journal = {Environ. Model. Softw.},
volume = {40},
pages = {35--50},
year = {2013}
}
@article{DBLP:journals/ijcip/FinkeBMG13,
author = {Cindy Finke and
Jonathan Butts and
Robert F. Mills and
Michael R. Grimaila},
title = {Enhancing the security of aircraft surveillance in the next generation
air traffic control system},
journal = {Int. J. Crit. Infrastructure Prot.},
volume = {6},
number = {1},
pages = {3--11},
year = {2013}
}
@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}
}
@article{DBLP:journals/imm/KyleFF13,
author = {Don Kyle and
Michael Fripp and
Kevin Fink},
title = {Acoustic telemetry for oilfield operations},
journal = {{IEEE} Instrum. Meas. Mag.},
volume = {16},
number = {6},
pages = {18--24},
year = {2013}
}
@article{DBLP:journals/jancl/EiterFPTW13,
author = {Thomas Eiter and
Michael Fink and
J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits and
Stefan Woltran},
title = {Model-based recasting in answer-set programming},
journal = {J. Appl. Non Class. Logics},
volume = {23},
number = {1-2},
pages = {75--104},
year = {2013}
}
@article{DBLP:journals/ploscb/FinkMZB13,
author = {Christian G. Fink and
Geoffrey G. Murphy and
Michal Zochowski and
Victoria Booth},
title = {A Dynamical Role for Acetylcholine in Synaptic Renormalization},
journal = {PLoS Comput. Biol.},
volume = {9},
number = {3},
year = {2013}
}
@article{DBLP:journals/tplp/EiterEEF13,
author = {Thomas Eiter and
Esra Erdem and
Halit Erdogan and
Michael Fink},
title = {Finding similar/diverse solutions in answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {3},
pages = {303--359},
year = {2013}
}
@inproceedings{DBLP:conf/aaai/EiterFKR13,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl},
title = {Liberal Safety for Answer Set Programs with External Sources},
booktitle = {{AAAI}},
pages = {267--275},
publisher = {{AAAI} Press},
year = {2013}
}
@inproceedings{DBLP:conf/aiia/CalimeriFGIRW13,
author = {Francesco Calimeri and
Michael Fink and
Stefano Germano and
Giovambattista Ianni and
Christoph Redl and
Anton Wimmer},
title = {AngryHEX: an Artificial Player for Angry Birds Based on Declarative
Knowledge Bases},
booktitle = {PAI@AI*IA},
series = {{CEUR} Workshop Proceedings},
volume = {1107},
pages = {29--35},
publisher = {CEUR-WS.org},
year = {2013}
}
@inproceedings{DBLP:conf/gd/BekosCFHKNRS13,
author = {Michael A. Bekos and
Sabine Cornelsen and
Martin Fink and
Seok{-}Hee Hong and
Michael Kaufmann and
Martin N{\"{o}}llenburg and
Ignaz Rutter and
Antonios Symvonis},
title = {Many-to-One Boundary Labeling with Backbones},
booktitle = {{GD}},
series = {Lecture Notes in Computer Science},
volume = {8242},
pages = {244--255},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/globalsip/FinkZB13,
author = {Christian G. Fink and
Michal Zochowski and
Victoria Booth},
title = {Neural network modulation, dynamics, and plasticity},
booktitle = {GlobalSIP},
pages = {843--846},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/ijcai/EiterF013,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Data Repair of Inconsistent DL-Programs},
booktitle = {{IJCAI}},
pages = {869--876},
publisher = {{IJCAI/AAAI}},
year = {2013}
}
@inproceedings{DBLP:conf/inap/EiterFKR13,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl},
title = {hex-Programs with Existential Quantification},
booktitle = {{KDPD}},
series = {Lecture Notes in Computer Science},
volume = {8439},
pages = {99--117},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/lpnmr/AnticEF13,
author = {Christian Antic and
Thomas Eiter and
Michael Fink},
title = {Hex Semantics via Approximation Fixpoint Theory},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {102--115},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/lpnmr/BarilaroFRT13,
author = {Rosamaria Barilaro and
Michael Fink and
Francesco Ricca and
Giorgio Terracina},
title = {Towards Query Answering in Relational Multi-Context Systems},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {168--173},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/lpnmr/FinkGIRS13,
author = {Michael Fink and
Stefano Germano and
Giovambattista Ianni and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {ActHEX: Implementing {HEX} Programs with Action Atoms},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {317--322},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/mmar/StraussbergerSHBFMKR13,
author = {Florian Straussberger and
Manuel Schwab and
Michael Huber and
Christian Baumann and
Markus Fink and
Andreas Michaels and
Matthias Kasch and
Johannes Reuter},
title = {A model reference adaptive control strategy for a self-balancing chair},
booktitle = {{MMAR}},
pages = {554--559},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/rr/EiterF013,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Inconsistency Management for Description Logic Programs and Beyond},
booktitle = {{RR}},
series = {Lecture Notes in Computer Science},
volume = {7994},
pages = {1--3},
publisher = {Springer},
year = {2013}
}
@article{DBLP:journals/corr/BekosCFHKNRS13,
author = {Michael A. Bekos and
Sabine Cornelsen and
Martin Fink and
Seok{-}Hee Hong and
Michael Kaufmann and
Martin N{\"{o}}llenburg and
Ignaz Rutter and
Antonios Symvonis},
title = {Many-to-One Boundary Labeling with Backbones},
journal = {CoRR},
volume = {abs/1308.6801},
year = {2013}
}
@article{DBLP:journals/corr/FinkL13,
author = {Michael Fink and
Yuliya Lierler},
title = {Proceedings of Answer Set Programming and Other Computing Paradigms
{(ASPOCP} 2013), 6th International Workshop, August 25, 2013, Istanbul,
Turkey},
journal = {CoRR},
volume = {abs/1312.7422},
year = {2013}
}
@article{DBLP:journals/corr/abs-1301-1390,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {Eliminating Unfounded Set Checking for HEX-Programs},
journal = {CoRR},
volume = {abs/1301.1390},
year = {2013}
}
@article{DBLP:journals/corr/abs-1301-2215,
author = {Michael Fink and
Yuliya Lierler},
title = {Proceedings of Answer Set Programming and Other Computing Paradigms
{(ASPOCP} 2012), 5th International Workshop, September 4, 2012, Budapest,
Hungary},
journal = {CoRR},
volume = {abs/1301.2215},
year = {2013}
}
@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}
}
@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}
}
@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}
}
@article{DBLP:journals/tplp/EiterFKR12,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl},
title = {Conflict-driven {ASP} solving with external sources},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {659--679},
year = {2012}
}
@inproceedings{DBLP:conf/birthday/EiterFF12,
author = {Thomas Eiter and
Cristina Feier and
Michael Fink},
title = {Simulating Production Rules Using {ACTHEX}},
booktitle = {Correct Reasoning},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {211--228},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/dlt/CadilhacFM12,
author = {Micha{\"{e}}l Cadilhac and
Alain Finkel and
Pierre McKenzie},
title = {Unambiguous Constrained Automata},
booktitle = {Developments in Language Theory},
series = {Lecture Notes in Computer Science},
volume = {7410},
pages = {239--250},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/eurographics/FinkWW12,
author = {Heinrich Fink and
Thomas Weber and
Michael Wimmer},
title = {Teaching a Modern Graphics Pipeline Using a Shader-based Software
Renderer},
booktitle = {Eurographics (Education Papers)},
pages = {73--80},
publisher = {Eurographics Association},
year = {2012}
}
@inproceedings{DBLP:conf/itaero/0002EFP12,
author = {Michael Gerke and
R{\"{u}}diger Ehlers and
Bernd Finkbeiner and
Hans{-}J{\"{o}}rg Peter},
title = {FlexRay for Avionics: Automatic Verification with Parametric Physical
Layers},
booktitle = {Infotech@Aerospace},
year = {2012}
}
@inproceedings{DBLP:conf/jelia/Dao-TranEFWW12,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Gerald Weidinger and
Antonius Weinzierl},
title = {OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {480--483},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/jelia/EiterFKRS12,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl and
Peter Sch{\"{u}}ller},
title = {Exploiting Unfounded Sets for HEX-Program Evaluation},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {160--175},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/kr/Fink12,
author = {Michael Fink},
title = {Paraconsistent Hybrid Theories},
booktitle = {{KR}},
publisher = {{AAAI} Press},
year = {2012}
}
@inproceedings{DBLP:conf/netgames/ClaypoolFGS12,
author = {Mark Claypool and
David Finkel and
Alexander Grant and
Michael Solano},
title = {Thin to win? Network performance analysis of the OnLive thin client
game system},
booktitle = {NetGames},
pages = {1--6},
publisher = {{IEEE}},
year = {2012}
}
@inproceedings{DBLP:conf/rr/EiterFS12,
author = {Thomas Eiter and
Michael Fink and
Daria Stepanova},
title = {Semantic Independence in DL-Programs},
booktitle = {{RR}},
series = {Lecture Notes in Computer Science},
volume = {7497},
pages = {58--74},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/semweb/PhuocDPBEF12,
author = {Danh Le Phuoc and
Minh Dao{-}Tran and
Minh{-}Duc Pham and
Peter A. Boncz and
Thomas Eiter and
Michael Fink},
title = {Linked Stream Data Processing Engines: Facts and Figures},
booktitle = {{ISWC} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {7650},
pages = {300--312},
publisher = {Springer},
year = {2012}
}
@incollection{DBLP:series/lncs/FritschF12,
author = {J{\"{u}}rgen Fritsch and
Michael Finke},
title = {Applying Divide and Conquer to Large Scale Pattern Recognition Tasks},
booktitle = {Neural Networks: Tricks of the Trade (2nd ed.)},
series = {Lecture Notes in Computer Science},
volume = {7700},
pages = {311--338},
publisher = {Springer},
year = {2012}
}
@article{DBLP:journals/corr/abs-1210-1649,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Christoph Redl},
title = {Conflict-driven {ASP} Solving with External Sources},
journal = {CoRR},
volume = {abs/1210.1649},
year = {2012}
}
@article{DBLP:journals/corr/abs-1212-2044,
author = {Gabriel Kronberger and
Stefan Fink and
Michael Kommenda and
Michael Affenzeller},
title = {Macro-Economic Time Series Modeling and Interaction Networks},
journal = {CoRR},
volume = {abs/1212.2044},
year = {2012}
}
@article{DBLP:journals/arobots/MichaelFK11,
author = {Nathan Michael and
Jonathan Fink and
Vijay Kumar},
title = {Cooperative manipulation and transportation with aerial robots},
journal = {Auton. Robots},
volume = {30},
number = {1},
pages = {73--86},
year = {2011}
}
@article{DBLP:journals/ijrr/FinkMKK11,
author = {Jonathan Fink and
Nathan Michael and
Soonkyum Kim and
Vijay Kumar},
title = {Planning and control for cooperative manipulation and transportation
with aerial robots},
journal = {Int. J. Robotics Res.},
volume = {30},
number = {3},
pages = {324--334},
year = {2011}
}
@article{DBLP:journals/ploscb/FinkBZ11,
author = {Christian G. Fink and
Victoria Booth and
Michal Zochowski},
title = {Cellularly-Driven Differences in Network Synchronization Propensity
Are Differentially Modulated by Firing Frequency},
journal = {PLoS Comput. Biol.},
volume = {7},
number = {5},
year = {2011}
}
@article{DBLP:journals/tplp/Fink11,
author = {Michael Fink},
title = {A general framework for equivalences in Answer-Set Programming by
countermodels in the logic of Here-and-There},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {2-3},
pages = {171--202},
year = {2011}
}
@inproceedings{DBLP:conf/birthday/BrewkaEF11,
author = {Gerhard Brewka and
Thomas Eiter and
Michael Fink},
title = {Nonmonotonic Multi-Context Systems: {A} Flexible Approach for Integrating
Heterogeneous Knowledge Sources},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning},
series = {Lecture Notes in Computer Science},
volume = {6565},
pages = {233--258},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/cidm/CismondiFVSRHF11,
author = {Federico Cismondi and
Andr{\'{e}} S. Fialho and
Susana M. Vieira and
Jo{\~{a}}o M. C. Sousa and
Shane R. Reti and
Michael D. Howell and
Stan N. Finkelstein},
title = {Computational intelligence methods for processing misaligned, unevenly
sampled time series containing missing data},
booktitle = {{CIDM}},
pages = {224--231},
publisher = {{IEEE}},
year = {2011}
}
@inproceedings{DBLP:conf/evoW/KronbergerFKA11,
author = {Gabriel Kronberger and
Stefan Fink and
Michael Kommenda and
Michael Affenzeller},
title = {Macro-economic Time Series Modeling and Interaction Networks},
booktitle = {EvoApplications {(2)}},
series = {Lecture Notes in Computer Science},
volume = {6625},
pages = {101--110},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/fuzzIEEE/CismondiFVSRCHF11,
author = {Federico Cismondi and
Andr{\'{e}} S. Fialho and
Susana M. Vieira and
Jo{\~{a}}o M. C. Sousa and
Shane R. Reti and
Leo A. Celi and
Michael D. Howell and
Stan N. Finkelstein},
title = {Predicting laboratory testing in intensive care using fuzzy and neural
modeling},
booktitle = {{FUZZ-IEEE}},
pages = {2096--2103},
publisher = {{IEEE}},
year = {2011}
}
@inproceedings{DBLP:conf/fuzzIEEE/FialhoCVSRCHF11,
author = {Andr{\'{e}} S. Fialho and
Federico Cismondi and
Susana M. Vieira and
Jo{\~{a}}o M. C. Sousa and
Shane R. Reti and
Leo A. Celi and
Michael D. Howell and
Stan N. Finkelstein},
title = {Fuzzy modeling to predict administration of vasopressors in intensive
care unit patients},
booktitle = {{FUZZ-IEEE}},
pages = {2296--2303},
publisher = {{IEEE}},
year = {2011}
}
@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}},
pages = {2507--2512},
publisher = {{IEEE}},
year = {2011}
}
@inproceedings{DBLP:conf/icwsm/RaoPFYOC11,
author = {Delip Rao and
Michael J. Paul and
Clayton Fink and
David Yarowsky and
Timothy Oates and
Glen Coppersmith},
title = {Hierarchical Bayesian Models for Latent Attribute Detection in Social
Media},
booktitle = {{ICWSM}},
publisher = {The {AAAI} Press},
year = {2011}
}
@inproceedings{DBLP:conf/ijcai/BrewkaEFW11,
author = {Gerhard Brewka and
Thomas Eiter and
Michael Fink and
Antonius Weinzierl},
title = {Managed Multi-Context Systems},
booktitle = {{IJCAI}},
pages = {786--791},
publisher = {{IJCAI/AAAI}},
year = {2011}
}
@inproceedings{DBLP:conf/inap/EiterFIS11,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Peter Sch{\"{u}}ller},
title = {The {IMPL} Policy Language for Managing Inconsistency in Multi-Context
Systems},
booktitle = {{INAP/WLP}},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {3--26},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/iwec/MillerFIFBWM11,
author = {Gregor Miller and
Sidney S. Fels and
Michael Ilich and
Martin Matthias Finke and
Thomas Bauer and
Kelvie Wong and
Stefanie Mueller},
title = {An End-to-End Framework for Multi-view Video Content: Creating Multiple-Perspective
Hypervideo to View on Mobile Platforms},
booktitle = {{ICEC}},
series = {Lecture Notes in Computer Science},
volume = {6972},
pages = {337--342},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/lpnmr/Dao-TranEFK11,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {Model Streaming for Distributed Multi-Context Systems},
booktitle = {Log-IC@LPNMR},
series = {{CEUR} Workshop Proceedings},
volume = {738},
pages = {11--22},
publisher = {CEUR-WS.org},
year = {2011}
}
@inproceedings{DBLP:conf/lpnmr/DrescherEFKW11,
author = {Christian Drescher and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Toby Walsh},
title = {Symmetry Breaking for Distributed Multi-Context Systems},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {26--39},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/lpnmr/EiterFIKS11,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Thomas Krennwallner and
Peter Sch{\"{u}}ller},
title = {Pushing Efficient Evaluation of {HEX} Programs by Modular Decomposition},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {93--106},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/lpnmr/EiterFIS11,
author = {Thomas Eiter and
Michael Fink and
Giovambattista Ianni and
Peter Sch{\"{u}}ller},
title = {Towards a Policy Language for Managing Inconsistency in Multi-Context
Systems},
booktitle = {Log-IC@LPNMR},
series = {{CEUR} Workshop Proceedings},
volume = {738},
pages = {23--35},
publisher = {CEUR-WS.org},
year = {2011}
}
@inproceedings{DBLP:conf/lpnmr/EiterFS11,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller},
title = {Approximations for Explanations of Inconsistency in Partially Known
Multi-Context Systems},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {107--119},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/lpnmr/FinkGW11,
author = {Michael Fink and
Lucantonio Ghionna and
Antonius Weinzierl},
title = {Relational Information Exchange and Aggregation in Multi-Context Systems},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {120--133},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/ncma/CadilhacFM11,
author = {Micha{\"{e}}l Cadilhac and
Alain Finkel and
Pierre McKenzie},
title = {On the Expressiveness of Parikh Automata and Related Models},
booktitle = {{NCMA}},
series = {books@ocg.at},
volume = {282},
pages = {103--119},
publisher = {Austrian Computer Society},
year = {2011}
}
@inproceedings{DBLP:conf/saso/FinkOHMFC11,
author = {Glenn A. Fink and
Christopher S. Oehmen and
Jereme N. Haack and
A. David McKinnon and
Errin W. Fulp and
Michael B. Crouse},
title = {Bio-Inspired Enterprise Security},
booktitle = {{SASO}},
pages = {212--213},
publisher = {{IEEE} Computer Society},
year = {2011}
}
@inproceedings{DBLP:journals/corr/abs-1108-3625,
author = {Micha{\"{e}}l Cadilhac and
Alain Finkel and
Pierre McKenzie},
title = {Bounded Parikh Automata},
booktitle = {{WORDS}},
series = {{EPTCS}},
volume = {63},
pages = {93--102},
year = {2011}
}
@proceedings{DBLP:conf/lpnmr/2011logic,
editor = {Alessandra Mileo and
Michael Fink},
title = {Proceedings of the 2nd Workshop on Logic-based Interpretation of Context:
Modelling and Applications, Vancouver, Canada, May 16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {738},
publisher = {CEUR-WS.org},
year = {2011}
}
@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}
}
@article{DBLP:journals/corr/abs-1104-3931,
author = {Christian Drescher and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner and
Toby Walsh},
title = {Symmetry Breaking for Distributed Multi-Context Systems},
journal = {CoRR},
volume = {abs/1104.3931},
year = {2011}
}
@article{DBLP:journals/corr/abs-1108-3260,
author = {Thomas Eiter and
Esra Erdem and
Halit Erdogan and
Michael Fink},
title = {Finding Similar/Diverse Solutions in Answer Set Programming},
journal = {CoRR},
volume = {abs/1108.3260},
year = {2011}
}
@article{DBLP:journals/ai/EiterEFS10,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
title = {Updating action domain descriptions},
journal = {Artif. Intell.},
volume = {174},
number = {15},
pages = {1172--1221},
year = {2010}
}
@article{DBLP:journals/envsoft/MorioFM10,
author = {Maximilian Morio and
Michael Finkel and
E. Martac},
title = {Flow guided interpolation - {A} GIS-based method to represent contaminant
concentration distributions in groundwater},
journal = {Environ. Model. Softw.},
volume = {25},
number = {12},
pages = {1769--1780},
year = {2010}
}
@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}
}
@article{DBLP:journals/jocn/LazarewiczEMGFS10,
author = {Maciej T. Lazarewicz and
Richard S. Ehrlichman and
Christina R. Maxwell and
Michael J. Gandal and
Leif H. Finkel and
Steven J. Siegel},
title = {Ketamine Modulates Theta and Gamma Oscillations},
journal = {J. Cogn. Neurosci.},
volume = {22},
number = {7},
pages = {1452--1464},
year = {2010}
}
@article{DBLP:journals/te/YearyYPMRZCBWMF10,
author = {Mark B. Yeary and
Tian{-}You Yu and
Robert D. Palmer and
Hector Monroy and
Isabelle Ruin and
Guifu Zhang and
Phillip B. Chilson and
Michael Irwin Biggerstaff and
Christopher Weiss and
Kelly Ann Mitchell and
L. Dee Fink},
title = {Working Together for Better Student Learning: {A} Multi-University,
Multi-Federal Partner Program for Asynchronous Learning Module Development
for Radar-Based Remote Sensing Systems},
journal = {{IEEE} Trans. Educ.},
volume = {53},
number = {3},
pages = {504--515},
year = {2010}
}
@article{DBLP:journals/tsc/RiegenHFR10,
author = {Michael Von Riegen and
Martin Husemann and
Stefan Fink and
Norbert Ritter},
title = {Rule-Based Coordination of Distributed Web Service Transactions},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {3},
number = {1},
pages = {60--72},
year = {2010}
}
@inproceedings{DBLP:conf/datalog/Dao-TranEFK10,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {First-Order Encodings for Modular Nonmonotonic Datalog Programs},
booktitle = {Datalog},
series = {Lecture Notes in Computer Science},
volume = {6702},
pages = {59--77},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/fmics/GerkeEFP10,
author = {Michael Gerke and
R{\"{u}}diger Ehlers and
Bernd Finkbeiner and
Hans{-}J{\"{o}}rg Peter},
title = {Model Checking the FlexRay Physical Layer Protocol},
booktitle = {{FMICS}},
series = {Lecture Notes in Computer Science},
volume = {6371},
pages = {132--147},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/iclp/BasolEFI10,
author = {Selen Basol and
Ozan Erdem and
Michael Fink and
Giovambattista Ianni},
title = {{HEX} Programs with Action Atoms},
booktitle = {{ICLP} (Technical Communications)},
series = {LIPIcs},
volume = {7},
pages = {24--33},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010}
}
@inproceedings{DBLP:conf/icra/GoncalvesPMPDMFK10,
author = {Vinicius Mariano Gon{\c{c}}alves and
Luciano C. A. Pimenta and
Carlos Andrey Maia and
Guilherme A. S. Pereira and
Bruno C. O. Dutra and
Nathan Michael and
Jonathan Fink and
Vijay Kumar},
title = {Circulation of curves using vector fields: Actual robot experiments
in 2D and 3D workspaces},
booktitle = {{ICRA}},
pages = {1136--1141},
publisher = {{IEEE}},
year = {2010}
}
@inproceedings{DBLP:conf/ipmu/FialhoCVSRHF10,
author = {Andr{\'{e}} S. Fialho and
Federico Cismondi and
Susana M. Vieira and
Jo{\~{a}}o Miguel da Costa Sousa and
Shane R. Reti and
Michael D. Howell and
Stan N. Finkelstein},
title = {Predicting Outcomes of Septic Shock Patients Using Feature Selection
Based on Soft Computing Techniques},
booktitle = {{IPMU} {(2)}},
series = {Communications in Computer and Information Science},
volume = {81},
pages = {65--74},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/itng/FinkZRIDO10,
author = {Pamela K. Fink and
Xioawen Zhu and
Sandra Ryan and
Lisa Ibekwe and
Michael L. Denton and
Jeffrey Oliver},
title = {A Computer-Based Model for Studying the Effects of Lasers on the Retina},
booktitle = {{ITNG}},
pages = {432--437},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@inproceedings{DBLP:conf/jelia/BairakdarDEFK10,
author = {Seif El{-}Din Bairakdar and
Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {Decomposition of Distributed Nonmonotonic Multi-Context Systems},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {24--37},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/jelia/BairakdarDEFK10a,
author = {Seif El{-}Din Bairakdar and
Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {The {DMCS} Solver for Distributed Nonmonotonic Multi-Context Systems},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {352--355},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/jelia/BoglEFS10,
author = {Markus B{\"{o}}gl and
Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller},
title = {The mcs-ie System for Explaining Inconsistency in Multi-Context Systems},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {356--359},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/jelia/EiterFW10,
author = {Thomas Eiter and
Michael Fink and
Antonius Weinzierl},
title = {Preference-Based Inconsistency Assessment in Multi-Context Systems},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {143--155},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/jelia/FinkP10,
author = {Michael Fink and
David Pearce},
title = {A Logical Semantics for Description Logic Programs},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {156--168},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/kr/Dao-TranEFK10,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {Distributed Nonmonotonic Multi-Context Systems},
booktitle = {{KR}},
publisher = {{AAAI} Press},
year = {2010}
}
@inproceedings{DBLP:conf/kr/EiterFM10,
author = {Thomas Eiter and
Michael Fink and
Jo{\~{a}}o Moura},
title = {Paracoherent Answer Set Programming},
booktitle = {{KR}},
publisher = {{AAAI} Press},
year = {2010}
}
@inproceedings{DBLP:conf/kr/EiterFSW10,
author = {Thomas Eiter and
Michael Fink and
Peter Sch{\"{u}}ller and
Antonius Weinzierl},
title = {Finding Explanations of Inconsistency in Multi-Context Systems},
booktitle = {{KR}},
publisher = {{AAAI} Press},
year = {2010}
}
@inproceedings{DBLP:conf/miccai/WolfYGCNF10,
author = {Lior Wolf and
Tamir Yedidya and
Roy Ganor and
Michael Chertok and
Ariela Nachmani and
Yehuda Finkelstein},
title = {Automatic Cephalometric Evaluation of Patients Suffering from Sleep-Disordered
Breathing},
booktitle = {{MICCAI} {(3)}},
series = {Lecture Notes in Computer Science},
volume = {6363},
pages = {642--649},
publisher = {Springer},
year = {2010}
}
@proceedings{DBLP:conf/evoW/2010a2,
editor = {Cecilia Di Chio and
Anthony Brabazon and
Gianni A. Di Caro and
Marc Ebner and
Muddassar Farooq and
Andreas Fink and
J{\"{o}}rn Grahl and
Gary Greenfield and
Penousal Machado and
Michael O'Neill and
Ernesto Tarantino and
Neil Urquhart},
title = {Applications of Evolutionary Computation, EvoApplications 2010: EvoCOMNET,
EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey,
April 7-9, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6025},
publisher = {Springer},
year = {2010}
}
@incollection{DBLP:reference/se/SabetzadehFG10,
author = {Mehrdad Sabetzadeh and
Anthony Finkelstein and
Michael Goedicke},
title = {Viewpoints},
booktitle = {Encyclopedia of Software Engineering},
pages = {1318--1329},
publisher = {Taylor {\&} Francis},
year = {2010}
}
@article{DBLP:journals/corr/abs-1006-3021,
author = {Michael Fink},
title = {A General Framework for Equivalences in Answer-Set Programming by
Countermodels in the Logic of Here-and-There},
journal = {CoRR},
volume = {abs/1006.3021},
year = {2010}
}
@article{DBLP:journals/bmcbi/KomorowskiFHR09,
author = {Michal Komorowski and
B{\"{a}}rbel Finkenst{\"{a}}dt and
Claire V. Harper and
David A. Rand},
title = {Bayesian inference of biochemical kinetic parameters using the linear
noise approximation},
journal = {{BMC} Bioinform.},
volume = {10},
pages = {343},
year = {2009}
}
@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}
}
@inproceedings{DBLP:conf/frocos/EiterBDFIK09,
author = {Thomas Eiter and
Gerhard Brewka and
Minh Dao{-}Tran and
Michael Fink and
Giovambattista Ianni and
Thomas Krennwallner},
title = {Combining Nonmonotonic Knowledge Bases with External Sources},
booktitle = {FroCoS},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {18--42},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/iclp/Dao-TranEFK09,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {Modular Nonmonotonic Logic Programming Revisited},
booktitle = {{ICLP}},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {145--159},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/iclp/EiterEEF09,
author = {Thomas Eiter and
Esra Erdem and
Halit Erdogan and
Michael Fink},
title = {Finding Similar or Diverse Solutions in Answer Set Programming},
booktitle = {{ICLP}},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {342--356},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/ijcai/EiterFK09,
author = {Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {Decomposition of Declarative Knowledge Bases with External Functions},
booktitle = {{IJCAI}},
pages = {752--758},
year = {2009}
}
@inproceedings{DBLP:conf/iros/FinkMKK09,
author = {Jonathan Fink and
Nathan Michael and
Aleksandr Kushleyev and
Vijay Kumar},
title = {Experimental characterization of radio signal propagation in indoor
environments with application to estimation and control},
booktitle = {{IROS}},
pages = {2834--2839},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/isrr/FinkMKK09,
author = {Jonathan Fink and
Nathan Michael and
Soonkyum Kim and
Vijay Kumar},
title = {Planning and Control for Cooperative Manipulation and Transportation
with Aerial Robots},
booktitle = {{ISRR}},
series = {Springer Tracts in Advanced Robotics},
volume = {70},
pages = {643--659},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/lpnmr/Dao-TranEFK09,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
title = {Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {87--100},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/rss/MichaelFK09,
author = {Nathan Michael and
Jonathan Fink and
Vijay Kumar},
title = {Cooperative manipulation and transportation with aerial robots},
booktitle = {Robotics: Science and Systems},
publisher = {The {MIT} Press},
year = {2009}
}
@incollection{DBLP:books/sp/09/0002CB09,
author = {Michael Fink and
Michele Covell and
Shumeet Baluja},
title = {Mass Personalization: Social and Interactive Applications Using Sound-Track
Identification},
booktitle = {Handbook of Multimedia for Digital Entertainment and Arts},
pages = {745--764},
publisher = {Springer},
year = {2009}
}
@proceedings{DBLP:conf/evoW/2009,
editor = {Mario Giacobini and
Anthony Brabazon and
Stefano Cagnoni and
Gianni A. Di Caro and
Anik{\'{o}} Ek{\'{a}}rt and
Anna Esparcia{-}Alc{\'{a}}zar and
Muddassar Farooq and
Andreas Fink and
Penousal Machado and
Jon McCormack and
Michael O'Neill and
Ferrante Neri and
Mike Preuss and
Franz Rothlauf and
Ernesto Tarantino and
Shengxiang Yang},
title = {Applications of Evolutionary Computing, EvoWorkshops 2009: EvoCOMNET,
EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION,
EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, T{\"{u}}bingen, Germany,
April 15-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5484},
publisher = {Springer},
year = {2009}
}
@article{DBLP:journals/ar/MichaelFK08,
author = {Nathan Michael and
Jonathan Fink and
Vijay Kumar},
title = {Controlling Ensembles of Robots\emph{ via} a Supervisory Aerial Robot},
journal = {Adv. Robotics},
volume = {22},
number = {12},
pages = {1361--1377},
year = {2008}
}
@article{DBLP:journals/bioinformatics/FinkenstadtHKETHDWMR08,
author = {B{\"{a}}rbel Finkenst{\"{a}}dt and
Elizabeth A. Heron and
Michal Komorowski and
Kieron D. Edwards and
Sanyi Tang and
Claire V. Harper and
Julian R. E. Davis and
Michael R. H. White and
Andrew J. Millar and
David A. Rand},
title = {Reconstruction of transcriptional dynamics from gene reporter data
using differential equations},
journal = {Bioinform.},
volume = {24},
number = {24},
pages = {2901--2907},
year = {2008}
}
@article{DBLP:journals/ecoi/FinkeSS08,
author = {Jens Finke and
Martin Strein and
Michael Sonnenschein},
title = {A simulation framework for modeling anthropogenic disturbances in
habitat networks},
journal = {Ecol. Informatics},
volume = {3},
number = {1},
pages = {26--34},
year = {2008}
}
@article{DBLP:journals/ijcv/FinkU08,
author = {Michael Fink and
Shimon Ullman},
title = {From Aardvark to Zorro: {A} Benchmark for Mammal Image Classification},
journal = {Int. J. Comput. Vis.},
volume = {77},
number = {1-3},
pages = {143--156},
year = {2008}
}
@article{DBLP:journals/jbcb/FinkelsteinLDB08,
author = {Alexei V. Finkelstein and
Michael Y. Lobanov and
Nikita V. Dovidchenko and
Natalya S. Bogatyreva},
title = {Many-Atom van der Waals Interactions lead to Direction-Sensitive Interactions
of covalent bonds},
journal = {J. Bioinform. Comput. Biol.},
volume = {6},
number = {4},
pages = {693--707},
year = {2008}
}
@article{DBLP:journals/mta/FinkCB08,
author = {Michael Fink and
Michele Covell and
Shumeet Baluja},
title = {Mass personalization: social and interactive applications using sound-track
identification},
journal = {Multim. Tools Appl.},
volume = {36},
number = {1-2},
pages = {115--132},
year = {2008}
}
@article{DBLP:journals/ram/MichaelFK08,
author = {Nathan Michael and
Jonathan Fink and
Vijay Kumar},
title = {Experimental Testbed for Large Multirobot Teams},
journal = {{IEEE} Robotics Autom. Mag.},
volume = {15},
number = {1},
pages = {53--61},
year = {2008}
}
@article{DBLP:journals/tods/EiterFGL08,
author = {Thomas Eiter and
Michael Fink and
Gianluigi Greco and
Domenico Lembo},
title = {Repair localization for query answering from inconsistent databases},
journal = {{ACM} Trans. Database Syst.},
volume = {33},
number = {2},
pages = {10:1--10:51},
year = {2008}
}
@article{DBLP:journals/tog/BurnsF08,
author = {Michael Burns and
Adam Finkelstein},
title = {Adaptive cutaways for comprehensible rendering of polygonal scenes},
journal = {{ACM} Trans. Graph.},
volume = {27},
number = {5},
pages = {154},
year = {2008}
}
@inproceedings{DBLP:conf/aaai/EiterFS08,
author = {Thomas Eiter and
Michael Fink and
J{\'{a}}n Senko},
title = {Error Classification in Action Descriptions: {A} Heuristic Approach},
booktitle = {{AAAI}},
pages = {905--910},
publisher = {{AAAI} Press},
year = {2008}
}
@inproceedings{DBLP:conf/chi/TangFBLDL08,
author = {Anthony Tang and
Matthias Finke and
Michael Blackstock and
Rock Leung and
Meghan Deutscher and
Rodger Lea},
title = {Designing for bystanders: reflections on building a public digital
forum},
booktitle = {{CHI}},
pages = {879--882},
publisher = {{ACM}},
year = {2008}
}
@inproceedings{DBLP:conf/dimea/FinkeTLB08,
author = {Matthias Finke and
Anthony Tang and
Rock Leung and
Michael Blackstock},
title = {Lessons learned: game design for large public displays},
booktitle = {{DIMEA}},
series = {{ACM} International Conference Proceeding Series},
volume = {349},
pages = {26--33},
publisher = {{ACM}},
year = {2008}
}
@inproceedings{DBLP:conf/iclp/Fink08,
author = {Michael Fink},
title = {Equivalences in Answer-Set Programming by Countermodels in the Logic
of Here-and-There},
booktitle = {{ICLP}},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {99--113},
publisher = {Springer},
year = {2008}
}
@proceedings{DBLP:conf/evoW/2008,
editor = {Mario Giacobini and
Anthony Brabazon and
Stefano Cagnoni and
Gianni Di Caro and
Rolf Drechsler and
Anik{\'{o}} Ek{\'{a}}rt and
Anna Esparcia{-}Alc{\'{a}}zar and
Muddassar Farooq and
Andreas Fink and
Jon McCormack and
Michael O'Neill and
Juan Romero and
Franz Rothlauf and
Giovanni Squillero and
Sima Uyar and
Shengxiang Yang},
title = {Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET,
EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog,
Naples, Italy, March 26-28, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4974},
publisher = {Springer},
year = {2008}
}
@incollection{DBLP:reference/tf/BalujaC008,
author = {Shumeet Baluja and
Michele Covell and
Michael Fink},
title = {Coordinated Multi-Device Presentations: Ambient-Audio Identification},
booktitle = {Encyclopedia of Wireless and Mobile Communications},
year = {2008}
}
@article{DBLP:journals/amai/EiterEFS07,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
title = {Comparing action descriptions based on semantic preferences},
journal = {Ann. Math. Artif. Intell.},
volume = {50},
number = {3-4},
pages = {273--304},
year = {2007}
}
@article{DBLP:journals/amai/EiterFFW07,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Stefan Woltran},
title = {Complexity results for answer set programming with bounded predicate
arities and implications},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {2-4},
pages = {123--165},
year = {2007}
}
@article{DBLP:journals/bmcbi/SkvortsovASFT07,
author = {Dmitriy Skvortsov and
Diana Abdueva and
Michael E. Stitzer and
Steven E. Finkel and
Simon Tavar{\'{e}}},
title = {Using expression arrays for copy number detection: an example from
E. coli},
journal = {{BMC} Bioinform.},
volume = {8},
year = {2007}
}
@article{DBLP:journals/neuroimage/DavidCNBSFV07,
author = {Nicole David and
Michael X. Cohen and
Albert Newen and
Bettina H. Bewernick and
N. Jon Shah and
Gereon R. Fink and
Kai Vogeley},
title = {The extrastriate cortex distinguishes between the consequences of
one's own and others' behavior},
journal = {NeuroImage},
volume = {36},
number = {3},
pages = {1004--1014},
year = {2007}
}
@article{DBLP:journals/tocl/EiterFW07,
author = {Thomas Eiter and
Michael Fink and
Stefan Woltran},
title = {Semantical characterizations and complexity of equivalences in answer
set programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {8},
number = {3},
pages = {17},
year = {2007}
}
@article{DBLP:journals/tplp/EiterFT07,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits},
title = {A knowledge-based approach for selecting information sources},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {3},
pages = {249--300},
year = {2007}
}
@inproceedings{DBLP:conf/eurossc/FinkeBL07,
author = {Matthias Finke and
Michael Blackstock and
Rodger Lea},
title = {Deployment Experience Toward Core Abstractions for Context Aware Applications},
booktitle = {EuroSSC},
series = {Lecture Notes in Computer Science},
volume = {4793},
pages = {239--254},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/icml/AmitFSU07,
author = {Yonatan Amit and
Michael Fink and
Nathan Srebro and
Shimon Ullman},
title = {Uncovering shared structures in multiclass classification},
booktitle = {{ICML}},
series = {{ACM} International Conference Proceeding Series},
volume = {227},
pages = {17--24},
publisher = {{ACM}},
year = {2007}
}
@inproceedings{DBLP:conf/ijcai/EiterFTW07,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {Complexity Results for Checking Equivalence of Stratified Logic Programs},
booktitle = {{IJCAI}},
pages = {330--335},
year = {2007}
}
@inproceedings{DBLP:conf/iros/MichaelFK07,
author = {Nathan Michael and
Jonathan Fink and
Vijay Kumar},
title = {Controlling a team of ground robots via an aerial robot},
booktitle = {{IROS}},
pages = {965--970},
publisher = {{IEEE}},
year = {2007}
}
@inproceedings{DBLP:conf/isrr/MichaelFLK07,
author = {Nathan Michael and
Jonathan Fink and
Savvas G. Loizou and
Vijay Kumar},
title = {Architecture, Abstractions, and Algorithms for Controlling Large Teams
of Robots: Experimental Testbed and Results},
booktitle = {{ISRR}},
series = {Springer Tracts in Advanced Robotics},
volume = {66},
pages = {409--419},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/itee/FinkeS07,
author = {Jens Finke and
Michael Sonnenschein},
title = {Simulation and Optimization of Habitat Network Permeability},
booktitle = {{ITEE}},
pages = {433--444},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/lpnmr/FinkPTW07,
author = {Michael Fink and
Reinhard Pichler and
Hans Tompits and
Stefan Woltran},
title = {Complexity of Rule Redundancy in Non-ground Answer-Set Programming
over Finite Domains},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {123--135},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/rss/FinkMK07,
author = {Jonathan Fink and
Nathan Michael and
Vijay Kumar},
title = {Composition of Vector Fields for Multi-Robot Manipulation via Caging},
booktitle = {Robotics: Science and Systems},
publisher = {The {MIT} Press},
year = {2007}
}
@inproceedings{DBLP:journals/jmlr/Fink07,
author = {Michael Fink},
title = {Online Learning of Search Heuristics},
booktitle = {{AISTATS}},
series = {{JMLR} Proceedings},
volume = {2},
pages = {114--122},
publisher = {JMLR.org},
year = {2007}
}
@proceedings{DBLP:conf/evoW/2007,
editor = {Mario Giacobini and
Anthony Brabazon and
Stefano Cagnoni and
Gianni Di Caro and
Rolf Drechsler and
Muddassar Farooq and
Andreas Fink and
Evelyne Lutton and
Penousal Machado and
Stefan Minner and
Michael O'Neill and
Juan Romero and
Franz Rothlauf and
Giovanni Squillero and
Hideyuki Takagi and
Sima Uyar and
Shengxiang Yang},
title = {Applications of Evolutinary Computing, EvoWorkshops 2007: EvoCoMnet,
EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog,
Valencia, Spain, April11-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4448},
publisher = {Springer},
year = {2007}
}
@article{DBLP:journals/computer/CovellBF06,
author = {Michele Covell and
Shumeet Baluja and
Michael Fink},
title = {Detecting Ads in Video Streams Using Acoustic and Visual Cues},
journal = {Computer},
volume = {39},
number = {12},
pages = {135--137},
year = {2006}
}
@article{DBLP:journals/envsoft/StadlerABFKS06,
author = {Michael Stadler and
Dirk Ahlers and
Ren{\'{e}}e M. Bekker and
Jens Finke and
Dierk Kunzmann and
Michael Sonnenschein},
title = {Web-based tools for data analysis and quality assurance on a life-history
trait database of plants of Northwest Europe},
journal = {Environ. Model. Softw.},
volume = {21},
number = {11},
pages = {1536--1543},
year = {2006}
}
@article{DBLP:journals/jocn/DavidBCNLFSV06,
author = {Nicole David and
Bettina H. Bewernick and
Michael X. Cohen and
Albert Newen and
Silke Lux and
Gereon R. Fink and
Nadim Joni Shah and
Kai Vogeley},
title = {Neural Representations of Self versus Other: Visual-Spatial Perspective
Taking and Agency in a Virtual Ball-tossing Game},
journal = {J. Cogn. Neurosci.},
volume = {18},
number = {6},
pages = {898--910},
year = {2006}
}
@inproceedings{DBLP:conf/ecai/EiterEFS06,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
title = {Resolving Conflicts in Action Descriptions},
booktitle = {{ECAI}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {367--371},
publisher = {{IOS} Press},
year = {2006}
}
@inproceedings{DBLP:conf/ic/FinkenzellerKKS06,
author = {Michael Finkenzeller and
Gerald Kunzmann and
Andreas Kirst{\"{a}}dter and
R{\"{u}}diger Schollmeier},
title = {Critical Mass of a Distributed End-System Monitoring Service},
booktitle = {International Conference on Internet Computing},
pages = {270--277},
publisher = {{CSREA} Press},
year = {2006}
}
@inproceedings{DBLP:conf/icml/FinkSSU06,
author = {Michael Fink and
Shai Shalev{-}Shwartz and
Yoram Singer and
Shimon Ullman},
title = {Online multiclass learning by interclass hypothesis sharing},
booktitle = {{ICML}},
series = {{ACM} International Conference Proceeding Series},
volume = {148},
pages = {313--320},
publisher = {{ACM}},
year = {2006}
}
@inproceedings{DBLP:conf/jelia/EiterEFS06,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
title = {Comparing Action Descriptions Based on Semantic Preferences},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {124--137},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/jelia/EiterFS06,
author = {Thomas Eiter and
Michael Fink and
J{\'{a}}n Senko},
title = {A Tool for Answering Queries on Action Descriptions},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {473--476},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/kr/EiterFTTW06,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Patrick Traxler and
Stefan Woltran},
title = {Replacements in Non-Ground Answer-Set Programming},
booktitle = {{KR}},
pages = {340--351},
publisher = {{AAAI} Press},
year = {2006}
}
@inproceedings{DBLP:conf/mmsp/CovellBF06,
author = {Michele Covell and
Shumeet Baluja and
Michael Fink},
title = {Advertisement Detection and Replacement using Acoustic and Visual
Repetition},
booktitle = {{MMSP}},
pages = {461--466},
publisher = {{IEEE}},
year = {2006}
}
@inproceedings{DBLP:conf/wlp/EiterFTTW06,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Patrick Traxler and
Stefan Woltran},
title = {Replacements in Non-Ground Answer-Set Programming},
booktitle = {{WLP}},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
pages = {145--153},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006}
}
@incollection{DBLP:books/sp/06/KeymeulenFBFOPTCKMF06,
author = {Didier Keymeulen and
Michael I. Ferguson and
Luke Breuer and
Wolfgang Fink and
Boris Oks and
Chris Peay and
Richard Terrile and
Yen Cheng and
Dennis Kim and
Eric W. MacDonald and
David Foor},
title = {Hardware Platforms for Electrostatic Tuning of Mems Gyroscope Using
Nature-Inspired Computation},
booktitle = {Evolvable Hardware},
series = {Genetic and Evolutionary Computation},
pages = {209--222},
publisher = {Springer},
year = {2006}
}
@proceedings{DBLP:conf/wlp/2006,
editor = {Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006}
}
@article{DBLP:journals/corr/abs-cs-0604086,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits},
title = {A Knowledge-Based Approach for Selecting Information Sources},
journal = {CoRR},
volume = {abs/cs/0604086},
year = {2006}
}
@article{DBLP:journals/ibmsj/AlpernABBCCDFGHMMMNST05,
author = {Bowen Alpern and
Steve Augart and
Stephen M. Blackburn and
Maria A. Butrico and
Anthony Cocchi and
Perry Cheng and
Julian Dolby and
Stephen J. Fink and
David Grove and
Michael Hind and
Kathryn S. McKinley and
Mark F. Mergen and
J. Eliot B. Moss and
Ton Anh Ngo and
Vivek Sarkar and
Martin Trapp},
title = {The Jikes Research Virtual Machine project: Building an open-source
research community},
journal = {{IBM} Syst. J.},
volume = {44},
number = {2},
pages = {399--418},
year = {2005}
}
@article{DBLP:journals/pieee/ArnoldFGHS05,
author = {Matthew Arnold and
Stephen J. Fink and
David Grove and
Michael Hind and
Peter F. Sweeney},
title = {A Survey of Adaptive Optimization in Virtual Machines},
journal = {Proc. {IEEE}},
volume = {93},
number = {2},
pages = {449--466},
year = {2005}
}
@article{DBLP:journals/tocl/EiterFST05,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Reasoning about evolving nonmonotonic knowledge bases},
journal = {{ACM} Trans. Comput. Log.},
volume = {6},
number = {2},
pages = {389--440},
year = {2005}
}
@article{DBLP:journals/tog/BurnsKRFD05,
author = {Michael Burns and
Janek Klawe and
Szymon Rusinkiewicz and
Adam Finkelstein and
Douglas DeCarlo},
title = {Line drawings from volume data},
journal = {{ACM} Trans. Graph.},
volume = {24},
number = {3},
pages = {512--518},
year = {2005}
}
@inproceedings{DBLP:conf/aaai/EiterFTW05,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {Strong and Uniform Equivalence in Answer-Set Programming: Characterizations
and Complexity Results for the Non-Ground Case},
booktitle = {{AAAI}},
pages = {695--700},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005}
}
@inproceedings{DBLP:conf/amia/CastroHF05,
author = {Heather K. Castro and
Michael Hise and
Joseph Finkelstein},
title = {A Comparison of Two Models of Web-based Education in Older Adults},
booktitle = {{AMIA}},
publisher = {{AMIA}},
year = {2005}
}
@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 = {{CBMS}},
pages = {64--69},
publisher = {{IEEE} Computer Society},
year = {2005}
}
@inproceedings{DBLP:conf/cscl/ZahnHFPMR05,
author = {Carmen G. Zahn and
Friedrich W. Hesse and
Matthias Finke and
Roy Pea and
Michael Mills and
Joseph Rosen},
title = {Advanced digital video technologies to support collaborative learning
in school education and beyond},
booktitle = {{CSCL}},
pages = {737--742},
publisher = {International Society of the Learning Sciences},
year = {2005}
}
@inproceedings{DBLP:conf/eh/TerrileAFFHKKKLA05,
author = {Richard Terrile and
Hrand Aghazarian and
Michael I. Ferguson and
Wolfgang Fink and
Terrance L. Huntsberger and
Didier Keymeulen and
Gerhard Klimeck and
Mark A. Kordon and
Seungwon Lee and
Paul von Allmen},
title = {Evolutionary Computation Technologies for the Automated Design of
Space Systems},
booktitle = {Evolvable Hardware},
pages = {131--138},
publisher = {{IEEE} Computer Society},
year = {2005}
}
@inproceedings{DBLP:conf/enviroinfo/AhlersFSS05,
author = {Dirk Ahlers and
Jens Finke and
Michael Stadler and
Michael Sonnenschein},
title = {A Web-based Reviewing Process Guidance System for an Ecological Database
of Plant Traits},
booktitle = {EnviroInfo},
pages = {80--84},
publisher = {Masaryk University Brno},
year = {2005}
}
@inproceedings{DBLP:conf/enviroinfo/StadlerBFKS05,
author = {Michael Stadler and
Ren{\'{e}}e M. Bekker and
Jens Finke and
Dierk Kunzmann and
Michael Sonnenschein},
title = {Using Data Mining Techniques for Exploring the key Features of Plant
Dynamics Upon a Newly Built Plant Trait Database},
booktitle = {EnviroInfo},
pages = {90--94},
publisher = {Masaryk University Brno},
year = {2005}
}
@inproceedings{DBLP:conf/gecco/KeymeulenFFPOTY05,
author = {Didier Keymeulen and
Wolfgang Fink and
Michael I. Ferguson and
Chris Peay and
Boris Oks and
Richard Terrile and
Karl Yee},
title = {Evolutionary computation applied to the tuning of {MEMS} gyroscopes},
booktitle = {{GECCO}},
pages = {927--932},
publisher = {{ACM}},
year = {2005}
}
@inproceedings{DBLP:conf/ices/KeymeulenFFOPTCKMF05,
author = {Didier Keymeulen and
Michael I. Ferguson and
Wolfgang Fink and
Boris Oks and
Chris Peay and
Richard Terrile and
Yen Cheng and
Dennis Kim and
Eric W. MacDonald and
David Foor},
title = {Hardware Platforms for {MEMS} Gyroscope Tuning Based on Evolutionary
Computation Using Open-Loop and Closed-Loop Frequency Response},
booktitle = {{ICES}},
series = {Lecture Notes in Computer Science},
volume = {3637},
pages = {215--226},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/ijcai/EiterEFS05,
author = {Thomas Eiter and
Esra Erdem and
Michael Fink and
J{\'{a}}n Senko},
title = {Updating Action Domain Descriptions},
booktitle = {{IJCAI}},
pages = {418--423},
publisher = {Professional Book Center},
year = {2005}
}
@inproceedings{DBLP:conf/lpnmr/EiterFS05,
author = {Thomas Eiter and
Michael Fink and
J{\'{a}}n Senko},
title = {KMonitor - {A} Tool for Monitoring Plan Execution in Action Theories},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {416--421},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/lpnmr/LeoneEFFGGGKILLLNRRST05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Luigi Granata and
Gianluigi Greco and
Edyta Kalka and
Giovambattista Ianni and
Domenico Lembo and
Maurizio Lenzerini and
Vincenzino Lio and
Bartosz Nowicki and
Riccardo Rosati and
Marco Ruzzi and
Witold Staniszkis and
Giorgio Terracina},
title = {Data Integration: a Challenging {ASP} Application},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {379--383},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/ro-man/FinkeKDNWS05,
author = {Markus Finke and
Kheng Lee Koay and
Kerstin Dautenhahn and
Chrystopher L. Nehaniv and
Michael L. Walters and
Joe Saunders},
title = {Hey, I'm over here - How can a robot attract people's attention?},
booktitle = {{RO-MAN}},
pages = {7--12},
publisher = {{IEEE}},
year = {2005}
}
@inproceedings{DBLP:conf/sebd/LeoneEFFGG05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Gianluigi Greco},
title = {Boosting Information Integration: The {INFOMIX} System},
booktitle = {{SEBD}},
pages = {55--66},
year = {2005}
}
@inproceedings{DBLP:conf/sigmod/LeoneGILTEFFGRLLRKNS05,
author = {Nicola Leone and
Gianluigi Greco and
Giovambattista Ianni and
Vincenzino Lio and
Giorgio Terracina and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Riccardo Rosati and
Domenico Lembo and
Maurizio Lenzerini and
Marco Ruzzi and
Edyta Kalka and
Bartosz Nowicki and
Witold Staniszkis},
title = {The {INFOMIX} system for advanced integration of incomplete and inconsistent
data},
booktitle = {{SIGMOD} Conference},
pages = {915--917},
publisher = {{ACM}},
year = {2005}
}
@article{DBLP:journals/corr/abs-cs-0502078,
author = {Thomas Eiter and
Michael Fink and
Stefan Woltran},
title = {Semantical Characterizations and Complexity of Equivalences in Answer
Set Programming},
journal = {CoRR},
volume = {abs/cs/0502078},
year = {2005}
}
@inproceedings{DBLP:conf/cvpr/LeviFW04,
author = {Kobi Levi and
Michael Fink and
Yair Weiss},
title = {Learning From a Small Number of Training Examples by Exploiting Object
Categories},
booktitle = {{CVPR} Workshops},
pages = {96},
publisher = {{IEEE} Computer Society},
year = {2004}
}
@inproceedings{DBLP:conf/kr/EiterFFPW04,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Gerald Pfeifer and
Stefan Woltran},
title = {Complexity of Model Checking and Bounded Predicate Arities for Non-ground
Answer Set Programming},
booktitle = {{KR}},
pages = {377--387},
publisher = {{AAAI} Press},
year = {2004}
}
@inproceedings{DBLP:conf/kr/EiterFTW04,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {On Eliminating Disjunctions in Stable Logic Programming},
booktitle = {{KR}},
pages = {447--458},
publisher = {{AAAI} Press},
year = {2004}
}
@inproceedings{DBLP:conf/lpnmr/EiterFTW04,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {Simplifying Logic Programs Under Uniform and Strong Equivalence},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {87--99},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/nips/Fink04,
author = {Michael Fink},
title = {Object Classification from a Single Example Utilizing Class Relevance
Metrics},
booktitle = {{NIPS}},
pages = {449--456},
year = {2004}
}
@article{DBLP:journals/bioinformatics/FinkDPWMCG03,
author = {J. Lynn Fink and
Scott Drewes and
Hiren Patel and
John B. Welsh and
Daniel R. Masys and
Jacques Corbeil and
Michael Gribskov},
title = {2HAPI: {A} Microarray Data Analysis System},
journal = {Bioinform.},
volume = {19},
number = {11},
pages = {1443--1445},
year = {2003}
}
@article{DBLP:journals/candc/NairZFSG03,
author = {T. Murlidharan Nair and
Christina L. Zheng and
J. Lynn Fink and
Robert O. Stuart and
Michael Gribskov},
title = {Rival penalized competitive learning {(RPCL):} a topology-determining
algorithm for analyzing gene expression data},
journal = {Comput. Biol. Chem.},
volume = {27},
number = {6},
pages = {565--574},
year = {2003}
}
@article{DBLP:journals/fuin/DixEFPZ03,
author = {J{\"{u}}rgen Dix and
Thomas Eiter and
Michael Fink and
Axel Polleres and
Yingqian Zhang},
title = {Monitoring Agents using Declarative Planning},
journal = {Fundam. Informaticae},
volume = {57},
number = {2-4},
pages = {345--370},
year = {2003}
}
@article{DBLP:journals/nar/TchieuFFHNNSSTVWG03,
author = {Jason H. Tchieu and
Fariba Fana and
J. Lynn Fink and
Jeffrey Harper and
T. Murlidharan Nair and
R. Hannes Niedner and
Douglas W. Smith and
Kenneth Steube and
Tobey M. Tam and
Stella Veretnik and
Degeng Wang and
Michael Gribskov},
title = {The PlantsP and PlantsT Functional Genomics Databases},
journal = {Nucleic Acids Res.},
volume = {31},
number = {1},
pages = {342--344},
year = {2003}
}
@inproceedings{DBLP:conf/acis/MilloyF03,
author = {Michael Milloy and
Dieter Fink},
title = {The Role of "Information" in Wine Consumers' Online Purchasing Intent},
booktitle = {{ACIS}},
year = {2003}
}
@inproceedings{DBLP:conf/asp/EiterFFPW03,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Gerald Pfeifer and
Stefan Woltran},
title = {Complexity of Answer Set Checking and Bounded Predicate Arities for
Non-ground Answer Set Programming},
booktitle = {Answer Set Programming},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003}
}
@inproceedings{DBLP:conf/asp/EiterFTW03,
author = {Thomas Eiter and
Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {Eliminating Disjunction from Propositional Logic Programs under Stable
Model Preservation},
booktitle = {Answer Set Programming},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003}
}
@inproceedings{DBLP:conf/dagstuhl/EiterFST03,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Declarative Update Policies for Nonmonotonic Knowledge Bases},
booktitle = {Logics for Emerging Applications of Databases},
pages = {85--129},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/enviroinfo/FinkeKFS03,
author = {Jens Finke and
Frank K{\"{o}}ster and
Karin Frank and
Michael Sonnenschein},
title = {A Software Tool for Assessing the Effect of Traffic on Wildlife Populations},
booktitle = {EnviroInfo},
pages = {692--699},
publisher = {Metropolis, Marburg},
year = {2003}
}
@inproceedings{DBLP:conf/iclp/EiterF03,
author = {Thomas Eiter and
Michael Fink},
title = {Uniform Equivalence of Logic Programs under the Stable Model Semantics},
booktitle = {{ICLP}},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {224--238},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/iclp/EiterFGL03,
author = {Thomas Eiter and
Michael Fink and
Gianluigi Greco and
Domenico Lembo},
title = {Efficient Evaluation of Logic Programs for Querying Data Integration
Systems},
booktitle = {{ICLP}},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {163--177},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/ki/DixEFPZ03,
author = {J{\"{u}}rgen Dix and
Thomas Eiter and
Michael Fink and
Axel Polleres and
Yingqian Zhang},
title = {Monitoring Agents Using Declarative Planning},
booktitle = {{KI}},
series = {Lecture Notes in Computer Science},
volume = {2821},
pages = {646--660},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/nips/FinkP03,
author = {Michael Fink and
Pietro Perona},
title = {Mutual Boosting for Contextual Inference},
booktitle = {{NIPS}},
pages = {1515--1522},
publisher = {{MIT} Press},
year = {2003}
}
@article{DBLP:journals/sigkdd/RegevFF02,
author = {Yizhar Regev and
Michal Finkelstein{-}Landau and
Ronen Feldman},
title = {Rule-based Extraction of Experimental Evidence in the Biomedical Domain
- the Kdd Cup (Task 1)},
journal = {{SIGKDD} Explor.},
volume = {4},
number = {2},
pages = {90--92},
year = {2002}
}
@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}
}
@article{DBLP:journals/tplp/EiterFST02,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {On Properties of Update Sequences Based on Causal Rejection},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {6},
pages = {711--767},
year = {2002}
}
@article{DBLP:journals/tplp/EiterFST02a,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Using Methods of Declarative Logic Programming for Intelligent Information
Agents},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {6},
pages = {645--709},
year = {2002}
}
@inproceedings{DBLP:conf/cicling/FeldmanAFHRY02,
author = {Ronen Feldman and
Yonatan Aumann and
Michal Finkelstein{-}Landau and
Eyal Hurvitz and
Yizhar Regev and
Ariel Yaroshevich},
title = {A Comparative Study of Information Extraction Strategies},
booktitle = {CICLing},
series = {Lecture Notes in Computer Science},
volume = {2276},
pages = {349--359},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/cscwd/SchulzFW02,
author = {Armin P. Schulz and
Stephan Finkel and
Michael Wieser},
title = {Design Center - {A} Collaborative Environment for the Integrated Development
of Products and Services},
booktitle = {{CSCWD}},
pages = {151--157},
publisher = {{IEEE}},
year = {2002}
}
@inproceedings{DBLP:conf/eccv/KazhdanCDFF02,
author = {Michael M. Kazhdan and
Bernard Chazelle and
David P. Dobkin and
Adam Finkelstein and
Thomas A. Funkhouser},
title = {A Reflective Symmetry Descriptor},
booktitle = {{ECCV} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {2351},
pages = {642--656},
publisher = {Springer},
year = {2002}
}
@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 = {{IGARSS}},
pages = {1152--1154},
publisher = {{IEEE}},
year = {2002}
}
@inproceedings{DBLP:conf/kr/EiterFST02,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {A Generic Approach for Knowledge-Based Information-Site Selection},
booktitle = {{KR}},
pages = {459--469},
publisher = {Morgan Kaufmann},
year = {2002}
}
@inproceedings{DBLP:conf/networking/SchollmeierGF02,
author = {R{\"{u}}diger Schollmeier and
Ingo Gruber and
Michael Finkenzeller},
title = {Routing in Mobile Ad-hoc and Peer-to-Peer Networks {A} Comparison},
booktitle = {{NETWORKING} Workshops},
series = {Lecture Notes in Computer Science},
volume = {2376},
pages = {172--186},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/npar/KleinGFC02,
author = {Allison W. Klein and
Tyler Grant and
Adam Finkelstein and
Michael F. Cohen},
title = {Video mosaics},
booktitle = {{NPAR}},
pages = {21--18},
publisher = {{ACM}},
year = {2002}
}
@inproceedings{DBLP:conf/sca/KleinSFC02,
author = {Allison W. Klein and
Peter{-}Pike J. Sloan and
Adam Finkelstein and
Michael F. Cohen},
title = {Stylized video cubes},
booktitle = {Symposium on Computer Animation},
pages = {15--22},
publisher = {{ACM}},
year = {2002}
}
@article{DBLP:journals/corr/cs-AI-0209019,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Reasoning about Evolving Nonmonotonic Knowledge Bases},
journal = {CoRR},
volume = {cs.AI/0209019},
year = {2002}
}
@article{DBLP:journals/bioinformatics/MasysWFGKC01,
author = {Daniel R. Masys and
John B. Welsh and
J. Lynn Fink and
Michael Gribskov and
Igor Klacansky and
Jacques Corbeil},
title = {Use of keyword hierarchies to interpret gene expression patterns},
journal = {Bioinform.},
volume = {17},
number = {4},
pages = {319--326},
year = {2001}
}
@article{DBLP:journals/ijprai/FinkH01,
author = {Eugene Fink and
Michael Heath},
title = {Image-Processing Projects for an Algorithms Course},
journal = {Int. J. Pattern Recognit. Artif. Intell.},
volume = {15},
number = {5},
pages = {859--868},
year = {2001}
}
@article{DBLP:journals/intr/FinkelWCACL01,
author = {David Finkel and
Craig E. Wills and
Michael J. Ciaraldi and
Kevin Amorin and
Adam Covati and
Michael Lee},
title = {An applet-based anonymous distributed computing system},
journal = {Internet Res.},
volume = {11},
number = {1},
pages = {35--41},
year = {2001}
}
@inproceedings{DBLP:conf/ijcai/EiterFST01,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {A Framework for Declarative Update Specifications in Logic Programs},
booktitle = {{IJCAI}},
pages = {649--654},
publisher = {Morgan Kaufmann},
year = {2001}
}
@inproceedings{DBLP:conf/lpar/EiterFST01,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Reasoning about Evolving Nonmonotonic Knowledge Bases},
booktitle = {{LPAR}},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {407--421},
publisher = {Springer},
year = {2001}
}
@inproceedings{DBLP:conf/lpnmr/EiterFST01,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {An Update Front-End for Extended Logic Programs},
booktitle = {{LPNMR}},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {397--401},
publisher = {Springer},
year = {2001}
}
@article{DBLP:journals/corr/cs-AI-0109006,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {On Properties of Update Sequences Based on Causal Rejection},
journal = {CoRR},
volume = {cs.AI/0109006},
year = {2001}
}
@article{DBLP:journals/corr/cs-MA-0108008,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Using Methods of Declarative Logic Programming for Intelligent Information
Agents},
journal = {CoRR},
volume = {cs.MA/0108008},
year = {2001}
}
@article{DBLP:journals/fmsd/BjornerBCFMSU00,
author = {Nikolaj S. Bj{\o}rner and
Anca Browne and
Michael Col{\'{o}}n and
Bernd Finkbeiner and
Zohar Manna and
Henny Sipma and
Tom{\'{a}}s E. Uribe},
title = {Verifying Temporal Properties of Reactive Systems: {A} STeP Tutorial},
journal = {Formal Methods Syst. Des.},
volume = {16},
number = {3},
pages = {227--270},
year = {2000}
}
@article{DBLP:journals/ibmsj/AlpernABBCCCFGHHLLMNRSSSSSSW00,
author = {Bowen Alpern and
C. Richard Attanasio and
John J. Barton and
Michael G. Burke and
Perry Cheng and
Jong{-}Deok Choi and
Anthony Cocchi and
Stephen J. Fink and
David Grove and
Michael Hind and
Susan Flynn Hummel and
Derek Lieber and
Vassily Litvinov and
Mark F. Mergen and
Ton Ngo and
James R. Russell and
Vivek Sarkar and
Mauricio J. Serrano and
Janice C. Shepherd and
Stephen E. Smith and
Vugranam C. Sreedhar and
Harini Srinivasan and
John Whaley},
title = {The Jalape{\~{n}}o virtual machine},
journal = {{IBM} Syst. J.},
volume = {39},
number = {1},
pages = {211--238},
year = {2000}
}
@article{DBLP:journals/ibmsj/BaylorDFGKMBADM00,
author = {Sandra Johnson Baylor and
Murthy V. Devarakonda and
Stephen J. Fink and
Eugene Gluzberg and
Michael H. Kalantar and
Prakash Muttineni and
Eric Barsness and
Rajiv Arora and
Robert T. Dimpsey and
Steven J. Munroe},
title = {Java server benchmarks},
journal = {{IBM} Syst. J.},
volume = {39},
number = {1},
pages = {57--81},
year = {2000}
}
@inproceedings{DBLP:conf/jelia/EiterFST00,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
title = {Considerations on Updates of Logic Programs},
booktitle = {{JELIA}},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {2--20},
publisher = {Springer},
year = {2000}
}
@inproceedings{DBLP:conf/oopsla/ArnoldFGHS00,
author = {Matthew Arnold and
Stephen J. Fink and
David Grove and
Michael Hind and
Peter F. Sweeney},
title = {Adaptive optimization in the Jalape{\~{n}}o {JVM}},
booktitle = {{OOPSLA}},
pages = {47--65},
publisher = {{ACM}},
year = {2000}
}
@inproceedings{DBLP:conf/oopsla/ArnoldFGHS00a,
author = {Matthew Arnold and
Stephen Fink and
David Grove and
Michael Hind and
Peter F. Sweeney},
title = {Adaptive optimization in the Jalape{\~{n}}o {JVM} (poster session)},
booktitle = {{OOPSLA} Addendum},
pages = {125--126},
publisher = {{ACM}},
year = {2000}
}
@inproceedings{DBLP:conf/siggraph/KleinLKCFF00,
author = {Allison W. Klein and
Wilmot Li and
Michael M. Kazhdan and
Wagner Toledo Corr{\^{e}}a and
Adam Finkelstein and
Thomas A. Funkhouser},
title = {Non-photorealistic virtual environments},
booktitle = {{SIGGRAPH}},
pages = {527--534},
publisher = {{ACM}},
year = {2000}
}
@article{DBLP:journals/speech/RileyBFKLMNSWZ99,
author = {Michael Riley and
William Byrne and
Michael Finke and
Sanjeev Khudanpur and
Andrej Ljolje and
John W. McDonough and
Harriet J. Nock and
Murat Saraclar and
Charles Wooters and
George Zavaliagkos},
title = {Stochastic pronunciation modelling from hand-labelled phonetic corpora},
journal = {Speech Commun.},
volume = {29},
number = {2-4},
pages = {209--224},
year = {1999}
}
@inproceedings{DBLP:conf/ams/PaulyFPB99,
author = {Michael Pauly and
Marion Finke and
Liliane Peters and
Klaus Beck},
title = {Echtzeitf{\"{a}}hige Positionskorrektur auf Basis nat{\"{u}}rlicher
Landmarken},
booktitle = {{AMS}},
series = {Informatik Aktuell},
pages = {98--107},
publisher = {Springer},
year = {1999}
}
@inproceedings{DBLP:conf/icassp/GeutnerFW99,
author = {Petra Geutner and
Michael Finke and
Alex Waibel},
title = {Selection criteria for hypothesis driven lexical adaptation},
booktitle = {{ICASSP}},
pages = {617--620},
publisher = {{IEEE} Computer Society},
year = {1999}
}
@inproceedings{DBLP:conf/interspeech/FinkeFKW99,
author = {Michael Finke and
J{\"{u}}rgen Fritsch and
Detlef Koll and
Alex Waibel},
title = {Modeling and efficient decoding of large vocabulary conversational
speech},
booktitle = {{EUROSPEECH}},
pages = {467--470},
publisher = {{ISCA}},
year = {1999}
}
@inproceedings{DBLP:conf/interspeech/YuFW99,
author = {Hua Yu and
Michael Finke and
Alex Waibel},
title = {Progress in automatic meeting transcription},
booktitle = {{EUROSPEECH}},
publisher = {{ISCA}},
year = {1999}
}
@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 = {{IROS}},
pages = {1069--1074},
publisher = {{IEEE}},
year = {1999}
}
@inproceedings{DBLP:conf/java/BurkeCFGHSSSSW99,
author = {Michael G. Burke and
Jong{-}Deok Choi and
Stephen J. Fink and
David Grove and
Michael Hind and
Vivek Sarkar and
Mauricio J. Serrano and
Vugranam C. Sreedhar and
Harini Srinivasan and
John Whaley},
title = {The Jalape{\~{n}}o Dynamic Optimizing Compiler for Java},
booktitle = {Java Grande},
pages = {129--141},
publisher = {{ACM}},
year = {1999}
}
@inproceedings{DBLP:conf/visual/StiefelhagenFYW99,
author = {Rainer Stiefelhagen and
Michael Finke and
Jie Yang and
Alex Waibel},
title = {From Gaze to Focus of Attention},
booktitle = {{VISUAL}},
series = {Lecture Notes in Computer Science},
volume = {1614},
pages = {761--768},
publisher = {Springer},
year = {1999}
}
@inproceedings{DBLP:conf/webnet/EglyFPT99,
author = {Uwe Egly and
Michael Fink and
Axel Polleres and
Hans Tompits},
title = {A Web-based Tutoring Tool for Calculating Default Logic Extensions},
booktitle = {WebNet},
pages = {1251--1252},
publisher = {{AACE}},
year = {1999}
}
@article{DBLP:journals/envsoft/FinkelLT98,
author = {Michael Finkel and
Rudolf Liedl and
Georg Teutsch},
title = {Modelling surfactant-enhanced remediation of polycyclic aromatic hydrocarbons},
journal = {Environ. Model. Softw.},
volume = {14},
number = {2-3},
pages = {203--211},
year = {1998}
}
@inproceedings{DBLP:conf/ams/PaulySFL98,
author = {Michael Pauly and
Hartmut Surmann and
Marion Finke and
N. Liang},
title = {Real-Time Object Detection for Autonomous Robots},
booktitle = {{AMS}},
series = {Informatik Aktuell},
pages = {57--64},
publisher = {Springer},
year = {1998}
}
@inproceedings{DBLP:conf/icassp/ByrneFKMNRSWZ98,
author = {William Byrne and
Michael Finke and
Sanjeev Khudanpur and
John W. McDonough and
Harriet J. Nock and
Michael Riley and
Murat Sara{\c{c}}lar and
Charles Wooters and
George Zavaliagkos},
title = {Pronunciation modelling using a hand-labelled corpus for conversational
speech recognition},
booktitle = {{ICASSP}},
pages = {313--316},
publisher = {{IEEE}},
year = {1998}
}
@inproceedings{DBLP:conf/icassp/FritschF98,
author = {J{\"{u}}rgen Fritsch and
Michael Finke},
title = {{ACID/HNN:} clustering hierarchies of neural networks for context-dependent
connectionist acoustic modeling},
booktitle = {{ICASSP}},
pages = {505--508},
publisher = {{IEEE}},
year = {1998}
}
@inproceedings{DBLP:conf/icassp/GeutnerFS98,
author = {Petra Geutner and
Michael Finke and
Peter Scheytt},
title = {Adaptive vocabularies for transcribing multilingual broadcast news},
booktitle = {{ICASSP}},
pages = {925--928},
publisher = {{IEEE}},
year = {1998}
}
@inproceedings{DBLP:conf/interspeech/FritschFW98,
author = {J{\"{u}}rgen Fritsch and
Michael Finke and
Alex Waibel},
title = {Effective structural adaptation of {LVCSR} systems to unseen domains
using hierarchical connectionist acoustic models},
booktitle = {{ICSLP}},
publisher = {{ISCA}},
year = {1998}
}
@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 = {{ICSLP}},
publisher = {{ISCA}},
year = {1998}
}
@inproceedings{DBLP:conf/jit/FinkGWE98,
author = {Torsten Fink and
Michael M. Gutzmann and
Torsten Wolf and
Werner Erhard},
title = {Entwicklung einer abstrakten Speicherkomponente f{\"{u}}r eine
verteilte heterogene dynamische Infrastruktur in Java/CORBA},
booktitle = {Java-Informations-Tage},
series = {Informatik Aktuell},
pages = {269--276},
publisher = {Springer},
year = {1998}
}
@inproceedings{DBLP:conf/nc/ErhardFGRDG98,
author = {Werner Erhard and
Torsten Fink and
Michael M. Gutzmann and
Christoph Rahn and
Axel Doering and
Miroslaw Galicki},
title = {The Improvement and Comparison of Different Algorithms for Optimizing
Neural Networks on the MasPar {MP-2}},
booktitle = {{NC}},
pages = {617--623},
publisher = {{ICSC} Academic Press, International Computer Science Conventions,
Canada / Switzerland},
year = {1998}
}
@inproceedings{DBLP:conf/tssdv/MannaBBCFPSU98,
author = {Zohar Manna and
Nikolaj S. Bj{\o}rner and
Anca Browne and
Michael Col{\'{o}}n and
Bernd Finkbeiner and
Mark C. Pichora and
Henny B. Sipma and
Tom{\'{a}}s E. Uribe},
title = {An Update on STeP: Deductive-Algorithmic Verification of Reactive
Systems},
booktitle = {Tool Support for System Specification, Development and Verification},
series = {Advances in computing science},
pages = {174--188},
publisher = {Springer},
year = {1998}
}
@article{DBLP:journals/jsc/CoopermanFTY97,
author = {Gene Cooperman and
Larry Finkelstein and
Michael Tselman and
Bryant W. York},
title = {Constructing Permutation Representations for Matrix Groups},
journal = {J. Symb. Comput.},
volume = {24},
number = {3/4},
pages = {471--488},
year = {1997}
}
@article{DBLP:journals/tnn/AmariMMFY97,
author = {Shun{-}ichi Amari and
Noboru Murata and
Klaus{-}Robert M{\"{u}}ller and
Michael Finke and
Howard Hua Yang},
title = {Asymptotic statistical theory of overtraining and cross-validation},
journal = {{IEEE} Trans. Neural Networks},
volume = {8},
number = {5},
pages = {985--996},
year = {1997}
}
@inproceedings{DBLP:conf/icassp/FinkeGHKRW97,
author = {Michael Finke and
Petra Geutner and
Hermann Hild and
Thomas Kemp and
Klaus Ries and
Martin Westphal},
title = {The Karlsruhe-Verbmobil speech recognition engine},
booktitle = {{ICASSP}},
pages = {83--86},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/icassp/FinkeR97,
author = {Michael Finke and
Ivica Rogina},
title = {Wide context acoustic modeling in read vs. spontaneous speech},
booktitle = {{ICASSP}},
pages = {1743--1746},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/icassp/FritschFW97,
author = {J{\"{u}}rgen Fritsch and
Michael Finke and
Alex Waibel},
title = {Context-dependent hybrid {HME/HMM} speech recognition using polyphone
clustering decision trees},
booktitle = {{ICASSP}},
pages = {1759--1762},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@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 = {{ICASSP}},
pages = {99--102},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/icassp/ZeppenfeldFRWW97,
author = {Torsten Zeppenfeld and
Michael Finke and
Klaus Ries and
Martin Westphal and
Alex Waibel},
title = {Recognition of conversational telephone speech using the {JANUS} speech
engine},
booktitle = {{ICASSP}},
pages = {1815--1818},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/interspeech/FinkeW97,
author = {Michael Finke and
Alex Waibel},
title = {Speaking mode dependent pronunciation modeling in large vocabulary
conversational speech recognition},
booktitle = {{EUROSPEECH}},
pages = {2379--2382},
publisher = {{ISCA}},
year = {1997}
}
@inproceedings{DBLP:conf/interspeech/FritschF97,
author = {J{\"{u}}rgen Fritsch and
Michael Finke},
title = {Improving performance on switchboard by combining hybrid {HME/HMM}
and mixture of Gaussians acoustic models},
booktitle = {{EUROSPEECH}},
pages = {1963--1966},
publisher = {{ISCA}},
year = {1997}
}
@inproceedings{DBLP:conf/interspeech/ZhanWFW97,
author = {Puming Zhan and
Martin Westphal and
Michael Finke and
Alex Waibel},
title = {Speaker normalization and speaker adaptation - a combination for conversational
speech recognition},
booktitle = {{EUROSPEECH}},
pages = {2087--2090},
publisher = {{ISCA}},
year = {1997}
}
@inproceedings{DBLP:conf/parco/FinkGW97,
author = {Torsten Fink and
Michael M. Gutzmann and
R. Weper},
title = {Distributed, Heterogeneous, Dynamic Computing - {A} Case Study},
booktitle = {{PARCO}},
series = {Advances in Parallel Computing},
volume = {12},
pages = {463--466},
publisher = {Elsevier},
year = {1997}
}
@inproceedings{DBLP:conf/rtse/MannaCFSU97,
author = {Zohar Manna and
Michael Col{\'{o}}n and
Bernd Finkbeiner and
Henny Sipma and
Tom{\'{a}}s E. Uribe},
title = {Abstraction and Modular Verification of Infinite-State Reactive Systems},
booktitle = {Requirements Targeting Software and Systems Engineering},
series = {Lecture Notes in Computer Science},
volume = {1526},
pages = {273--292},
publisher = {Springer},
year = {1997}
}
@article{DBLP:journals/neco/MullerFMSA96,
author = {Klaus{-}Robert M{\"{u}}ller and
Michael Finke and
Noboru Murata and
Klaus Schulten and
Shun{-}ichi Amari},
title = {A Numerical Study on Learning Curves in Stochastic Multilayer Feedforward
Networks},
journal = {Neural Comput.},
volume = {8},
number = {5},
pages = {1085--1106},
year = {1996}
}
@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 = {{ICASSP}},
pages = {409--412},
publisher = {{IEEE} Computer Society},
year = {1996}
}
@inproceedings{DBLP:conf/icassp/WoszczynaF96,
author = {Monika Woszczyna and
Michael Finke},
title = {Minimizing search errors due to delayed bigrams in real-time speech
recognition systems},
booktitle = {{ICASSP}},
pages = {137--140},
publisher = {{IEEE} Computer Society},
year = {1996}
}
@inproceedings{DBLP:conf/nips/FritschFW96,
author = {J{\"{u}}rgen Fritsch and
Michael Finke and
Alex Waibel},
title = {Adaptively Growing Hierarchical Mixtures of Experts},
booktitle = {{NIPS}},
pages = {459--465},
publisher = {{MIT} Press},
year = {1996}
}
@incollection{DBLP:conf/nips/FritschF96,
author = {J{\"{u}}rgen Fritsch and
Michael Finke},
title = {applying Divide and Conquer to Large Scale Pattern Recognition Tasks},
booktitle = {Neural Networks: Tricks of the Trade},
series = {Lecture Notes in Computer Science},
volume = {1524},
pages = {315--342},
publisher = {Springer},
year = {1996}
}
@inproceedings{DBLP:conf/icdar/MankeFW95,
author = {Stefan Manke and
Michael Finke and
Alex Waibel},
title = {NPen\({}^{\mbox{++}}\): a writer independent, large vocabulary on-line
cursive handwriting recognition system},
booktitle = {{ICDAR}},
pages = {403--408},
publisher = {{IEEE} Computer Society},
year = {1995}
}
@inproceedings{DBLP:conf/interspeech/FinkJS95,
author = {Gernot A. Fink and
Michaela Johanntokrax and
Brigitte Schaffranietz},
title = {A flexible formal language for the orthographic transcription of spontaneous
spoken dialogues},
booktitle = {{EUROSPEECH}},
pages = {871--874},
publisher = {{ISCA}},
year = {1995}
}
@inproceedings{DBLP:conf/issac/CoopermanFT95,
author = {Gene Cooperman and
Larry Finkelstein and
Michael Tselman},
title = {Computing with Matrix Groups Using Permutation Representations},
booktitle = {{ISSAC}},
pages = {259--264},
publisher = {{ACM}},
year = {1995}
}
@inproceedings{DBLP:conf/nips/AmariMMFY95,
author = {Shun{-}ichi Amari and
Noboru Murata and
Klaus{-}Robert M{\"{u}}ller and
Michael Finke and
Howard Hua Yang},
title = {Statistical Theory of Overtraining - Is Cross-Validation Asymptotically
Effective?},
booktitle = {{NIPS}},
pages = {176--182},
publisher = {{MIT} Press},
year = {1995}
}
@inproceedings{DBLP:conf/icpr/MankeFW94,
author = {Stefan Manke and
Michael Finke and
Alex Waibel},
title = {Combining bitmaps with dynamic writing information for on-line handwriting
recognition},
booktitle = {{ICPR} {(2)}},
pages = {596--598},
publisher = {{IEEE}},
year = {1994}
}
@inproceedings{DBLP:conf/issac/CoopermanFYT94,
author = {Gene Cooperman and
Larry Finkelstein and
Bryant W. York and
Michael Tselman},
title = {Constructing Permutation Representations for Large Matrix Groups},
booktitle = {{ISSAC}},
pages = {134--138},
publisher = {{ACM}},
year = {1994}
}
@inproceedings{DBLP:conf/nips/MankeFW94,
author = {Stefan Manke and
Michael Finke and
Alex Waibel},
title = {The Use of Dynamic Writing Information in a Connectionist On-Line
Cursive Handwriting Recognition System},
booktitle = {{NIPS}},
pages = {1093--1100},
publisher = {{MIT} Press},
year = {1994}
}
@inproceedings{DBLP:conf/sigcse/WillsFGW94,
author = {Craig E. Wills and
David Finkel and
Michael A. Gennert and
Matthew O. Ward},
title = {Peer learning in an introductory computer science course},
booktitle = {{SIGCSE}},
pages = {309--313},
publisher = {{ACM}},
year = {1994}
}
@article{DBLP:journals/tkde/AmadorBBDFNNSSSSWW93,
author = {Franz G. Amador and
Deborah Berman and
Alan Borning and
Tony DeRose and
Adam Finkelstein and
Dorothy Neville and
David Notkin and
David Salesin and
Michael Salisbury and
Joe Sherman and
Ying Sun and
Daniel S. Weld and
Georges Winkenbach},
title = {Electronic "How Things Work" Articles: Two Early Prototypes},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {5},
number = {4},
pages = {611--618},
year = {1993}
}
@article{DBLP:journals/ijseke/FinkelsteinKNFG92,
author = {Anthony Finkelstein and
Jeff Kramer and
Bashar Nuseibeh and
L. Finkelstein and
Michael Goedicke},
title = {Viewpoints: {A} Framework for Integrating Multiple Perspectives in
System Development},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {2},
number = {1},
pages = {31--57},
year = {1992}
}
@article{DBLP:journals/tc/FinkFS92,
author = {Franz Fink and
Karl Fuchs and
Michael H. Schulz},
title = {Robust and Nonrobust Path Delay Fault Simulation by Parallel Processing
of Patterns},
journal = {{IEEE} Trans. Computers},
volume = {41},
number = {12},
pages = {1527--1536},
year = {1992}
}
@article{DBLP:journals/tcad/FuchsFS91,
author = {Karl Fuchs and
Franz Fink and
Michael H. Schulz},
title = {{DYNAMITE:} an efficient automatic test pattern generation system
for path delay faults},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {10},
number = {10},
pages = {1323--1335},
year = {1991}
}
@article{DBLP:journals/dm/FinkJKR90,
author = {John Frederick Fink and
Michael S. Jacobson and
Lael F. Kinch and
John Roberts},
title = {The bondage number of a graph},
journal = {Discret. Math.},
volume = {86},
number = {1-3},
pages = {47--57},
year = {1990}
}
@book{DBLP:books/daglib/0098556,
author = {Michael Unterstein and
Hermann Finkenzeller and
Ulrich Kracke},
title = {Systematischer Einsatz von SQL-dBase {IV} - ein Datenbanksystem in
der Praxis},
publisher = {Addison-Wesley},
year = {1989}
}
@article{DBLP:journals/tse/FinkelSAC89,
author = {Raphael A. Finkel and
Michael L. Scott and
Yeshayahu Artsy and
Hung{-}Yang Chang},
title = {Experience with Charlotte: Simplicity and Function in a Distributed
Operating System},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {6},
pages = {676--685},
year = {1989}
}
@inproceedings{DBLP:conf/am/FinkelsteinGKN89,
author = {Anthony Finkelstein and
Michael Goedicke and
Jeff Kramer and
Celso Niskier},
title = {Viewpoint Oriented Software Development: Mehtods and Viewpoints in
Requirements Engineering},
booktitle = {Algebraic Methods},
series = {Lecture Notes in Computer Science},
volume = {490},
pages = {29--54},
publisher = {Springer},
year = {1989}
}
@inproceedings{DBLP:conf/dac/SchulzFF89,
author = {Michael H. Schulz and
Franz Fink and
Karl Fuchs},
title = {Parallel Pattern Fault Simulation of Path Delay Faults},
booktitle = {{DAC}},
pages = {357--363},
publisher = {{ACM} Press},
year = {1989}
}
@inproceedings{DBLP:conf/ftcs/SchulzFF89,
author = {Michael H. Schulz and
Karl Fuchs and
Franz Fink},
title = {Advanced automatic test pattern generation techniques for path delay
faults},
booktitle = {{FTCS}},
pages = {44--51},
publisher = {{IEEE} Computer Society},
year = {1989}
}
@article{DBLP:journals/cm/PierceFF88,
author = {Michael Pierce and
Fred Fromm and
Fred Fink},
title = {Impact of the intelligent network on the capacity of network elements},
journal = {{IEEE} Commun. Mag.},
volume = {26},
number = {12},
pages = {25--30},
year = {1988}
}
@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}
}
@article{DBLP:journals/tse/ScottF88,
author = {Michael L. Scott and
Raphael A. Finkel},
title = {A Simple Mechanism for Type Security Across Compilation Units},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {8},
pages = {1238--1239},
year = {1988}
}
@inproceedings{DBLP:conf/imacs/RideoutEEFFKKMRS82,
author = {Vincent C. Rideout and
J. Eastman and
Adel Said Elmaghraby and
Raphael A. Finkel and
A. A. Frank and
T. J. Kaminsky and
Charles R. Kime and
John A. McPherson and
Michael Jon Redmond and
S. Diane Smith},
title = {{WISPAC:} {A} Parallel Array Computer for Simulation Applications},
booktitle = {{IMACS} World Congress},
pages = {159--169},
publisher = {North-Holland},
year = {1982}
}
@inproceedings{DBLP:conf/mark2/FinkelSH79,
author = {Raphael A. Finkel and
Marvin H. Solomon and
Michael L. Horowitz},
title = {Distributed algorithms for global structuring},
booktitle = {{MARK}},
pages = {455--460},
publisher = {{IEEE}},
year = {1979}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-05 12:56 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
