Logo Logo

Mathematics, Computer Science and Statistics > Computer Science

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Creators | Item Type | Language | Volume
Jump to: 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1984 | 1983 | 1982 | 1981 | 1978
Number of items at this level: 389.

2019

Kiss, Francisco; Woźniak, Paweł W.; Scheerer, Felix; Dominiak, Julia; Romanowski, Andrzej; Schmidt, Albrecht ORCID: 0000-0003-3890-1990 (4. May 2019): Clairbuoyance: Improving Directional Perception for Swimmers. Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 4.-9. Mai 2019, Glasgow, UK. [PDF, 5MB]

2018

Abdelrahman, Yomna; Wozniak, Pawel; Knierim, Pascal; Henze, Niels; Schmidt, Albrecht ORCID: 0000-0003-3890-1990 (2018): Exploration of Alternative Vision Modes Using Depth and Thermal Cameras. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 245-252

Auda, Jonas; Hoppe, Matthias; Amiraslanov, Orkhan; Zhou, Bo; Knierim, Pascal; Schneegass, Stefan; Schmidt, Albrecht ORCID: 0000-0003-3890-1990; Lukowicz, Paul (2018): LYRA: Smart Wearable In-flight Service Assistant. In: Iswc'18: Proceedings of the 2018 Acm International Symposium on Wearable Computers: pp. 212-213

Benton, Nick; Hofmann, Martin; Nigam, Vivek (2018): Effect-dependent transformations for concurrent programs. In: Science of Computer Programming, Vol. 155: pp. 27-51

Benton, Nick; Hofmann, Martin; Nigam, Vivek (2018): Proof-relevant logical relations for name generation. In: Logical Methods in Computer Science, Vol. 14, No. 1, 25

Berger, Benedikt (2018): Commerce-oriented revenue models for content providers: an experimental study of commerciality's effect on credibility. In: Electronic Markets, Vol. 28, No. 1: pp. 93-109

Beyer, Dirk; Dangl, Matthias; Wendler, Philipp (2018): A Unifying View on SMT-Based Software Verification. In: Journal of Automated Reasoning, Vol. 60, No. 3: pp. 299-335

Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, Heike (2018): Reducer-Based Construction of Conditional Verifiers. In: Proceedings 2018 Ieee/Acm 40Th International Conference on Software Engineering (Icse): pp. 1182-1193

Braun, Michael; Volkel, Sarah Theres; Wiegand, Gesa; Puls, Thomas; Steidl, Daniel; Weiss, Yannick; Alt, Florian (2018): The Smile is The New Like: Controlling Music with Facial Expressions to Minimize Driver Distraction. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 383-389

Buschek, Daniel; Hassib, Mariam; Alt, Florian (2018): Personal Mobile Messaging in Context: Chat Augmentations for Expressiveness and Awareness. In: Acm Transactions on Computer-Human Interaction, Vol. 25, No. 4, 23

