![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Michael Fink"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.