Buschek, Daniel; Völkel, Sarah; Stachl, Clemens; Mecke, Lukas; Prange, Sarah; Pfeuffer, Ken (2018): Experience Sampling as Information Transmission: Perspective and Implications. In: Proceedings of the 2018 Acm International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2018 Acm International Symposium on Wearable Computers (Ubicomp/Iswc'18 Adjunct): pp. 606-611

Caramazza, Piergiorgio; Boccolini, Alessandro; Buschek, Daniel; Hullin, Matthias; Higham, Catherine F.; Henderson, Robert; Murray-Smith, Roderick; Faccio, Daniele (2018): Neural network identification of people hidden from view with a single-pixel, single-photon detector. In: Scientific Reports, Vol. 8, 11945

Costa, Camila F.; Nascimento, Mario A.; Schubert, Matthias (2018): Diverse nearest neighbors queries using linear skylines. In: Geoinformatica, Vol. 22, No. 4: pp. 815-844

Davari, Kathrin; Lichti, Johannes; Friedel, Caroline C.; Glasmacher, Elke (2018): Real-time Analysis of Transcription Factor Binding, Transcription, Translation, and Turnover to Display Global Events During Cellular Activation. In: Jove-Journal of Visualized Experiments, No. 133, e56752

Dingler, Tilman; Tag, Benjamin; Lehrer, Sabrina; Schmidt, Albrecht ORCID: 0000-0003-3890-1990 (2018): Reading Scheduler: Proactive Recommendations to Help Users Cope with Their Daily Reading Volume. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 239-244

Drewes, Heiko; Khamis, Mohamed; Alt, Florian (2018): Smooth Pursuit Target Speeds and Trajectories. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 139-146

Eiband, Malin; Schneider, Hanna; Bilandzic, Mark; Fazekas-Con, Julian; Haug, Mareike; Hussmann, Heinrich (2018): Bringing Transparency Design into Practice. In: Iui 2018: Proceedings of the 23Rd International Conference on Intelligent User Interfaces: pp. 211-223

Erhard, Florian; Halenius, Anne; Zimmermann, Cosima; L'Hernault, Anne; Kowalewski, Daniel J.; Weekes, Michael P.; Stevanovic, Stefan; Zimmer, Ralf; Doelken, Lars (2018): Improved Ribo-seq enables identification of cryptic translation events. In: Nature Methods, Vol. 15, No. 5: pp. 363-366

Faerman, Evgeniy; Borutta, Felix; Fountoulakis, Kimon; Mahoney, Michael W. (2018): LASAGNE: Locality And Structure Aware Graph Node Embedding. In: 2018 Ieee/Wic/Acm International Conference on Web Intelligence (Wi 2018): pp. 246-253

Faltaous, Sarah; Baumann, Martin; Schneegass, Stefan; Chuang, Lewis L. (2018): Design Guidelines for Reliability Communication in Autonomous Vehicles. In: Automotiveui'18: Proceedings of the 10Th Acm International Conference on Automotive User Interfaces and Interactive Vehicular Applications: pp. 258-267

Fasola, Salvatore; Muggeo, Vito M. R.; Küchenhoff, Helmut (2018): A heuristic, iterative algorithm for change-point detection in abrupt change models. In: Computational Statistics, Vol. 33, No. 2: pp. 997-1015

Felsberger, Lukas; Kranzlmüller, Dieter; Todd, Benjamin (2018): Field-Reliability Predictions Based on Statistical System Lifecycle Models. In: Machine Learning and Knowledge Extraction, Cd-Make 2018, Vol. 11015: pp. 98-117

Frey, Christian; Zufle, Andreas; Emrich, Tobias; Renz, Matthias (2018): Efficient Information Flow Maximization in Probabilistic Graphs. In: IEEE Transactions on Knowledge and Data Engineering, Vol. 30, No. 5: pp. 880-894

Fürlinger, Karl; Kowalewski, Roger; Fuchs, Tobias; Lehmann, Benedikt (2018): Investigating the Performance and Productivity of DASH Using the Cowichan Problems. In: Hpc Asia'18: Proceedings of Workshops of Hpc Asia: pp. 11-20

Gabor, Thomas; Belzner, Lenz; Phan, Thomy; Schmid, Kyrill (2018): Preparing for the Unexpected: Diversity Improves Planning Resilience in Evolutionary Algorithms. In: 15Th Ieee International Conference on Autonomic Computing (Icac 2018): pp. 131-140

Gaina, Raluca D.; Couetoux, Adrien; Sömers, Dennis J. N. J.; Winands, Mark H. M.; Vodopivec, Tom; Kirchgessner, Florian; Liu, Jialin; Lucas, Simon M.; Perez-Liebana, Diego (2018): The 2016 Two-Player GVGAI Competition. In: IEEE Transactions on Games, Vol. 10, No. 2: pp. 209-220

Geistlinger, Ludwig; Silva, Vinicius Henrique da; Mello Cesar, Aline Silva; Tizioto, Polyana Cristine; Waldron, Levi; Zimmer, Ralf; Correia de Almeida Regitano, Luciana; Coutinho, Luiz Lehmann (2018): Widespread modulation of gene expression by copy number variation in skeletal muscle. In: Scientific Reports, Vol. 8, 1399

George, Ceenu; Eiband, Malin; Hufnagel, Michael; Hussmann, Heinrich (2018): Trusting Strangers in Immersive Virtual Reality. In: Companion of the 23Rd International Conference on Intelligent User Interfaces (Iui'18)

George, Ceenu; Spitzer, Michael; Hussmann, Heinrich (2018): Training in IVR: Investigating the Effect of Instructor Design on Social Presence and Performance of the VR User. In: 24Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2018)

Haas, Jürgen G.; Weber, Julia; Gonzalez, Orland; Zimmer, Ralf; Griffiths, Samantha J. (2018): Antiviral activity of the mineralocorticoid receptor NR3C2 against Herpes simplex virus Type 1 (HSV-1) infection. In: Scientific Reports, Vol. 8, No. 1

Hennicker, Rolf; Bidoit, Michel (2018): Compatibility properties of synchronously and asynchronously communicating components. In: Logical Methods in Computer Science, Vol. 14, No. 1, 1

Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin (2018): Behavioural and abstractor specifications revisited. In: Theoretical Computer Science, Vol. 741: pp. 32-43

Hennig, Thomas; Michalski, Marco; Rutkowski, Andrzej J.; Djakovic, Lara; Whisnant, Adam W.; Friedl, Marie-Sophie; Jha, Bhaskar Anand; Baptista, Marisa A. P.; L'Hernault, Anne; Erhard, Florian; Doelken, Lars; Friedel, Caroline C. (2018): HSV-1-induced disruption of transcription termination resembles a cellular stress response but selectively increases chromatin accessibility downstream of genes.
In: PLOS Pathogens 14(3), e1006954 [PDF, 11MB]

Hodges, Steve; Scott, James; Chen, Nicholas; Taylor, Stuart; Helmes, John; Wright, Phil; Walker, Laura; Trim, Nick; Grosse-Puppendahl, Tobias; Knierim, Pascal; Wood, Gavin; Denney, Thomas (2018): Enhancing Smartphone Productivity and Reliability with an Integrated Display Cover. In: Proceedings of the 2018 Acm International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2018 Acm International Symposium on Wearable Computers (Ubicomp/Iswc'18 Adjunct): pp. 349-352

Hoppe, Matthias; Knierim, Pascal; Kosch, Thomas; Funk, Markus; Futami, Lauren; Schneegass, Stefan; Henze, Niels; Schmidt, Albrecht ORCID: 0000-0003-3890-1990; Machulla, Tonja (2018): VRHapticDrones: Providing Haptics in Virtual Reality through Quadcopters. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 7-18

Hänsel, Katrin; Poguntke, Romina; Haddadi, Hamed; Alomainy, Akram; Schmidt, Albrecht ORCID: 0000-0003-3890-1990 (21. April 2018): What to Put on the User: Sensing Technologies for Studies and Physiology Aware Systems. 2018 CHI Conference on Human Factors in Computing Systems, 21.-26. April 2018, Montreal QC, Canada. [PDF, 710kB]

Häuslschmid, Renate; Fritzsche, Benjamin; Butz, Andreas (2018): Can a Helmet-mounted Display Make Motorcycling Safer? In: Iui 2018: Proceedings of the 23Rd International Conference on Intelligent User Interfaces: pp. 467-476

Höllander, Kai; Pfleging, Bastian (2018): Preparing Drivers for Planned Control Transitions in Automated Cars. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 83-92

Kaltenthaler, Daniel; Lohrer, Johannes-Y.; Richter, Florian; Kröger, Peer (2018): Interdisciplinary knowledge cohesion through distributed information management systems. In: Journal of Information Communication & Ethics in Society, Vol. 16, No. 4: pp. 413-426

Kazempour, Daniyal; Beer, Anna; Herzog, Friederike; Kaltenthaler, Daniel; Lohrer, Johannes-Y.; Seidl, Thomas (2018): FATBIRD: A Tool for Flight and Trajectories Analyses of Birds. In: 2018 Ieee 14Th International Conference on E-Science (E-Science 2018): pp. 75-82

Kiss, Francisco; Schmidt, Albrecht ORCID: 0000-0003-3890-1990; Wozniak, Pawel W. (2018): Experiencing VOS: a Visual Orientation System. In: Nordichi'18: Proceedings of the 10Th Nordic Conference on Human-Computer Interaction: pp. 944-947

Kluge, Michael; Friedel, Caroline C. (2018): Watchdog - a workflow management system for the distributed analysis of large-scale experimental data. In: BMC Bioinformatics, Vol. 19, 97

Kowalewski, Roger; Fuchs, Tobias; Fürlinger, Karl; Guggemos, Tobias (2018): Utilizing Heterogeneous Memory Hierarchies in the PGAS Model. In: 2018 26Th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (Pdp 2018): pp. 353-357

Kwiatkowski da Silva, A.; Ponge, D.; Peng, Z.; Inden, G.; Lu, Y.; Breen, A.; Gault, B.; Raabe, D. (2018): Phase nucleation through confined spinodal fluctuations at crystal defects evidenced in Fe-Mn alloys. In: Nature Communications, Vol. 9, 1137 [PDF, 6MB]

König, Alexander; Witzlsperger, Kathrin; Leutwiler, Florin; Hohmann, Sören (2018): Overview of HAD validation and passive HAD as a concept for validating highly automated cars. In: At-Automatisierungstechnik, Vol. 66, No. 2: pp. 132-145

Lachner, Florian; Schneider, Hanna; Simon, Lisa; Butz, Andreas (2018): Nurturing Empathy between UX Design Teams and Users in Digitally-Mediated User Research. In: Nordichi'18: Proceedings of the 10Th Nordic Conference on Human-Computer Interaction: pp. 273-285

Lahmer, Marie; Glatz, Christiane; Seibold, Verena C.; Chuang, Lewis L. (2018): Looming Auditory Collision Warnings for Semi-Automated Driving: An ERP Study. In: Automotiveui'18: Proceedings of the 10Th Acm International Conference on Automotive User Interfaces and Interactive Vehicular Applications: pp. 310-319

Lehmann, Florian; Kipp, Michael (2018): How to Hold Your Phone When Tapping: A Comparative Study of Performance, Precision, and Errors. In: Proceedings of the 2018 Acm International Conference on Interactive Surfaces and Spaces (Iss'18): pp. 115-127

Lu, Yifeng; Seidl, Thomas (2018): Towards Efficient Closed Infrequent Itemset Mining using Bi-directional Traversing. In: 2018 Ieee 5Th International Conference on Data Science and Advanced Analytics (Dsaa): pp. 140-149

Luckow, Andre; Chantzialexiou, George; Jha, Shantenu (2018): Pilot-Streaming: A Stream Processing Framework for High-Performance Computing. In: 2018 Ieee 14Th International Conference on E-Science (E-Science 2018): pp. 177-188

Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. (2018): A logic for the stepwise development of reactive systems. In: Theoretical Computer Science, Vol. 744: pp. 78-96

Mai, Christian; Bartsch, Sarah Aragon; Rieger, Lea (2018): Evaluating Shared Surfaces for Co-Located Mixed-Presence Collaboration. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 1-5

Mai, Christian; Wiltzius, Tim; Alt, Florian; Hussmann, Heinrich (2018): Feeling Alone in Public - Investigating the Influence of Spatial Layout on Users' VR Experience. In: Nordichi'18: Proceedings of the 10Th Nordic Conference on Human-Computer Interaction: pp. 286-298

Marouane, Chadly; Gutschale, Robert; Linnhoff-Popien, Claudia (2018): Visual Odometry for Pedestrians Based on Orientation Attributes of SURF. In: Proceedings of Sai Intelligent Systems Conference (Intellisys) 2016, Vol 2, Vol. 16: pp. 153-174

Mautz, Dominik; Ye, Wei; Plant, Claudia; Böhm, Christian (2018): Discovering Non-Redundant K-means Clusterings in Optimal Subspaces. In: Kdd'18: Proceedings of the 24Th Acm Sigkdd International Conference on Knowledge Discovery & Data Mining: pp. 1973-1982

Mayer, Sven; Viet Le, Huy; Nesti, Alessandro; Henze, Niels; Bülthoff, Heinrich H.; Chuang, Lewis L. (2018): The Effect of Road Bumps on Touch Interaction in Cars. In: Automotiveui'18: Proceedings of the 10Th Acm International Conference on Automotive User Interfaces and Interactive Vehicular Applications: pp. 85-93

Mecke, Lukas; Pfeuffer, Ken; Prange, Sarah; Alt, Florian (2018): Open Sesame!: User Perception of Physical, Biometric, and Behavioural Authentication Concepts to Open Doors. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 153-159

Moessbauer, Felix; Kowalewski, Roger; Fuchs, Tobias; Fürlinger, Karl (2018): A Portable Multidimensional Coarray for C plus. In: 2018 26Th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (Pdp 2018): pp. 18-25

Müller, Niklas; Eska, Bettina; Schäffer, Richard; Völkel, Sarah Theres; Braun, Michael; Wiegand, Gesa; Alt, Florian (2018): Arch'n'Smile: A Jump'n'Run Game Using Facial Expression Recognition Control For Entertaining Children During Car Journeys. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 335-339

Natarelli, Lucia; Geissler, Claudia; Csaba, Gergely; Wei, Yuanyuan; Zhu, Mengyu; di Francesco, Andrea; Hartmann, Petra; Zimmer, Ralf; Schober, Andreas (2018): miR-103 promotes endothelial maladaptation by targeting lncWDR59. In: Nature Communications, Vol. 9, 2645 [PDF, 4MB]

Prange, Sarah; Buschek, Daniel; Alt, Florian (2018): An Exploratory Study on Correlations of Hand Size and Mobile Touch Interactions. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 279-283

Rothe, Sylvia; Althammer, Felix; Khamis, Mohamed (2018): GazeRecall: Using Gaze Direction to Increase Recall of Details in Cinematic Virtual Reality. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 115-119

Rothe, Sylvia; Höllerer, Tobias; Hussmann, Heinrich (2018): CVR-Analyzer: A Tool for Analyzing Cinematic Virtual Reality Viewing Patterns. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 127-137

Rothe, Sylvia; Kegeles, Boris; Allary, Mathias; Hussmann, Heinrich (2018): The Impact of Camera Height in Cinematic Virtual Reality. In: 24Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2018)

Schmid, Kyrill; Belzner, Lenz; Gabor, Thomas; Phan, Thomy (2018): Action Markets in Deep Multi-Agent Reinforcement Learning. In: Artificial Neural Networks and Machine Learning - Icann 2018, Pt Ii, Vol. 11140: pp. 240-249

Schneegass, Christina; Terzimehic, Nada; Nettah, Mariam; Schneegass, Stefan (2018): Informing the Design of User-adaptive Mobile Language Learning Applications. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 233-238

Schramm, Christof; Wang, Yingding; Bry, Francois (2018): CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge. In: 2018 Ieee/Acm 5Th International Workshop on Crowd Sourcing in Software Engineering (Csi-Se): pp. 1-8

Schuchart, Joseph; Kowalewski, Roger; Fürlinger, Karl (2018): Recent Experiences in Using MPI-3 RMA in the DASH PGAS Runtime. In: Hpc Asia'18: Proceedings of Workshops of Hpc Asia: pp. 21-30

Schödel, Ramona; Au, Quay; Völkel, Sarah Theres; Lehmann, Florian; Becker, Daniela; Bühner, Markus; Bischl, Bernd; Hussmann, Heinrich; Stachl, Clemens (2018): Digital Footprints of Sensation Seeking A Traditional Concept in the Big Data Era. In: Zeitschrift für Psychologie-Journal of Psychology, Vol. 226, No. 4: pp. 232-245

Sedlmeier, Andreas; Feld, Sebastian (2018): Learning indoor space perception. In: Journal of Location Based Services, Vol. 12, No. 3-4: pp. 179-214

Soto, Mauro Avila; Voit, Alexandra; Hassan, Ahmed Shereen; Schmidt, Albrecht ORCID: 0000-0003-3890-1990; Machulla, Tonja (2018): Self-Identifying Tactile Overlays. In: Assets'18: Proceedings of the 20Th International Acm Sigaccess Conference on Computers and Accessibility: pp. 423-425

Stillfried, Georg; Stepper, Johannes; Neppl, Hannah; Vogel, Jörn; Höppner, Hannes (2018): Elastic Elements in a Wrist Prosthesis for Drumming Reduce Muscular Effort, but Increase Imprecision and Perceived Stress. In: Frontiers in Neurorobotics, Vol. 12, 9 [PDF, 1MB]

Strzys, M. P.; Kapp, S.; Thees, M.; Klein, P.; Lukowicz, P.; Knierim, Pascal; Schmidt, Albrecht ORCID: 0000-0003-3890-1990; Kuhn, J. (2018): Physics holo.lab learning experience: using smartglasses for augmented reality labwork to foster the concepts of heat conduction. In: European Journal of Physics, Vol. 39, No. 3, 35703

Tang, Hanlin; Schrimpf, Martin; Lotter, William; Moerman, Charlotte; Paredes, Ana; Caro, Josue Ortega; Hardesty, Walter; Cox, David; Kreiman, Gabriel (2018): Recurrent computations for visual pattern completion. In: Proceedings of the National Academy of Sciences of the United States of America, Vol. 115, No. 35: pp. 8835-8840

Tavakkolkhah, Pegah; Zimmer, Ralf; Küffner, Robert (2018): Detection of network motifs using three-way ANOVA.
In: PLOS One 13(8), e0201382 [PDF, 2MB]

Tran, Cuong Ngoc; Danciu, Vitalian (2018): On Conflict Handling in Software-Defined Networks. In: 2018 International Conference on Advanced Computing and Applications (Acomp): pp. 50-57

Trotter, Ludwig; Davies, Nigel; Prange, Sarah; Alt, Florian; Khamis, Mohamed (2018): Design Considerations for Secure and Usable Authentication on Situated Displays. In: 17Th International Conference on Mobile and Ubiquitous Multimedia (Mum 2018): pp. 483-490

Tseng, Tsun-Ming; Li, Mengchu; Freitas, Daniel Nestor; Mongersun, Amy; Araci, Ismail Emre; Ho, Tsung-Yi; Schlichtmann, Ulf (2018): Columba S: A Scalable Co-Layout Design Automation Tool for Microfluidic Large-Scale Integration. In: 2018 55Th Acm/Esda/Ieee Design Automation Conference (Dac)

Völkel, Sarah Theres; Wilkowska, Wiktoria; Ziefle, Martina (2018): Gender-Specific Motivation and Expectations toward Computer Science. In: Proceedings of the 4Th Conference on Gender & It (Genderit '18): pp. 123-134

Wei, Yuanyuan; Corbalan-Campos, Judit; Gurung, Rashmi; Natarelli, Lucia; Zhu, Mengyu; Exner, Nicole; Erhard, Florian; Greulich, Franziska; Geiler, Claudia; Uhlenhaut, N. Henriette; Zimmer, Ralf; Schober, Andreas (2018): Dicer in Macrophages Prevents Atherosclerosis by Promoting Mitochondrial Oxidative Metabolism. In: Circulation, Vol. 138, No. 18: pp. 2007-2020

Zimmermann, Alfred; Schmidt, Rainer; Bogner, Justus; Jugel, Dierk; Möhring, Michael (2018): Software Evolution for Digital Transformation. In: Proceedings of the 13Th International Conference on Evaluation of Novel Approaches To Software Engineering: pp. 205-212

2017

Abdelrahman, Yomna; Khamis, Mohamed; Schneegass, Stefan; Alt, Florian (6. May 2017): Stay Cool! Understanding Thermal Attacks on Mobile-based User Authentication. Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 6. - 11. Mai 2017, Denver, Colorado, USA. [PDF, 1MB]

Abdelrahman, Yomna; Velloso, Eduardo; Dingler, Tilman; Schmidt, Albrecht ORCID: 0000-0003-3890-1990; Vetere, Frank (September 2017): Cognitive Heat: Exploring the Usage of Thermal Imaging to Unobtrusively Estimate Cognitive Load. In: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, Vol. 1, No. 3: 33:1-33:20 [PDF, 3MB]

Avis, David; Friedmann, Oliver (2017): An exponential lower bound for Cunningham's rule. In: Mathematical Programming, Vol. 161, No. 43132: pp. 271-305

Barann, Matthias; Zimmer, Ralf; Birzele, Fabian (2017): Manananggal - a novel viewer for alternative splicing events. In: BMC Bioinformatics 18:120 [PDF, 3MB]

Beck, Michael Till; Botero, Juan Felipe (2017): Scalable and coordinated allocation of service function chains. In: Computer Communications, Vol. 102: pp. 78-88

Berchtold, Evi; Csaba, Gergely; Zimmer, Ralf (2017): RelExplain-integrating data and networks to explain biological processes. In: Bioinformatics, Vol. 33, No. 12: pp. 1837-1844

Bonfert, Thomas; Friedel, Caroline C. (2017): Prediction of Poly(A) Sites by Poly(A) Read Mapping.
In: PLOS One 12(1), e0170914 [PDF, 5MB]

Bry, François; Pohl, Alexander Yong-Su (2017): Large class teaching with Backstage. In: Journal of Applied Research in Higher Education, Vol. 9, No. 1: pp. 105-128

Casanova, Guillaume; Englmeier, Elias; Houle, Michael E.; Kröger, Peer; Nett, Michael; Schubert, Erich; Zimek, Arthur (2017): Dimensional Testing for Reverse k-Nearest Neighbor Search. In: Proceedings of the Vldb Endowment, Vol. 10, No. 7: pp. 769-780

Davari, Kathrin; Lichti, Johannes; Gallus, Christian; Greulich, Franziska; Uhlenhaut, N. Henriette ORCID: 0000-0002-4220-4779; Heinig, Matthias; Friedel, Caroline C.; Glasmacher, Elke (2017): Rapid Genome-wide Recruitment of RNA Polymerase II Drives Transcription, Splicing, and Translation Events during T Cell Responses. In: Cell Reports, Vol. 19, No. 3: pp. 643-654

Decker, Tim-Michael; Kluge, Michael; Krebs, Stefan; Shah, Nilay; Blum, Helmut; Friedel, Caroline C.; Eick, Dirk (2017): Transcriptome analysis of dominant-negative Brd4 mutants identifies Brd4-specific target genes of small molecule inhibitor JQ1. In: Scientific Reports, Vol. 7, 1684

Dingler, Tilman; Schmidt, Albrecht ORCID: 0000-0003-3890-1990; Machulla, Tonja (September 2017): Building Cognition-Aware Systems: A Mobile Toolkit for Extracting Time-of-Day Fluctuations of Cognitive Performance. In: Proceedings of the ACM on interactive, mobile, wearable and ubiquitous technologies : IMWUT, Vol. 1, No. 3: 47:1-47:15 [PDF, 814kB]

Feld, Sebastian; Lyu, Hao; Keler, Andreas (2017): Identifying Divergent Building Structures Using Fuzzy Clustering of Isovist Features. In: Progress in Location-Based Services 2016: pp. 151-172

Fiori, E.; Ferraris, L.; Molini, L.; Siccardi, F.; Kranzlmüller, D.; Parodi, A. (2017): Triggering and evolution of a deep convective system in the Mediterranean Sea: modelling and observations at a very fine scale. In: Quarterly Journal of the Royal Meteorological Society, Vol. 143, No. 703: pp. 927-941

Glaser, Laura V.; Rieger, Simone; Thumann, Sybille; Beer, Sophie; Kuklik-Roos, Cornelia; Martin, Dietmar E.; Maier, Kerstin C.; Harth-Hertle, Marie L.; Grüning, Björn; Backofen, Rolf; Krebs, Stefan; Blum, Helmut; Zimmer, Ralf; Erhard, Florian; Kempkes, Bettina (2017): EBF1 binds to EBNA2 and promotes the assembly of EBNA2 chromatin complexes in B cells.
In: PLOS Pathogens 13(10), e1006664 [PDF, 8MB]

Gruber, Hermann; Holzer, Markus; Jakobi, Sebastian (2017): More on deterministic and nondeterministic finite cover automata. In: Theoretical Computer Science, Vol. 679: pp. 18-30

Hess, Thomas; Barthel, Philipp (2017): Wieviel digitale Transformation steckt im Informationsmanagement? Zum Zusammenspiel eines etablierten und eines neuen Managementkonzepts. In: HMD Praxis der Wirtschaftsinformatik, Vol. 54, No. 3: pp. 313-323

Hoffmann, Eike Jens; Schauer, Lorenz; Schönfeld, Mirco; Kraus, Maximilian (2017): Robust Pedestrian Dead Reckoning using Anchor Point Recalibration. International Conference on Indoor Positioning and Indoor Navigation (IPIN), 18-21 September, 2017, Sapporo, Japan.

Huschenbett, Martin; Kartzow, Alexander; Schlicht, Philipp (2017): Pumping for ordinal-automatic structures. In: Computability-the Journal of the Association Cie, Vol. 6, No. 2: pp. 125-164

Höhl, Wolfgang (9. March 2017): Industrie 4.0 und Angewandte Interaktive Technologien (APITs). Identifizieren von Projektpartnern und interdisziplinären Synergien mit der APITs-Vernetzungsmatrix. Elemente, Aufbau und Struktur interaktiver industrieller Anwendungen für Augmented Reality, Mixed Reality und Virtual Reality. [PDF, 833kB]

Josse, Gregor; Schmid, Klaus Arthur; Zufle, Andreas; Skoumas, Georgios; Schubert, Matthias; Renz, Matthias; Pfoser, Dieter; Nascimento, Mario A. (2017): Knowledge extraction from crowdsourced data for the enrichment of road networks. In: Geoinformatica, Vol. 21, No. 4: pp. 763-795

Jost, Steffen; Vasconcelos, Pedro; Florido, Mario; Hammond, Kevin (2017): Type-Based Cost Analysis for Lazy Functional Languages. In: Journal of Automated Reasoning, Vol. 59, No. 1: pp. 87-120

Khamis, Mohamed; Henderson, J.; Du, Guiying (2017): PerDis 2017. In: Ieee Pervasive Computing, Vol. 16, No. 4: pp. 86-89

Kiermeier, Marie; Feld, Sebastian; Linnhoff-Popien, Claudia (2017): Root Cause Analysis for Global Anomalous Events in Self-Organizing Industrial Systems. IEEE 21st International Conference on Intelligent Engineering Systems, October 20-23, 2017, Larnaca, Cyprus.

Kiermeier, Marie; Werner, Martin; Linnhoff-Popien, Claudia; Sauer, Horst; Wieghardt, Jan (2017): Anomaly detection in self-organizing industrial systems using pathlets. 2017 IEEE International Conference on Industrial Technology (ICIT), 22-25 March 2017, Toronto.

Kriegel, Hans-Peter; Schubert, Erich; Zimek, Arthur (2017): The (black) art of runtime evaluation: Are we comparing algorithms or implementations? In: Knowledge and information Systems, Vol. 52, No. 2: pp. 341-378

Leong, Siew Hoon; Parodi, Antonio; Kranzlmüller, Dieter (2017): A robust reliable energy-aware urgent computing resource allocation for flash-flood ensemble forecasting on HPC infrastructures for decision support. In: Future Generation Computer Systems-the international Journal of Escience, Vol. 68: pp. 136-149

Li, Qin; Shi, Xiaoshuang; Zhou, Linfei; Sao, Zhifeng; Guo, Zhenhua (2017): Active learning via local structure reconstruction. In: Pattern Recognition Letters, Vol. 92: pp. 81-88

Makinen, Veli; Staneva, Valeria; Tomescu, Alexandru I.; Valenzuela, Daniel; Wilzbach, Sebastian (2017): Interval scheduling maximizing minimum coverage. In: Discrete Applied Mathematics, Vol. 225: pp. 130-135

Matt, Christian; Hörndlein, Christian; Hess, Thomas (2017): Let the crowd be my peers? How researchers assess the prospects of social peer review. In: Electronic Markets, Vol. 27, No. 2: pp. 111-124

Mayer, Philip (2017): A taxonomy of cross-language linking mechanisms in open source frameworks. In: Computing, Vol. 99, No. 7: pp. 701-724

Migault, Daniel; Guggemos, Tobias; Killian, Sylvain; Laurent, Maryline; Pujolle, Guy; Warye, Jean Philippe (2017): Diet-ESP: IP layer security for IoT. In: Journal of Computer Security, Vol. 25, No. 2: pp. 173-203

Morlok, Tina; Hess, Thomas; Matt, Christian (2017): Führung und Privatheit in der digitalen Arbeitswelt. Auswirkungen einer erhöhten Transparenz. In: Datenschutz und Datensicherheit : DuD, Vol. 40, No. 5: pp. 310-314

Natarelli, Lucia; Hartmann, Petra; Wei, Yuanyuan; Geissler, Claudia; Csaba, Gergely; Zimmer, Ralf; Schober, Andreas (2017): MIR-103 target LNCWDR59 to affect endothelial proliferation balanced by NOTCH1 and WNT signaling co-activation. In: Atherosclerosis, Vol. 263, E5-E5

Parodi, Antonio; Kranzlmüller, Dieter; Clematis, Andrea; Danovaro, Emanuele; Galizia, Antonella; Garrote, Luis; Llasat, Maria Carmen; Caumont, Olivier; Richard, Evelyne; Harpham, Quillon; Siccardi, Franco; Ferraris, Luca; Rebora, Nicola; Delogu, Fabio; Fiori, Elisabetta; Molini, Luca; Foufoula-Georgiou, Efi; D'Agostino, Daniele (2017): DRIHM(2US): An e-Science Environment for Hydrometeorological Research on High-Impact Weather Events. In: Bulletin of the American Meteorological Society, Vol. 98, No. 10: pp. 2149-2166

Roider, Florian; Rümelin, Sonja; Pfleging, Bastian; Gross, Tom (2017): The Effects of Situational Demands on Gaze, Speech and Gesture Input in the Vehicle. In: Automotiveui 2017: Proceedings of the 9th international Conference On Automotive User interfaces and interactive Vehicular Applications: pp. 94-102

Ruhhammer, Christian; Baumann, Michael; Protschky, Valentin; Kloeden, Horst; Klanner, Felix; Stiller, Christoph (2017): Automated Intersection Mapping From Crowd Trajectory Data. In: Ieee Transactions On intelligent Transportation Systems, Vol. 18, No. 3: pp. 666-677

Schmid, Klaus Arthur; Zufle, Andreas; Emrich, Tobias; Renz, Matthias; Cheng, Reynold (2017): Uncertain Voronoi cell computation based on space decomposition. In: Geoinformatica, Vol. 21, No. 4: pp. 797-827

Schmidt, Albrecht ORCID: 0000-0003-3890-1990 (2017): Technologies to Amplify the Mind. In: Computer, Vol. 50, No. 10: pp. 102-106

Schubert, Erich; Sander, Jörg; Ester, Martin; Kriegel, Hans-Peter; Xu, Xiaowei (2017): DBSCAN Revisited, Revisited: Why and How You Should (Still) Use DBSCAN. In: ACM Transactions on Database Systems, Vol. 42, No. 3, 19

Shao, Junming; Wang, Xinzuo; Yang, Qinli; Plant, Claudia; Böhm, Christian (2017): Synchronization-based scalable subspace clustering of high-dimensional data. In: Knowledge and information Systems, Vol. 52, No. 1: pp. 83-111

Singh, Anna; Hess, Thomas (2017): How Chief Digital Officers Promote the Digital Transformation of their Companies. In: Mis Quarterly Executive, Vol. 16, No. 1: pp. 1-17

Unat, Didem; Dubey, Anshu; Höfler, Torsten; Shalf, John; Abraham, Mark; Bianco, Mauro; Chamberlain, Bradford L.; Cledat, Romain; Edwards, H. Carter; Finkel, Hal; Fürlinger, Karl; Hannig, Frank; Jeannot, Emmanuel; Kamil, Amir; Keasler, Jeff; Kelly, Paul H. J.; Leung, Vitus; Ltaief, Hatem; Maruyama, Naoya; Newburn, Chris J.; Pericas, Miquel (2017): Trends in Data Locality Abstractions for HPC Systems. In: Ieee Transactions On Parallel and Distributed Systems, Vol. 28, No. 10: pp. 3007-3020

Wyler, Emanuel; Menegatti, Jennifer; Franke, Vedran; Kocks, Christine; Boltengagen, Anastasiya; Hennig, Thomas; Theil, Kathrin; Rutkowski, Andrzej; Ferrai, Carmelo; Bär, Laura; Kermas, Lisa; Friedel, Caroline; Rajewsky, Nikolaus; Akalin, Altuna; Dölken, Lars; Gräßer, Friedrich; Landthaler, Markus (2017): Widespread activation of antisense transcription of the host genome during herpes simplex virus 1 infection. In: Genome Biology 18:209 [PDF, 1MB]

Zhou, Linfei; Plant, Claudia; Böhm, Christian (2017): Joint Gaussian Based Measures for Multiple-Instance Learning. 2017 IEEE 33rd International Conference on Data Engineering (ICDE), 19-22 April 2017, San Diego, CA.

Züfle, Andreas; Trajcevski, Goce; Pfoser, Dieter; Renz, Matthias; Rice, Matthew T.; Leslie, Timothy; Delamater, Paul; Emrich, Tobias (2017): Handling Uncertainty in Geo-Spatial Data. 2017 IEEE 33rd International Conference on Data Engineering (ICDE), 19-22 April 2017, San Diego, CA.

2016

Alt, Florian; Bulling, Andreas; Mecke, Lukas; Buschek, Daniel (2016): Attention, please! Comparing Features for Measuring Audience Attention Towards Pervasive Displays. Conference on Designing Interactive Systems, June 4 - 8, 2016, Brisbane, Australia.

Anthes, Christoph; García-Hernández, Rubén Jesús; Wiedemann, Markus; Kranzlmüller, Dieter (2016): State of the Art of Virtual Reality Technology. 2016 IEEE Aerospace Conference, 5-12 March 2016, Big Sky, Montana, USA.

Apel, Sven; Beyer, Dirk; Mordan, Vitaly; Mutilin, Vadim; Stahlbauer, Andreas (2016): On-the-Fly Decomposition of Specifications in Software Model Checking. 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, November 13 - 18, 2016, Seattle, WA, USA.

Baier, Stephan; Krompass, Denis; Tresp, Volker (2016): Learning Representations for Discrete Sensor Networks using Tensor Decompositions. 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI), 19-21 September 2016, Baden-Baden, Germany.

Barth, Stephan (2016): Deciding Monadic Second Order Logic over ω(omega)-Words by Specialized Finite Automata. In: Ábrahám, Erika; Huisman, Marieke (eds.) : Integrated formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Programming and Software Engineering, Vol. 9681. Cham: Springer. pp. 245-259

Beck, Michael Till; Felipe Botero, Juan; Samelin, Kai (2016): Resilient Allocation of Service Function Chains. 2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), 7-10 November 2016, Palo Alto, CA, USA.

Beck, Michael Till; Krenn, Stephan; Preiss, Franz-Stefan; Samelin, Kai (2016): Practical Signing-Right Revocation. In: Trust and Trustworthy Computing: 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings. Security and Cryptology, Vol. 9824. Cham: Springer. pp. 21-39

Belzner, Lenz; Beck, Michael Till; Gabor, Thomas; RoeIle, Harald; Sauer, Horst (2016): Software Engineering for Distributed Autonomous Real-Time Systems. SEsCPS '16, May 14 - 22, 2016, Austin, Texas.

Belzner, Lenz; Gabor, Thomas (2016): QoS-Aware Multi-Armed Bandits. 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 12-16 Sept. 2016, Augsburg, Germany.

Belzner, Lenz; Hennicker, Rolf; Wirsing, Martin (2016): OnPlan: A Framework for Simulation-Based Online Planning. In: Braga, Christiano; Ölveczky, Peter Csaba (eds.) : Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Lecture Notes in Computer Science, Vol. 9539. Springer. pp. 1-30

Berchtold, Evi; Csaba, Gergely; Zimmer, Ralf (2016): Evaluating Transcription Factor Activity Changes by Scoring Unexplained Target Genes in Expression Data.
In: PLOS ONE 11(10), e0164513 [PDF, 2MB]

Beyer, Dirk (2016): Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques. In: Margaria, Tiziana; Steffen, Bernhard (eds.) : Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 874-880

Beyer, Dirk; Dangl, Matthias; Dietsch, Daniel; Heizmann, Matthias (2016): Correctness Witnesses: Exchanging Verification Results between Verifiers. 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, November 13 - 18, 2016, Seattle, WA, USA.

Beyer, Dirk; Friedberger, Karlheinz (2016): A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker. In: Electronic Proceedings in Theoretical Computer Science, No. 233: pp. 61-71 [PDF, 313kB]

Beyer, Dirk; Lemberger, Thomas (2016): Symbolic Execution with CEGAR. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 195-211

Boidol, Jonathan; Hapfelmeier, Andreas (2016): Detecting Data Stream Dependencies on High Dimensional Data. International Conference on Internet of Things and Big Data IoTBD, April 23-25, 2016, Rome, Italy.

Buschek, Daniel (2016): There is more to biometrics than user identification: Making mobile interactions personal, secure and representative. In: It-information Technology, Vol. 58, No. 5: pp. 247-253

Buschek, Daniel; De Luca, Alexander; Alt, Florian (2016): Evaluating the Influence of Targets and Hand Postures on Touch-based Behavioural Biometrics. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. pp. 1349-1361

Buschek, Daniel; Hartmann, Fabian; Zezschwitz, Emanuel von; De Luca, Alexander; Alt, Florian (2016): SnapApp: Reducing Authentication Overhead with a Time-Constrained Fast Unlock Option. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. pp. 3736-3747

Böhm, Christian; Perdacher, Martin; Plant, Claudia (2016): Cache-oblivious Loops Based on a Novel Space-filling Curve. 2016 IEEE International Conference on Big Data (Big Data), 5-8 December 2016, Washington D.C., USA.

Campos, Guilherme O.; Zimek, Arthur; Sander, Jörg; Campello, Ricardo J. G. B.; Micenková, Barbora; Schubert, Erich; Assent, Ira; Houle, Michael E. (2016): On the evaluation of unsupervised outlier detection: measures, datasets, and an empirical study. In: Data Mining and Knowledge Discovery, Vol. 30, No. 4: pp. 891-927

Christ, Patrick Ferdinand; Lachner, Florian; Hösl, Axel; Menze, Bjoern; Diepold, Klaus; Butz, Andreas (2016): Human-Drone-Interaction: A Case Study to Investigate the Relation Between Autonomy and User Experience. In: Hua, Gang; Jégou, Hervé (eds.) : Computer Vision – ECCV 2016 Workshops: Amsterdam, The Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part II. Image Processing, Computer Vision, Pattern Recognition, and Graphics, Vol. 9914. Cham: Springer. pp. 238-253

Colley, Ashley; Seitz, Tobias; Lappalainen, Tuomas; Kranz, Matthias; Hakkila, Jonna (2016): Extending the Touchscreen Pattern Lock Mechanism with Duplicated and Temporal Codes. In: Advances in Human-Computer interaction, 8762892 [PDF, 2MB]

Dal Lago, Ugo; Schöpp, Ulrich (2016): Computation by interaction for space-bounded functional programming. In: Information and Computation, Vol. 248: pp. 150-194

Dalsgaard, Peter; Halskov, Kim; Wiethoff, Alexander (2016): Designing Media Architecture: Tools and Approaches for Addressing the Main Design Challenges. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. pp. 2562-2573

De Luca, Alexander; Zezschwitz, Emanuel von (2016): Usable privacy and security. In: It-information Technology, Vol. 58, No. 5: pp. 215-216

Decker, Hendrik; Misra, Sanjay (2016): Measure-Based Repair Checking by Integrity Checking. In: Computational Science and Its Applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V. Theoretical Computer Science and General Issues, Vol. 9790. Cham: Springer. pp. 530-543

Diaz, Carlos Mauricio Castano; Dorner, Birgit; Hußmann, Heinrich; Strijbos, Jan-Willem (2016): Eppur si Muove Considerations in the Research of Commercial Video Games. 2016 8th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES), 7-9 September 2016, Barcelona, Spain.

Ebert, Andre; Feld, Sebstian; Dorfmeister, Florian (2016): Segmented and Directional Impact Detection for Parked Vehicles using Mobile Devices. 2016 International Conference on Systems, Signals and Image Processing (IWSSIP), 23-25 May 2016, Bratislava, Slovakia.

Elffers, Jan; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc (2016): Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. In: Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9710. Cham: Springer. pp. 160-176

Esteban, Cristóbal; Staeck, Oliver; Baier, Stephan; Yang, Yinchong; Tresp, Volker (2016): Predicting Clinical Events by Combining Static and Dynamic Information using Recurrent Neural Networks. 2016 IEEE International Conference on Healthcare Informatics (ICHI), 4-7 October 2016, Chicago, Illinois, USA.

Esteban, Cristóbal; Tresp, Volker; Yang, Yinchong; Baier, Stephan; Krompaß, Denis (2016): Predicting the Co-Evolution of Event and Knowledge Graphs. 19th International Conference on Information Fusion (FUSION), 5-8 July 2016, Heidelberg, Germany.

Fakesch, Jens (25. July 2016): Multi-User 3D Augmented Reality Anwendung für die gemeinsame Interaktion mit virtuellen 3D Objekten. Master Thesis, Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München. [PDF, 31MB]

Feld, Sebastian; Schönfeld, Mirco; Werner, Martin (2016): Traversing Bitcoin's P2P network: insights into the structure of a decentralised currency. In: International Journal of Computational Science and Engineering, Vol. 13, No. 2: pp. 122-131

Feld, Sebastian; Werner, Martin; Linnhoff-Popien, Claudia (2016): Approximated Environment Features with Application to Trajectory Annotation. 2016 IEEE Symposium Series on Computational Intelligence (SSCI), 6-9 December 2016, Athens, Greece.

Frank, Anton; Heikkurinen, Matti; Jamitzky, Ferdinand; Satzger, Helmut; Kranzlmüller, Dieter (2016): In need of partnerships-An essay about the collaboration between computational sciences and IT services. In: Journal of Computational Science, Vol. 14: pp. 78-84

Franzke, Maximilian; Bleicher, Janina; Züfle, Andreas (2016): Finding Influencers in Temporal Social Networks Using Intervention Analysis. In: Cheema, Muhammad Aamir; Zhang, Wenjie; Chang, Lijun (eds.) : Databases Theory and Applications: 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings. Lecture Notes in Computer Science, Vol. 9877. Cham: Springer. pp. 3-16

Franzke, Maximilian; Emrich, Tobias; Zufle, Andreas; Renz, Matthias (2016): Indexing Multi-Metric Data. In: 2016 32nd IEEE international Conference On Data Engineering (ICDE): pp. 1122-1133

Fuchs, Tobias; Fürlinger, Karl (2016): A Multi-Dimensional Distributed Array Abstraction for PGAS. 2016 IEEE 18th International Conference on High Performance Computing and Communications; IEEE 14th International Conference on Smart City; IEEE 2nd International Conference on Data Science and Systems (HPCC/SmartCity/DSS), 12-14 Dec. 2016, Sydney, Australia.

Fulda, Johanna; Brehmer, Matthew; Munzner, Tamara (2016): TimeLineCurator: Interactive Authoring of Visual Timelines from Unstructured Text. In: Ieee Transactions On Visualization and Computer Graphics, Vol. 22, No. 1: pp. 300-309

Fysaraki, Maria; Hussmann, Heinrich (2016): Towards Tool Support for Team Awareness in Collaborative Argumentation. 8th International Conference on Computer Supported Education, April 21-23, 2016, Rome, Italy.

Fürlinger, Karl; Fuchs, Tobias; Kowalewski, Roger (2016): DASH: A C ++ PGAS Library for Distributed Data Structures and Parallel Algorithms. In: Proceedings of 2016 Ieee 18th international Conference On High Performance Computing and Communications;Ieee 14th international Conference On Smart City;Ieee 2Nd international Conference On Data Science and Systems (Hpcc/Smartcity/Dss): pp. 983-990

Gabor, Thomas; Belzner, Lenz; Kiermeier, Marie; Beck, Michael Till; Neitz, Alexander (2016): A Simulation-Based Architecture for Smart Cyber-Physical Systems. 2016 IEEE International Conference on Autonomic Computing (ICAC), July 18 - 22, 2016, Würzburg, Germany.

García-Hernández, Rubén Jesús; Anthes, Christoph; Wiedemann, Markus; Kranzlmüller, Dieter (2016): Perspectives for Using Virtual Reality to Extend Visual Data Mining in Information Visualization. 2016 IEEE Aerospace Conference, 5-12 March 2016, Big Sky, Montana, USA.

Geistlinger, Ludwig; Csaba, Gergely; Zimmer, Ralf (2016): Bioconductor's EnrichmentBrowser: seamless navigation through combined results of set- & network-based enrichment analysis. In: BMC Bioinformatics 17:45 [PDF, 1MB]

Goebl, Sebastian; Tonch, Annika; Böhm, Christian; Plant, Claudia (2016): MeGS: Partitioning Meaningful Subgraph Structures using Minimum Description Length. 2016 IEEE 16th International Conference on Data Mining (ICDM), 12-15 Dec. 2016, Barcelona, Catalonia, Spain.

Guillen, Oscar M.; Schmidt, Dawin; Sigl, Georg (2016): Practical Evaluation of Code Injection in Encrypted Firmware Updates. In: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (Date): pp. 325-330

Haeuslschmid, Renate; Shou, Yixin; O'Donovan, John; Burnett, Gary; Butz, Andreas (2016): First Steps towards a View Management Concept for Large-sized Head-up Displays with Continuous Depth. Automotive'UI 16, October 24 - 26, 2016, Ann Arbor, MI, USA.

Han, Jiawei; Liu, Yanheng; Sun, Xin; Song, Lijun (2016): Enhancing Data and Privacy Security in Mobile Cloud Computing through Quantum Cryptography. 2016 7th IEEE International Conference on Software Engineering and Service Science (ICSESS), 26-28 August 2016.

Hassani, Marwan; Lu, Yifeng; Wischnewsky, Jens; Seidl, Thomas (2016): A Geometric Approach for Mining Sequential Patterns in Interval-Based Data Streams. 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 24-29 July 2016, Vancouver, Canada.

Hassani, Marwan; Seidl, Thomas (2016): Clustering Big Data streams: recent challenges and contributions. In: It-information Technology, Vol. 58, No. 4: pp. 206-213

Haykin, Simon; Tresp, Volker; Benediktsson, Jon Atli (2016): Big Data: Practical Applications. In: Proceedings of the Ieee, Vol. 104, No. 11: pp. 2082-2084

Heikkurinen, Matti; Kranzlmüller, Dieter (2016): Environmental computing - applications, tools and data solutions. 2016 IEEE 12th International Conference on e-Science (e-Science), 23-27 October 2016, Baltimore, Maryland, USA.

Hennicker, Rolf (2016): A Calculus for Open Ensembles and their Composition. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 570-588

Hennicker, Rolf; Bidoit, Michel; Dang, Thanh-Son (2016): On Synchronous and Asynchronous Compatibility of Communicating Components. In: Lafuente, Alberto Lluch; Proença, José (eds.) : Coordination Models and Languages. 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proc. Programming and Software Engineering, Vol. 9686. Cham: Springer. pp. 138-156

Hoffmann, Eike Jens; Werner, Martin; Schauer, Lorenz (2016): Indoor Navigation Using Virtual Anchor Points. 2016 European Navigation Conference (ENC), 30 May 2016-2 June 2016, Helsinki, Finland.

Hogan, Trevor; Hornecker, Eva; Stusak, Simon; Jansen, Yvonne; Alexander, Jason; Moere, Andrew Vande; Hinrichs, Uta; Nolan, Kieran (2016): Tangible Data, explorations in data physicalization. In: Bakker, Saskia (ed.) : Proceedings of the Tenth Anniversary Conference on Tangible Embedded and Embodied Interaction : 14-17 February 2016, Eindhoven, the Netherlands. New York, N.Y: Association For Computing Machinery. pp. 753-756

Hoggenmüller, Marius; Wiethoff, Alexander (2016): LightBricks - A Physical Prototyping Toolkit for Do-it-Yourself Media Architecture. 3rd Conference on Media Architecture Biennale, June 01 - 04, 2016, Sydney, Australia.

Horn, Daniel; Bischl, Bernd (2016): Multi-Objective Parameter Configuration of Machine Learning Algorithms using Model-Based Optimization. 2016 IEEE Symposium Series on Computational Intelligence (SSCI), 6-9 December 2016, Athens, Greece.

Häuslschmid, Renate; Pfleging, Bastian; Alt, Florian (2016): A Design Space to Support the Development of Windshield Applications for the Car. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. pp. 5076-5091

Jakob, Matthias; Nikolaidis, Ioanis (2016): A Top-Down Aggregation Convergecast Schedule Construction. In: 2016 9th Ifip Wireless and Mobile Networking Conference (Wmnc): pp. 17-24

Jaskowiak, Pablo A.; Moulavi, Davoud; Furtado, Antonio C. S.; Campello, Ricardo J. G. B.; Zimek, Arthur; Sander, Jörg (2016): On strategies for building effective ensembles of relative clustering validity criteria. In: Knowledge and information Systems, Vol. 47, No. 2: pp. 329-354

Jähnichen, Stefan; Wirsing, Martin (2016): Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 639-641

Jähnichen, Stefan; Wirsing, Martin (2016): Rigorous Engineering of Collective Adaptive Systems Track Introduction. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Lecture Notes in Computer Science, Vol. 9952. Cham: Springer. pp. 535-538

Kowalewski, Roger; Fürlinger, Karl (2016): Nasty-MPI: Debugging Synchronization Errors in MPI-3 One-Sided Applications. In: Euro-Par 2016: Parallel Processing. 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9833. Cham: Springer. pp. 51-62

Kroiß, Christian; Bureš, Tomáš (2016): Logic-based modeling of information transfer in cyber-physical multi-agent systems. In: Future Generation Computer Systems-the international Journal of Escience, Vol. 56: pp. 124-139

Lachner, Florian; Nägelein, Philipp; Kowalski, Robert; Spann, Martin; Butz, Andreas (2016): Quantified UX: Towards a Common Organizational Understanding of User Experience. 9th Nordic Conference on Human-Computer Interaction NordiCHI '16, October 23 - 27, 2016, Gothenburg, Sweden.

Li, Lin; Fussenegger, Markus; Cichon, Gordon (2016): A Data Locality and Memory Contention Analysis Method in Embedded NUMA Multi-core Systems. 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC), 21-23 September 2016, Lyon, France.

Lohrer, Johannes-Y.; Kaltenthaler, Daniel; Kröger, Peer; Meijden, Christiaan van der; Obermaier, Henriette (2016): A generic framework for synchronized distributed data management in archaeological related disciplines. In: Future Generation Computer Systems-the international Journal of Escience, Vol. 56: pp. 558-570

Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. (2016): Dynamic Logic with Binders and its Application to the Development of Reactive Systems. In: Sampaio, Augusto; Wang, Farn (eds.) : Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9965. Cham: Springer. pp. 422-440

Maiterth, Matthias; Schulz, Martin; Kranzlmüller, Dieter; Rountree, Barry (2016): Power Balancing in an Emulated Exascale Environment. 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), 23-27 May 2016, Chicago, Illinois, USA.

Marouane, Chadly; Ebert, Andre; Linnhoff-Popien, Claudia; Christil, Maximilian (2016): Step and activity detection based on the orientation and scale attributes of the SURF algorithm. 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 4-7 October 2016, Alcalá de Henares, Madrid, Spain.

Marouane, Chadly; Maier, Marco; Leupold, Alexander; Linnhoff-Popien, Claudia (2016): Visual Odometry using motion vectors from visual feature points. 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 4-7 October 2016, Alcalá de Henares, Madrid, Spain.

Mauder, Markus; Bobkova, Yulia; Ntoutsi, Eirini (2016): GMMbuilder - User-Driven Discovery of Clustering Structure for Bioarchaeology. In: Berendt, Bettina (ed.) : Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2016, Riva del Garda, Italy, September 19-23, 2016, Proceedings, Part III. Lecture Notes in Artificial Intelligence, Vol. 9853. Cham: Springer. pp. 8-11

Mauder, Markus; Ntoutsi, Eirini; Kröger, Peer; Mayr, Christoph; Grupe, Gisela; Toncala, Anita; Hölzl, Stefan (2016): Applying Data Mining Methods for the Analysis of Stable Isotope Data in Bioarchaeology. 2016 IEEE 12th International Conference on e-Science (e-Science), 23-27 October 2016, Baltimore, Maryland, USA.

Mautz, Dominik; Böhm, Christian; Plant, Claudia (2016): Subspace Clustering Ensembles Through Tensor Decomposition. IEEE 16th International Conference on Data Mining Workshops (ICDMW), 12-15 Dec. 2016, Barcelona, Catalonia, Spain.

Mohr, Anja; Kothe, Tina; Hußmann, Heinrich (2016): DEMO - Web Application ArtEater. International Conference on Interaction Design and Children IDC '16, June 21 - 24, 2016, Manchester, United Kingdom.

Nickel, Maximilian; Murphy, Kevin; Tresp, Volker; Gabrilovich, Evgeniy (2016): A Review of Relational Machine Learning for Knowledge Graphs. In: Proceedings of the Ieee, Vol. 104, No. 1: pp. 11-33

Odaker, Thomas; Kranzlmüller, Dieter; Volkert, Jens (2016): GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses. In: Kofroň, Jan; Vojnar, Tomáš (eds.) : Mathematical and Engineering Methods in Computer Science : 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23–25, 2015, Revised Selected Papers. Programming and Software Engineering, Vol. 9548. Cham: Springer. pp. 107-118

Odaker, Thomas; Wiedemann, Markus; Anthes, Christoph; Kranzlmüller, Dieter (2016): Texture Analysis and Repacking for Improved Storage Efficiency. 22nd ACM Conference on Virtual Reality Software and Technology, November 02 - 04, 2016, Munich, Germany.

Palleis, Henri; Hußmann, Heinrich (2016): Indirect 2D Touch Panning: How Does It Affect Spatial Memory and Navigation Performance? In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. pp. 1947-1951

Pesch, Robert; Zimmer, Ralf (2016): Cross-species Conservation of context-specific networks. In: BMC Systems Biology 10:76 [PDF, 2MB]

Petrakis, Iosif (2016): A constructive function-theoretic approach to topological compactness. 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS '16, July 05 - 08, 2016, New York, NY, USA.

Pfleging, Bastian; Fekety, Drea K.; Schmidt, Albrecht ORCID: 0000-0003-3890-1990; Kun, Andrew L. (2016): A Model Relating Pupil Diameter to Mental Workload and Lighting Conditions. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. pp. 5776-5788

Richter, Jakob; Kotthaus, Helena; Bischl, Bernd; Marwedel, Peter; Rahnenführer, Jörg; Lang, Michel (2016): Faster Model-Based Optimization Through Resource-Aware Scheduling Strategies. In: Learning and Intelligent Optimization: 10th International Conference, LION 10, Ischia, Italy, May 29 - June 1, 2016, Revised Selected Papers. Theoretical Computer Science and General Issues, Vol. 10079. Cham: Springer. pp. 267-273

Ringsquandl, Martin; Lamparter, Steffen; Lepratti, Raffaello (2016): Graph-based Predictions and Recommendations in Flexible Manufacturing Systems. IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society, 23-26 October 2016, Florence, Italy.

Ringsquandl, Martin; Lamparter, Steffen; Thon, Ingo; Lepratti, Raffaello; Kröger, Peer (2016): Knowledge Graph Constraints for Multi-label Graph Classification. IEEE 16th International Conference on Data Mining Workshops (ICDMW), 12-15 Dec. 2016, Barcelona, Catalonia, Spain.

Scharwächter, Erik; Müller, Emmanuel; Donges, Jonathan; Hassani, Marwan; Seidl, Thomas (2016): Detecting Change Processes in Dynamic Networks by Frequent Graph Evolution Rule Mining. IEEE 16th International Conference on Data Mining (ICDM), 12-15 Dec. 2016, Barcelona, Catalonia, Spain.

Schauer, Lorenz; Dorfmeister, Florian; Wirth, Florian (2016): Analyzing Passive Wi-Fi Fingerprinting for Privacy-Preserving Indoor-Positioning. In: Proceedings of 2016 international Conference On Localization and Gnss (Icl-Gnss)

Schauer, Lorenz; Marcus, Philipp; Linnhoff-Popien, Claudia (2016): Towards Feasible Wi-Fi based Indoor Tracking Systems Using Probabilistic Methods. 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 4-7 October 2016, Alcalá de Henares, Madrid, Spain.

Schiffers, Michael; gentschen Felde, Nils; Kranzlmüller, Dieter (2016): I have a DRIHM: A case study in lifting computational science services up to the scientific mainstream. In: Journal of Computational Science, Vol. 14: pp. 85-89

Schmid, Klaus Arthur; Frey, Christian; Peng, Fengchao; Weiler, Michael; Zufle, Andreas; Chen, Lei; Renz, Matthias (2016): TrendTracker: Modelling the motion of trends in space and time. IEEE 16th International Conference on Data Mining Workshops (ICDMW), 12-15 Dec. 2016, Barcelona, Catalonia, Spain.

Schneider, Hanna; Frison, Katharina; Wagner, Julie; Butz, Andras (2016): CrowdUX: A Case for Using Widespread and Lightweight Tools in the Quest for UX. Conference on Designing Interactive Systems, June 4 - 8, 2016, Brisbane, Australia.

Schneider, Hanna; Hill, Susan; Blandford, Ann (2016): Patients Know Best: Qualitative Study on How Families Use Patient-Controlled Personal Health Records. In: Journal of Medical internet Research, Vol. 18, No. 2, e43 [PDF, 3MB]

Schneider, Hanna; Moser, Kilian; Butz, Andreas; Alt, Florian (2016): Understanding the Mechanics of Persuasive System Design: a Mixed-Method Theory-driven Analysis of the Mobile Fitness Coach Freeletics. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. pp. 309-320

Schordan, Markus; Beyer, Dirk; Lundberg, Jonas (2016): Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction). In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Theoretical Computer Science and General Issues, Vol. 9952. Cham: Springer. pp. 191-194

Schöppner, Patricia; Csaba, Gergely; Braun, Tatjana; Daake, Marina; Richter, Bettina; Lange, Oliver F.; Zacharias, Martin; Zimmer, Ralf; Haslbeck, Martin (2016): Regulatory Implications of Non-Trivial Splicing: Isoform 3 of Rab1A Shows Enhanced Basal Activity and Is Not Controlled by Accessory Proteins. In: Journal of Molecular Biology, Vol. 428, No. 8: pp. 1544-1557

Senjak, Christoph-Simon; Hofmann, Martin (2016): An Implementation of Deflate in Coq. In: Fitzgerald, John (ed.) : FM 2016: Formal Methods. 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Programming and Software Engineering, Vol. 9995. Cham: Springer. pp. 612-627

Steinberger, Fabius; Proppe, Patrick; Schroeter, Ronald; Alt, Florian (2016): CoastMaster: An Ambient Speedometer to Gamify Safe Driving. Automotive UI'16, October 24 - 26, 2016, Ann Arbor, MI, USA.

Stusak, Simon; Hobe, Moritz; Butz, Andreas (2016): If Your Mind Can Grasp It, Your Hands Will Help. In: Bakker, Saskia (ed.) : Proceedings of the Tenth Anniversary Conference on Tangible Embedded and Embodied Interaction : 14-17 February 2016, Eindhoven, the Netherlands. New York, N.Y: Association For Computing Machinery. pp. 92-99

Tausch, Sarah; Ta, Stephanie; Hußmann, Heinrich (2016): A Comparison of Cooperative and Competitive Visualizations for Co-located Collaboration. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. Association For Computing Machinery. pp. 5034-5039

Tresp, Volker; Overhage, J. Marc; Bundschus, Markus; Rabizadeh, Shahrooz; Fasching, Peter A.; Yu, Shipeng (2016): Going Digital: A Survey on Digitalization and Large-Scale Data Analytics in Healthcare. In: Proceedings of the Ieee, Vol. 104, No. 11: pp. 2180-2206

Tseng, Tsun-Ming; Li, Mengchu; Li, Bing; Ho, Tsung-Yi; Schlichtmann, Ulf (2016): Columba: co-layout synthesis for continuous-flow microfluidic biochips. DAC '16.

Ullrich, Daniel; Butz, Andreas (2016): Social Robots for the 21st Century. In: Computer, Vol. 49, No. 6: pp. 88-92

Velloso, Eduardo; Wirth, Markus; Weichel, Christian; Esteves, Augusto; Gellersen, Hans (2016): AmbiGaze: Direct Control of Ambient Devices by Gaze. Conference on Designing Interactive Systems, June 4 - 8, 2016, Brisbane, Australia.

Werner, Martin (2016): Privacy-protected communication for location-based services. In: Security and Communication Networks, Vol. 9, No. 2: pp. 130-138

Werner, Martin; Hahn, Carsten; Schauer, Lorenz (2016): DeepMoVIPS: Visual Indoor Positioning Using Transfer Learning. 2016 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 4-7 October 2016, Alcalá de Henares, Madrid, Spain.

Wurm, Luisa; García, Rubén; Anthes, Christoph; Kranzlmüller, Dieter; Höhl, Wolfgang (30. May 2016): Benefits of Tablet Interfaces for Immersive Visualization in Information Visualization. WSCG 2016 International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision, 30. Mai - 03. Juni 2016, Plzen / CZ. [PDF, 7MB]

Yang, Yinchong; Esteban, Cristóbal; Tresp, Volker (2016): Embedding Mapping Approaches for Tensor Factorization and Knowledge Graph Modelling. In: Sack, Harald (ed.) : The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 - June 2, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9678. Cham: Springer. pp. 199-213

Ye, Wei; Maurus, Samuel; Hubig, Nina; Plant, Claudia (2016): Generalized Independent Subspace Clustering. IEEE 16th International Conference on Data Mining (ICDM), 12-15 Dec. 2016, Barcelona, Catalonia, Spain.

Zach, Neta; Küffner, Robert; Atassi, Nazem; Chio, Adriano; Cudkowicz, Merit; Hardiman, Orla; Stolovitzky, Gustavo (2016): The ALS Stratification Prize-Using the Power of Big Data and Crowdsourcing for Catalyzing Breakthroughs in Amyotrophic Lateral Sclerosis (ALS). In: Neurology, Vol. 86

Zezschwitz, Emanuel von; Ebbinghaus, Sigrid; Hußmann, Heinrich; De Luca, Alexander (2016): You Can't Watch This! Privacy-Respectful Photo Browsing on Smartphones. In: Kaye, Jofish (ed.) : CHI 2016 : proceedings : the 34th Annual CHI Conference on Human Factors in Computing Systems : San Jose Convention Center, San Jose, CA, May 7-12. New York, N.Y.: Association For Computing Machinery. pp. 4320-4324

Zhang, Jian-Nan; Michel, Uwe; Lenz, Christof; Friedel, Caroline C.; Köster, Sarah; d'Hedouville, Zara; Tönges, Lars; Urlaub, Henning; Bähr, Mathias; Lingor, Paul; Koch, Jan C. (2016): Calpain-mediated cleavage of collapsin response mediator protein-2 drives acute axonal degeneration. In: Scientific Reports, Vol. 6, 37050 [PDF, 2MB]

Zhou, Linfei; Georgii, Elisabeth; Plant, Claudia; Böhm, Christian (2016): Covariate-Related Structure Extraction from Paired Data. In: Renda, M. Elena (ed.) : Information Technology in Bio- and Medical Informatics: 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings. Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 9832. Cham: Springer. pp. 151-162

Zhou, Linfei; Wackersreuther, Bianca; Fiedler, Frank; Plant, Claudia; Böhm, Christian (2016): Gaussian Component based Index for GMMs. In: 2016 IEEE 16th international Conference On Data Mining (ICDM): pp. 1365-1370

Zimmermann, Max; Ntoutsi, Eirini; Spiliopoulou, Myra (2016): Extracting opinionated (sub)features from a stream of product reviews using accumulated novelty and internal reorganization. In: Information Sciences, Vol. 329: pp. 876-899

da Silva, Vinicius Henrique; De Almeida Regitano, Luciana Correia; Geistlinger, Ludwig; Pértille, Fábio; Giachetto, Poliana Fernanda; Brassaloti, Ricardo Augusto; Morosini, Natália Silva; Zimmer, Ralf; Coutinho, Luiz Lehmann (2016): Genome-Wide Detection of CNVs and Their Association with Meat Tenderness in Nelore Cattle.
In: PLOS ONE 11(6), e0157711 [PDF, 1MB]

2015

Albrecht, Benjamin (2015): Computing all hybridization networks for multiple binary phylogenetic input trees. In: BMC Bioinformatics 16:236 [PDF, 1MB]

Bonfert, Thomas; Kirner, Evelyn; Csaba, Gergely; Zimmer, Ralf; Friedel, Caroline C. (2015): ContextMap 2: fast and accurate context-based RNA-seq mapping. In: BMC Bioinformatics 16:122 [PDF, 1MB]

Broschart, Daniel; Höhl, Wolfgang (1. April 2015): Augmented Reality in Architektur und Stadtplanung. Potenziale von Augmented Reality in Architektur und Stadtplanung. In: GIS Science, No. 1: pp. 20-29 [PDF, 847kB]

Erhard, Florian; Zimmer, Ralf (2015): Count ratio model reveals bias affecting NGS fold changes. In: Nucleic Acids Research, Vol. 43, No. 20, e136 [PDF, 1MB]

Murakawa, Yasuhiro; Hinz, Michael; Mothes, Janina; Schuetz, Anja; Uhl, Michael; Wyler, Emanuel; Yasuda, Tomoharu; Mastrobuoni, Guido; Friedel, Caroline C.; Dölken, Lars; Kempa, Stefan; Schmidt-Supprian, Marc; Blüthgen, Nils; Backofen, Rolf; Heinemann, Udo; Wolf, Jana; Scheidereit, Claus; Landthaler, Markus (2015): RC3H1 post-transcriptionally regulates A20 mRNA and modulates the activity of the IKK/NF-kappa B pathway. In: Nature Communications, Vol. 6, 7367 [PDF, 3MB]

Rutkowski, Andrzej J.; Erhard, Florian; L'Hernault, Anne; Bonfert, Thomas; Schilhabel, Markus; Crump, Colin; Rosenstiel, Philip; Efstathiou, Stacey; Zimmer, Ralf; Friedel, Caroline C.; Dölken, Lars (2015): Widespread disruption of host transcription termination in HSV-1 infection. In: Nature Communications, Vol. 6, 7126 [PDF, 1MB]

Schreiber, Konrad; Csaba, Gergely; Haslbeck, Martin; Zimmer, Ralf (2015): Alternative Splicing in Next Generation Sequencing Data of Saccharomyces cerevisiae.
In: PLOS ONE 10(10), e0140487 [PDF, 1MB]

Yang, Qinli; Boehm, Christian; Scholz, Miklas; Plant, Claudia; Shao, Junming (2015): Predicting Multiple Functions of Sustainable Flood Retention Basins under Uncertainty via Multi-Instance Multi-Label Learning. In: Water, Vol. 7, No. 4: pp. 1359-1377 [PDF, 2MB]

2014

Beard, Philippa M.; Griffiths, Samantha J.; Gonzalez, Orland; Haga, Ismar R.; Jowers, Tali Pechenick; Reynolds, Danielle K.; Wildenhain, Jan; Tekotte, Hille; Auer, Manfred; Tyers, Mike; Ghazal, Peter; Zimmer, Ralf; Haas, Jürgen (2014): A Loss of Function Analysis of Host Factors Influencing Vaccinia virus Replication by RNA Interference.
In: PLOS ONE 9(6), e98431 [PDF, 1MB]

Behmel, Andreas; Kienzl, Thomas; Höhl, Wolfgang (11. September 2014): [DEMO] MRI Design Review System. A Mixed Reality Interactive Design Review System for Architecture, Serious Games and Engineering using Game Engines, Standard Software, a Tablet Computer and Natural Interfaces. ISMAR 2014 International Symposium on Mixed and Augmented Reality, 08. - 12. September 2014, Technische Universität München. [PDF, 257kB]

Gulko, Miriam Kolog; Dyall-Smith, Mike; Gonzalez, Orland; Oesterhelt, Dieter (2014): How Do Haloarchaea Synthesize Aromatic Amino Acids?
In: PLOS ONE 9(9), e107475 [PDF, 2MB]

Höhl, Wolfgang (1. January 2014): Sim Games, Simulation und industrielle Anwendungen. In: Kaiser, Markus (ed.) : Ringvorlesung Games. Retro Gaming, Gamification, Augmented Reality, Vol. 1. 1. München: Verlag Dr. Gabriele Hooffacker / MedienCampus Bayern e.V.. pp. 80-97 [PDF, 682kB]

Luisa Bonet, Maria; Buss, Sam; Johannsen, Jan (2014): Improved Separations of Regular Resolution from Clause Learning Proof Systems. In: Journal of Artificial intelligence Research, Vol. 49: pp. 669-703

Schöpp, Ulrich (2014): On the Relation of Interaction Semantics to Continuations and Defunctionalization. In: Logical Methods in Computer Science, Vol. 10, No. 4, 10 [PDF, 618kB]

Windhager, Lukas; Zierer, Jonas; Kueffner, Robert (2014): Refining Ensembles of Predicted Gene Regulatory Networks Based on Characteristic Interaction Sets.
In: PLOS ONE 9(2), e84596 [PDF, 770kB]

2013

Brodt, Simon; Bry, François (2013): Analysing Temporal Relations – Beyond Windows, Frames and Predicates. [PDF, 487kB]

Erhard, Florian; Doelken, Lars; Jaskiewicz, Lukasz; Zimmer, Ralf (2013): PARma: identification of microRNA target sites in AGO-PAR-CLIP data. In: Genome Biology 14:R79 [PDF, 3MB]

2012

Brodt, Simon; Bry, François (2012): Temporal Stream Algebra. [PDF, 395kB]

Bry, François (2012): Human Computation and Economics. [PDF, 180kB]

Bry, François; Kneißl, Fabian; Weiand, Klara; Furche, Tim (2012): Term-Specific Eigenvector-Centrality in Multi-Relation Networks. In: International Journal of Social Network Mining, Vol. 1, No. 2: pp. 141-159 [PDF, 351kB]

Hausmann, Steffen; Scherr, Maximilian; Bry, François (2012): Complex Actions for Event Processing. [PDF, 299kB]

Kneißl, Fabian; Bry, François (2012): Borsa Parole – A Market for Linguistic Speculation. [PDF, 2MB]

Lindner, Robert; Friedel, Caroline C. (2012): A comprehensive evaluation of alignment algorithms in the context of RNA-seq.
In: PLOS ONE 7(12), e52403 [PDF, 416kB]

Pohl, Alexander; Gehlen-Baum, Vera; Bry, François (2012): Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study. In: International Journal of Emerging Technologies in Learning - iJET, Vol. 7, No. 1: pp. 33-41 [PDF, 561kB]

2011

Baumgart, Daniel; Pohl, Alexander; Gehlen-Baum, Vera; Bry, François (2011): Providing guidance on Backstage, a novel digital backchannel for large class teaching. [PDF, 406kB]

Brodt, Simon; Hausmann, Steffen; Bry, François (31. August 2011): D4.5 Implementation. [PDF, 406kB]

Hausmann, Steffen; Brodt, Simon; Bry, François (28. February 2011): Dura. Concepts and Examples. [PDF, 1MB]

Kotowski, Jakub; Bry, François; Eisinger, Norbert (2011): A Potpourri of Reason Maintenance Methods. Incremental View Maintenance Reconsidered. [PDF, 553kB]

Naeem, Haroon; Küffner, Robert; Zimmer, Ralf (2011): MIRTFnet: analysis of miRNA regulated transcription factors.
In: PLOS ONE 6(8), e22519 [PDF, 628kB]

2010

Brodt, Simon; Hausmann, Steffen; Bry, François (31. August 2010): Reactive Rules for Emergency Management. [PDF, 762kB]

Brodt, Simon; Hausmann, Steffen; Bry, François; Poppe, Olga; Eckert, Michael (30. June 2010): A Survey on IT-Techniques for a Dynamic Emergency Management in Large Infrastructures. [PDF, 658kB]

Gonzalez, Orland; Oberwinkler, Tanja; Mansueto, Locedie; Pfeiffer, Friedhelm; Mendoza, Eduardo; Zimmer, Ralf; Oesterhelt, Dieter (June 2010): Characterization of growth and metabolism of the haloalkaliphile Natronomonas pharaonis.
In: PLOS Computational Biology 6(6), e1000799 [PDF, 1MB]

Kessel, Moritz; Ruppel, Peter; Gschwandtner, Florian (2010): BIGML: A Location Model with Individual Waypoint Graphs for Indoor Location-based Services. In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Vol. 33, No. 4: pp. 261-267 [PDF, 2MB]

Küffner, Robert; Petri, Tobias; Windhager, Lukas; Zimmer, Ralf (20. September 2010): Petri Nets with Fuzzy Logic (PNFL): Reverse Engineering and Parametrization.
In: PLOS ONE 5(9), e12807 [PDF, 1MB]

Linnhoff-Popien, Claudia; Verclas, Stephan (2010): Open Innovation: die T-Systems-LMU München Kooperation „Mobile Business Applications“. In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Vol. 37, No. 1: pp. 41-47 [PDF, 1MB]

Naeem, Haroon; Küffner, Robert; Csaba, Gergely; Zimmer, Ralf (2010): miRSel: automated extraction of associations between microRNAs and genes from the biomedical literature. In: BMC Bioinformatics 11:135 [PDF, 1MB]

2009

Brodt, Simon; Bry, François; Eisinger, Norbert (2009): Search for More Declarativity. Backward Reasoning for Rule Languages Reconsidered. Third International Conference on Web Reasoning and Rule Systems, 25.- 26. Oktober 2009, Chantilly, Virginia, USA. [PDF, 348kB]

Bry, François; Furche, Tim; Linse, Benedikt (2009): Model Theory and Entailment Rules for RDF Containers, Collections and Reification. [PDF, 193kB]

Bry, François; Furche, Tim; Linse, Benedikt; Pohl, Alexander; Weinzierl, Antonius; Yestekhina, Olga (2009): Four Lessons in Versatility or How Query Languages Adapt to the Web. In: Bry, François (ed.) : (2009): Semantic Techniques for the Web : The REWERSE Perspective. Lecture Notes in Computer Science, Vol. 5500. Berlin u.a.: Springer. pp. 50-160 [PDF, 1MB]

Bry, François; Furche, Tim; Weiand, Klara (2009): Web Queries: From a Web of Data to a Semantic Web? Web Information Systems Engineering - WISE 2009, Proceedings of 10th International Conference on Web Systems Engineering (WISE2009), 5. - 7. Oktober 2009, Pozan, Polen. [PDF, 77kB]

Bry, François; Kotowski, Jakub (19. June 2009): Reason Maintenance - Conceptual Framework. [PDF, 732kB]

Csaba, Gergely; Birzele, Fabian; Zimmer, Ralf (2009): Systematic comparison of SCOP and CATH: a new gold standard for protein structure analysis. In: BMC Structural Biology 9:23 [PDF, 781kB]

Eckert, Michael; Bry, François (1. April 2009): Aktuelles Schlagwort "Complex Event Processing (CEP)". In: Informatik-Spektrum, Vol. 32, No. 2: pp. 163-167 [PDF, 144kB]

Eckert, Michael; Bry, François (2009): Complex Event Processing (CEP). [PDF, 134kB]

Gonzalez, Orland; Gronau, Susanne; Pfeiffer, Friedhelm; Mendoza, Eduardo; Zimmer, Ralf; Oesterhelt, Dieter (3. April 2009): Systems analysis of bioenergetics and growth of the extreme halophile Halobacterium salinarum.
In: PLOS Computational Biology 5(4), e1000332 [PDF, 1MB]

Kotowski, Jakub; Bry, François (2009): A Perfect Match for Reasoning, Explanation, and Reason Maintenance. Third International Conference, RR 2009, 25. - 26. Oktober 2009, Chantilly, USA. [PDF, 238kB]

Kotowski, Jakub; Stroka, Stephanie; Bry, François; Schaffert, Sebastian (2009): Dependency Updates and Reasoning in KiWi. [PDF, 82kB]

Landes, Jürgen; Paris, Jeff B.; Vencovská, Alena (2009): Instantial Relevance in Polyadic Inductive Logic. Logic and Its Applications, January 9-11 2009, Chennai.

2008

Bry, François; Furche, Tim; Ley, Clemens; Linse, Benedikt; Marnette, Bruno (2008): Taming Existence in RDF Querying. Second International Conference, RR 2008, 31. Oktober - 1. November 2008, Karlsruhe, Deutschland. [PDF, 74kB]

Bry, François; Furche, Tim; Linse, Benedikt (2008): Simulation Subsumption or Déjà vu on the Web. Second International Conference, RR 2008, 31. Oktober - 1. November 2008, Karlsruhe, Deutschland. [PDF, 253kB]

Bry, François; Kotowski, Jakub (1. September 2008): Reason Maintenance - State of the Art. [PDF, 538kB]

Morgan, Alexander A.; Lu, Zhiyong; Wang, Xinglong; Cohen, Aaron M.; Fluck, Juliane; Ruch, Patrick; Divoli, Anna; Fundel, Katrin; Leaman, Robert; Hakenberg, Joerg; Sun, Chengjie; Liu, Heng-hui; Torres, Rafael; Krauthammer, Michael; Lau, William W.; Liu, Hongfang; Hsu, Chun-Nan; Schuemie, Martijn; Cohen, K. Bretonnel; Hirschman, Lynette (2008): Overview of BioCreative II gene normalization. In: Genome Biology 9:S3 [PDF, 377kB]

Weiand, Klara; Bry, François; Furche, Tim (31. August 2008): Reasoning & Querying – State of the Art. Keyword-based querying for XML and RDF. [PDF, 972kB]

2007

Aßmann, Uwe; Berger, Sacha; Bry, François; Henriksson, Jakob; Pătrânjan, Paula-Lavinia (2007): A Generic Module System forWeb Rule Languages: Divide and Rule. International Symposium, RuleML 2007, 25. - 26.. Oktober 2007, Orlando, Florida, USA. [PDF, 521kB]

Berger, Sacha; Bry, François; Furche, Tim; Häusler, Andreas J. (2007): Completing Queries: Rewriting of IncompleteWeb Queries under Schema Constraints. RR 2007: First International Conference on Web Reasoning and Rule Systems, 7. - 8. Juni 2007, Innsbruck, Austria. [PDF, 159kB]

Berstel, Bruno; Bonnard, Philippe; Bry, François; Eckert, Michael; Patranjan, Paula-Lavinia (2007): Reactive Rules on the Web. Reasoning Web 2007 Third International Summer School, 3. - 7. September 2007, Dresden, Germany. [PDF, 496kB]

Bry, François; Eckert, Michael (2007): Rule-Based Composite Event Queries. The Language XChangeEQ and its Semantics. RR 2007: First International Conference on Web Reasoning and Rule Systems, 7. - 8. Juni 2007, Innsbruck, Austria. [PDF, 206kB]

Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard; Wei, Fang (2007): Foundations of Rule-Based Query Answering. Reasoning Web 2007 - Third International Summer School, 3. - 7. September 2007, Dresden, Germany. [PDF, 1MB]

Furche, Tim; Linse, Benedikt; Bry, François; Plexousakis, Dimitris; Gottlob, Georg (2007): RDF Querying. Language Constructs and Evaluation Methods Compared. Reasoning Web 2006: Summer School, 4. - 8. September 2006, Lisbon, Portugal. [PDF, 662kB]

Schaffert, Sebastian; Bry, François; Baumeister, Joachim (1. December 2007): Semantic Wiki. In: Informatik-Spektrum, Vol. 30, No. 6: pp. 434-439 [PDF, 310kB]

Uwe, Aßmann; Berger, Sacha; Bry, François; Furche, Tim; Henriksson, Jakob; Johannes, Jendrik (2007): Modular Web Queries — From Rules to Stores. OTM 2007 Workshops, 25. - 30. November 2007, Vilamoura, Portugal. [PDF, 193kB]

2006

Berger, Sacha; Bry, François; Furche, Tim; Linse, Benedikt; Schroeder, Andreas (2006): Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt. PPSWR 2006, 10. - 11. Juni 2006, Budva, Montenegro. [PDF, 645kB]

Bry, François; Eckert, Michael (2006): Twelve Theses on Reactive Rules for the Web. EDBT 2006 Workshops, 26. - 31. März 2006, Munich, Germany. [PDF, 152kB]

Bry, François; Eckert, Michael; Patranjan, Paula-Lavinia (2006): Twelve Theses on Reactive Rules for the Web. APWeb 2006 International Workshops, 16. - 18. Januar 2006, Harbin, China. [PDF, 145kB]

Bry, François; Eckert, Michael; Patrânjan, Paula-Lavinia; Romanenko, Inna (2006): Realizing Business Processes with ECA Rules. Benefits, Challenges, Limits. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, 10. - 11. Juni 2006, Budva, Montenegro. [PDF, 197kB]

Bry, François; Furche, Tim; Linse, Benedikt (2006): AMaχoS—Abstract Machine for Xcerpt. Architecture and Principles. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, 10. - 11. Juni 2006, Budva, Montenegro. [PDF, 3MB]

Bry, François; Furche, Tim; Linse, Benedikt (2006): Data Model and Query Constructs for Versatile Web Query Languages. State-of-the-Art and Challenges for Xcerpt. PPSWR 2006, 4th International Workshop Principles and Practice of Semantic Web Reasoning, 10. - 11. Juni 2006, Budva, Montenegro. [PDF, 230kB]

Bry, François; Marchiori, Massimo (2006): Ten Theses on Logic Languages for the Semantic Web. PPSWR 2005, Third International Workshop Principles and Practice of Semantic Web Reasoning, 11. - 16. September 2005, Schloss Dagstuhl, Deutschland. [PDF, 158kB]

Bry, François; Marchiori, Massimo (2006): Towards a Rule Interchange Language for the Web. [PDF, 179kB]

Spranger, Stephanie; Bry, François (2006): Temporal Data Modeling and Reasoning for Information Systems. [PDF, 280kB]

2005

Alferes, José Júlio; Berndtsson, Mikael; Bry, François; Eckert, Michael; Henze, Nicola; May, Wolfgang; Patrânjan, Paula Lavinia; Schroeder, Michael (28. February 2005): Use-cases on evolution. [PDF, 528kB]

Alferes, José Júlio; Berndtsson, Mikael; Bry, François; Eckert, Michael; Henze, Nicola; May, Wolfgang; Patrânjan, Paula Lavinia; Schroeder, Michael (28. February 2005): Use-cases on reactivity. [PDF, 100kB]

Bailey, James; Bry, François; Eckert, Michael; Patrânjan, Paula Lavinia (2005): Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web. [PDF, 175kB]

Bailey, James; Bry, François; Eckert, Michael; Patrânjan, Paula Lavinia (2005): Reactivity on the Web. Event Queries in XChange. [PDF, 210kB]

Bailey, James; Bry, François; Furche, Tim; Schaffert, Sebastian (2005): Web and Semantic Web Query Languages. A Survey. Reasoning Web First International Summer School 2005, 25. - 29. Juli 2005, Msida, Malta. [PDF, 875kB]

Bry, François; Colonna, François-Marie; Lorenz, Bernhard (2005): Multi-Paradigm Reasoning for Access to Heterogeneous GIS. [PDF, 213kB]

Bry, François; Manthey, Rainer (2005): Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo. [PDF, 125kB]

Bry, François; Rieß, Frank-André; Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. Extended Version. [PDF, 194kB]

Bry, François; Rieß, Frank-André; Spranger, Stephanie (2005): A Reasoner for Calendric and Temporal Data. [Short version]. [PDF, 149kB]

Bry, François; Rieß, Frank-André; Spranger, Stephanie (2005): A Type Language for Calendars. [Extended Version]. [PDF, 242kB]

Bry, François; Rieß, Frank-André; Spranger, Stephanie (2005): A Type Language for Calendars. [Short Version]. [PDF, 176kB]

Meuss, Holger; Schulz, Klaus U.; Weigel, Felix; Leonardi, Simone; Bry, François (1. March 2005): Visual exploration and retrieval of XML document collections with the generic system X2. In: International Journal on Digital Libraries, Vol. 5, No. 1: pp. 3-17 [PDF, 379kB]

Schaffert, Sebastian; Bry, François; Furche, Tim (15. April 2005): Initial Draft of a Possible Declarative Semantics for the Language. [PDF, 587kB]

2004

Alferes, José Júlio; Bailey, James; Berndtsson, Mikael; Bry, François; Dietrich, Jens; Kozlenkov, Alexander; May, Wolfgang; Patrânjan, Paula Lavinia; Pinto, Alexandre; Schroeder, Michael; Wagner, Gerd (5. August 2004): State-of-the-art on evolution and reactivity. [PDF, 817kB]

Bolzer, Oliver; Bry, François; Furche, Tim; Kraus, Sebastian; Schaffert, Sebastian (6. March 2004): Development of Use Cases, Part I. Illustrating the Functionality of a Versatile Web Query Language. [PDF, 728kB]

Bry, François; Furche, Tim; Badea, Liviu; Koch, Christoph; Schaffert, Sebastian; Berger, Sacha (15. August 2004): Identification of Design Principles. [PDF, 405kB]

Bry, François; Furche, Tim; Olteanu, Dan (2004): Datenströme. Informatik-Spektrum, 27 [PDF, 90kB]

Bry, François; Kröger, Peer (2004): Bioinformatics Databases: State of the Art and Research Perspectives. ADBIS 2003, 7th East European Conference Advances in Databases and Information Systems, 3. - 6. September 2003, Dresden, Deutschland. [PDF, 24kB]

Bry, François; Nagel, Wolfgang E.; Schroeder, Michael (1. December 2004): Grid-Computing. In: Informatik-Spektrum, Vol. 27, No. 6: pp. 542-545 [PDF, 83kB]

Bry, François; Patranjan, Paula-Lavinia; Schaffert, Sebastian (2004): Poster Presentation: Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web. ICLP 2004, 20th International Conference on Logic Programming, 6. - 10. September 2004, Saint-Malo, Frankreich. [PDF, 84kB]

Bry, François; Schaffert, Sebastian; Schroeder, Andreas (January 2004): A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. (Extended Abstract). [PDF, 133kB]

Furche, Tim; Bry, François; Schaffert, Sebastian; Orsini, Renzo; Horrocks, Ian; Kraus, Michael; Bolzer, Oliver (8. September 2004): Survey over Existing Query and Transformation Languages. [PDF, 917kB]

2003

Bry, François; Lorenz, Bernhard; Ohlbach, Hans Jürgen; Spranger, Stephanie (2003): On Reasoning on Time and Location on the Web. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, 9. - 13. Dezember 2003, Mumbai, India. [PDF, 154kB]

Bry, François; Schaffert, Sebastian (2003): An Entailment Relation for Reasoning on the Web. RuleML 2003, Second International Workshop on Rules and Rule Markup Languages, 20. October 2003, Sunibel Island, Florida, USA. [PDF, 317kB]

Bry, François; Wagner, Holger (September 2003): Collaborative Categorization on the Web. Approach, Prototype, and Experience Report. [PDF, 263kB]

Kraus, Michael; Bry, François; Kitagawa, Kazuhiro (2003): A Visual Language for Web Querying and Reasoning. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, 9. - 13. Dezember 2003, Mumbai, India. [PDF, 326kB]

Kraus, Michael; Bry, François; Kitagawa, Kazuhiro (2003): XML Document Adaptation Queries (XDAQ). An Approach to Adaptation Reasoning Using Web Query Languages. PPSWR 2003, International Workshop on Principles and Practice of Semantic Web Reasoning, 9. - 13. Dezember 2003, Mumbai, India. [PDF, 184kB]

Weigel, Felix; Meuss, Holger; Bry, François; Schulz, Klaus U. (2003): Content-Aware DataGuides for Indexing Large Collections of XML Documents. [PDF, 835kB]

2002

Bry, François; Kraus, Michael (2002): Adaptive Hypermedia made simple using HTML/XML Style Sheet Selectors. [PDF, 115kB]

Bry, François; Kraus, Michael (2002): Perspectives for Electronic Books in the World Wide Web Age. In: The Electronic Library, Vol. 20, No. 4: pp. 275-287 [PDF, 82kB]

Bry, François; Kröger, Peer (2002): Aktuelles Schlagwort "Datenbanken in der Bioinformatik". Informatik-Spektrum, 25 [PDF, 69kB]

Bry, François; Schaffert, Sebastian (2002): The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. NODe 2002 Web- and Database-Related Workshops, 7. - 10. Oktober 2002, Erfurt, Deutschland. [PDF, 219kB]

Bry, François; Schaffert, Sebastian (2002): Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. [PDF, 198kB]

Bry, François; Schaffert, Sebastian (2002): Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. ICLP 2002, 18th International Conference on Logic Programming, 29. Juli - 1. August 2002, Kopenhagen, Dänemark. [PDF, 190kB]

Schaffert, Dan; Meuss, Holger; Furche, Tim; Bry, François (2002): XPath: Looking Forward. EDBT 2002 Workshops XMLDM, MDDE, and YRWS, 24. - 28. März 2002, Prag, Tschechische Republik. [PDF, 276kB]

2001

Bry, François; Kraus, Michael; Olteanu, Dan; Schaffert, Sebastian (13. June 2001): Aktuelles Schlagwort "Semi-strukturierte Daten". Informatik-Spektrum, 24 [PDF, 100kB]

2000

Bry, François; Kröger, Peer (2000): A Molecular Biology Database Digest. [PDF, 1MB]

Bry, François; Yahya, Adnan (2000): Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. Journal of Automated Reasoning, 25 [PDF, 425kB]

1999

Backofen, Rolf; Bry, François; Clote, Peter; Kriegel, Hans-Peter; Seidl, Thomas; Schulz, Klaus (1. October 1999): Aktuelles Schlagwort Bioinformatik. Informatik-Spektrum, 22 [PDF, 397kB]

Backofen, Rolf; Böck, August; Bry, François; Buckenmaier, Andreas; Clote, Peter; Gabriel, Wilfried; Grosschedl, Rudolf; Hegering, Heinz-Gerd; Hermann, Reinhold G.; Kriegel, Hans-Peter; Kahmann, Regine; Kröger, Fred; Linnhoff-Popien, Claudia; Mewes, Hans-Werner; Weiss, Elisabeth H.; Wirsing, Martin (1999): Positionspapier zum Ausbau der Bioinformatik an der Ludwig-Maximilians-Universität München. [PDF, 469kB]

1998

Bry, François; Clote, Peter; Hegering, Heinz-Gerd; Kriegel, Hans-Peter; Kröger, Fred; Ludwig, Thomas; Wirsing, Martin (1998): Weißbuch über Perspektiven in der Ludwig-Maximilians-Universität zum Anbruch des Informationszeitalters. [PDF, 131kB]

1997

Bry, François; Torge, Sunna (December 1997): Model Generation for Appllications - A Tableaux Method. Complete for Finite Satisfiability. [PDF, 252kB]

Swoboda, Walter J.; Mühlberger, Nikolai; Weitkunat, Rolf; Schneeweiß, Sebastian (1997): Internet Surveys by Direct Mailing: An Innovative Way of Collecting Data. In: Social Science Computer Review, Vol. 15, No. 3: pp. 242-255 [PDF, 848kB]

1996

Bry, François; Seipel, Dietmar (1996): Schlagwort "Deduktive Datenbanken". Informatik-Spektrum, 19 [PDF, 82kB]

1995

Bry, François; Manthey, Rainer; Schütz, Heribert (1995): Deduktive Datenbanken. Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Themenheft Logische Programmierung [PDF, 168kB]

1994

Bry, François (1994): Constrained Query Answering. preliminary report. 1st International Workshop on Nonstandard Queries and Answers, 01. - 04.07.1991, Toulouse, Frankreich. [PDF, 2MB]

1993

Bry, François (1993): Towards Intelligent Databases. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS '93), 15.-18. Juni1993, Trondheim, Norway. [PDF, 2MB]

Bry, François; Boley, Harold; Geske, Ulrich (1993): Neuere Entwicklung der deklarativen KI-Programmierung. 17. Fachtagung für Künstliche Intelligenz, 13.09.-16.09.1993, Berlin. [PDF, 1MB]

1992

Bry, François (1992): Reflections on the Foundations of Meta-Programming. Is a Type Theory Needed? Joint International Conference and Symposium on Logic Programming, 11.1992, Washington. [PDF, 560kB]

1991

Bry, François (1991): Negation in Logic Programming. A Formalization in Constructive Logic. 1st Workshop on Information Systems and Artificial Intelligence: Integration Aspects, 19.03.-21.03.1990, Ulm. [PDF, 1MB]

Bry, François; Manthey, Rainer; Martens, Bernd (1991): Integrity Verification in Knowledge Bases. 2nd Russian Conference on Logic Programming (RCLP), 11.09.-16.09.1991, St. Petersburg. [PDF, 3MB]

1990

Bry, François (October 1990): Query Evaluation in Deductive Databases. Bottom-up and Top-down Reconciled. In: Data & knowledge engineering, Vol. 5, No. 4: pp. 289-312 [PDF, 1MB]

Bry, François (1990): Upside-down Deduction. Proceedings 6èmes Journées Bases de Données Avancées, 25. - 28.09.1990, Montpellier. [PDF, 1MB]

Bry, François (1990): Query Evaluation in Recursive Databases. Bottom-up and Top-down Reconciled. First International Conference on Deductive and Object-Oriented Databases (DOOD89), 4. - 6. Dezember1989, Kyoto, Japan. [PDF, 2MB]

Bry, François (1990): Intensional Updates. Abduction via Deduction. 7th International Conference on Logic Programming (ICLP), 18.06.-20.06.1990, Jerusalem. [PDF, 1MB]

1989

Bry, François (1989): Logic Programming as Constructivism. A Formalization and its Application to Databases. Symposium on Principles of Database Systems, 29.03.-31.03.1989, Philadelphia, Pennslyvania. [PDF, 2MB]

Bry, François (1989): Towards an Efficient Evaluation of General Queries. Quantifier and Disjunction Processing Revisited. ACM SIGMOD International Conference on the Management of Data, 31.5. - 2.6.1989, Portland, Oregon. [PDF, 2MB]

Bry, François (1989): Logical Rewritings for Improving the evaluation of Quantified Queries. 2nd Symposium on Mathematical Fundamentals of Database Systems, 26.06.-30.06.1989, Visegrád, Ungarn. [PDF, 1MB]

1988

Bry, François; Decker, Hendrik (1988): Préserver l'Intégrité d'une Base de Données Déductive. Une Méthode et son Implémentation. 4èmes Journées Bases de Données Avancées, 17. - 20.05.1988, Benodet, Frankreich. [PDF, 1MB]

Bry, François; Decker, Hendrik; Manthey, Rainer (1988): A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. International Conference on Extending Database Technology, 14.03.-18.03.1988, Venedig. [PDF, 1MB]

Bry, François; Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), 23.05.-26.05.1988, Argonne, Illinois. [PDF, 2MB]

1987

Bry, François; Manthey, Rainer (1987): Proving Finite Satisfiability of Deductive Databases. 1st Workshop on Computer Science Logic (CSL), 12.10.-16.10.1987, Karlsruhe. [PDF, 955kB]

Bry, François; Manthey, Rainer (1987): A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. 11th German Workshop on Artificial Intelligence (GWAI), 28.09. - 02.10.1987, Geseke bei Paderborn, Deutschland. [PDF, 1MB]

1986

Bry, François; Manthey, Rainer (1986): Sur la Validité des Schémas de Bases de Données. Journées Bases de Données Avancées, 22. - 25.04.1986, Giens, Frankreich. [PDF, 1MB]

Bry, François; Manthey, Rainer (1986): Checking Consistency of Database Constraints. A Logical Basis. 12th International Conference on Very Large Data Bases (VLDB), 25. - 28. August 1986, Kyoto, Japan. [PDF, 1MB]

Bry, François; Thauront, Gérard (September 1986): Gestion Interne de Données Statistiques. In: Modèles et Bases de Données, Vol. 4: pp. 25-38 [PDF, 2MB]

Bry, François; Thauront, Gérard (1986): Spécificités des SGBD statistiques. 4th International Symposium on Data Analysis and Informatics, 09.10.-11.10.1985, Versailles. [PDF, 1MB]

1984

Bry, François (1984): A Statistical Data Model. 6th symposium on Computional Statistics (COMPSTAT), 21.08.-22.08.1984, Prag. [PDF, 340kB]

1983

Bry, François (1983): On the Factorization of Graphs with Exactly One Vertex of Infinite Degree. In: Discrete Mathematics, Vol. 43, No. 2-3: pp. 317-320 [PDF, 7MB]

Bry, François (1983): On the Number of 1-Factors of Locally Finite Graphs. In: Journal of combinatorial theory, Vol. 34, No. 1: pp. 48-57 [PDF, 374kB]

Bry, François (1983): Sur les Couplages dans les Graphes localement finis. In: Annals of Discrete Mathematics, Vol. 17: pp. 143-147 [PDF, 714kB]

1982

Bry, François; Las Vergnas, Michel (1982): The Edmonds-Gallai Decomposition for Matchings in Locally Finite Graphs. In: Combinatorica, Vol. 2, No. 3: pp. 229-235 [PDF, 1MB]

1981

Bry, François (February 1981): Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members. In: Journal of Combinatorial Theory - Series B, Vol. 30, No. 1: pp. 100-102 [PDF, 123kB]

Bry, François (1981): Sur les Couplages dans les Graphes Infinis. Dissertation, Université Pierre et Marie Curie, Paris 6
[PDF, 5MB]

1978

Amzallag, Émile; Piccioli, Norbert; Bry, François (1978): Introduction a la statistique. Paris: Hermann Collection Methodes. [PDF, 17MB]

This list was generated on Thu Sep 19 02:50:39 2019 CEST.