Logo Logo
Eine Ebene nach oben
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0
Gruppiert nach: Veröffentlichungsdatum | Autoren | Dokumententyp | Sprache | Band
Springe zu: 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
Anzahl der Publikationen auf dieser Ebene: 306

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, Nr. 1

2017

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

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

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

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

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

Bry, François; Pohl, Alexander Yong-Su (2017): Large class teaching with Backstage. In: Journal of Applied Research in Higher Education, Vol. 9, Nr. 1: S. 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, Nr. 7: S. 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, Nr. 3: S. 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

Feld, Sebastian; Lyu, Hao; Keler, Andreas (2017): Identifying Divergent Building Structures Using Fuzzy Clustering of Isovist Features. In: Progress in Location-Based Services 2016: S. 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, Nr. 703: S. 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

Gruber, Hermann; Holzer, Markus; Jakobi, Sebastian (2017): More on deterministic and nondeterministic finite cover automata. In: Theoretical Computer Science, Vol. 679: S. 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, Nr. 3: S. 313-323

Hoffmann, Eike Jens; Schauer, Lorenz; Schönfeld, Mirco; Kraus, Maximilian (2017): Robust Pedestrian Dead Reckoning using Anchor Point Recalibration. In: 2017 international Conference On indoor Positioning and indoor Navigation (Ipin)

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

Höhl, Wolfgang (9. März 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, Nr. 4: S. 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, Nr. 1: S. 87-120

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

Kiermeier, Marie; Feld, Sebastian; Linnhoff-Popien, Claudia (2017): Root Cause Analysis for Global Anomalous Events in Self-Organizing Industrial Systems. In: 2017 Ieee 21St international Conference On intelligent Engineering Systems (ines): S. 163-168

Kiermeier, Marie; Werner, Martin; Linnhoff-Popien, Claudia; Sauer, Horst; Wieghardt, Jan (2017): Anomaly detection in self-organizing industrial systems using pathlets. In: 2017 Ieee international Conference On industrial Technology (Icit): S. 1226-1231

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, Nr. 2: S. 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: S. 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: S. 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: S. 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, Nr. 2: S. 111-124

Mayer, Philip (2017): A taxonomy of cross-language linking mechanisms in open source frameworks. In: Computing, Vol. 99, Nr. 7: S. 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, Nr. 2: S. 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, Nr. 5: S. 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, Nr. 10: S. 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: S. 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, Nr. 3: S. 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, Nr. 4: S. 797-827

Schmidt, Albrecht (2017): Technologies to Amplify the Mind. In: Computer, Vol. 50, Nr. 10: S. 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, Nr. 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, Nr. 1: S. 83-111

Singh, Anna; Hess, Thomas (2017): How Chief Digital Officers Promote the Digital Transformation of their Companies. In: Mis Quarterly Executive, Vol. 16, Nr. 1: S. 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, Nr. 10: S. 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, Vol. 18, 209

Zhou, Linfei; Plant, Claudia; Böhm, Christian (2017): Joint Gaussian Based Measures for Multiple-Instance Learning. In: 2017 Ieee 33Rd international Conference On Data Engineering (Icde 2017): S. 203-206

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. In: 2017 Ieee 33Rd international Conference On Data Engineering (Icde 2017): S. 1467-1470

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 (Hrsg.): Integrated formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Programming and Software Engineering, Bd. 9681. Cham: Springer. S. 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, Bd. 9824. Cham: Springer. S. 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 (Hrsg.): 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, Bd. 9539. Springer. S. 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 (Hrsg.): 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, Bd. 9952. Cham: Springer. S. 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, Nr. 233: S. 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, Bd. 9952. Cham: Springer. S. 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, Nr. 5: S. 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 (Hrsg.): 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. S. 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 (Hrsg.): 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. S. 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, Nr. 4: S. 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é (Hrsg.): 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, Bd. 9914. Cham: Springer. S. 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: S. 150-194

Dalsgaard, Peter; Halskov, Kim; Wiethoff, Alexander (2016): Designing Media Architecture: Tools and Approaches for Addressing the Main Design Challenges. In: Kaye, Jofish (Hrsg.): 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. S. 2562-2573

De Luca, Alexander; Zezschwitz, Emanuel von (2016): Usable privacy and security. In: It-information Technology, Vol. 58, Nr. 5: S. 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, Bd. 9790. Cham: Springer. S. 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, Bd. 9710. Cham: Springer. S. 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. Juli 2016): Multi-User 3D Augmented Reality Anwendung für die gemeinsame Interaktion mit virtuellen 3D Objekten. Masterarbeit, Fakultät für Mathematik, Informatik und Statistik, 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, Nr. 2: S. 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: S. 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 (Hrsg.): Databases Theory and Applications: 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings. Lecture Notes in Computer Science, Bd. 9877. Cham: Springer. S. 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): S. 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, Nr. 1: S. 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): S. 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: Bioconductor's EnrichmentBrowser: seamless navigation through combined results of set- & network-based enrichment analysis. In: BMC Bioinformatics 2016, 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): S. 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, Nr. 4: S. 206-213

Haykin, Simon; Tresp, Volker; Benediktsson, Jon Atli (2016): Big Data: Practical Applications. In: Proceedings of the Ieee, Vol. 104, Nr. 11: S. 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, Bd. 9952. Cham: Springer. S. 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é (Hrsg.): 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, Bd. 9686. Cham: Springer. S. 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 (Hrsg.): 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. S. 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 (Hrsg.): 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. S. 5076-5091

Jakob, Matthias; Nikolaidis, Ioanis (2016): A Top-Down Aggregation Convergecast Schedule Construction. In: 2016 9th Ifip Wireless and Mobile Networking Conference (Wmnc): S. 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, Nr. 2: S. 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, Bd. 9952. Cham: Springer. S. 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, Bd. 9952. Cham: Springer. S. 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, Bd. 9833. Cham: Springer. S. 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: S. 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: S. 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 (Hrsg.): Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. Theoretical Computer Science and General Issues, Bd. 9965. Cham: Springer. S. 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 (Hrsg.): 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, Bd. 9853. Cham: Springer. S. 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, Nr. 1: S. 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áš (Hrsg.): 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, Bd. 9548. Cham: Springer. S. 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 (Hrsg.): 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. S. 1947-1951

Pesch, Robert; Zimmer, Ralf: Cross-species Conservation of context-specific networks. In: BMC Systems Biology 2016, 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; Kun, Andrew L. (2016): A Model Relating Pupil Diameter to Mental Workload and Lighting Conditions. In: Kaye, Jofish (Hrsg.): 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. S. 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, Bd. 10079. Cham: Springer. S. 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: S. 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, Nr. 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 (Hrsg.): 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. S. 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, Bd. 9952. Cham: Springer. S. 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, Nr. 8: S. 1544-1557

Senjak, Christoph-Simon; Hofmann, Martin (2016): An Implementation of Deflate in Coq. In: Fitzgerald, John (Hrsg.): FM 2016: Formal Methods. 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Programming and Software Engineering, Bd. 9995. Cham: Springer. S. 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 (Hrsg.): 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. S. 92-99

Tausch, Sarah; Ta, Stephanie; Hußmann, Heinrich (2016): A Comparison of Cooperative and Competitive Visualizations for Co-located Collaboration. In: Kaye, Jofish (Hrsg.): 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. S. 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, Nr. 11: S. 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, Nr. 6: S. 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, Nr. 2: S. 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. Mai 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 (Hrsg.): 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, Bd. 9678. Cham: Springer. S. 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 (Hrsg.): 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. S. 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 (Hrsg.): 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, Bd. 9832. Cham: Springer. S. 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): S. 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: S. 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: Computing all hybridization networks for multiple binary phylogenetic input trees. In: BMC Bioinformatics 2015, 16:236 [PDF, 1MB]

Bonfert, Thomas; Kirner, Evelyn; Csaba, Gergely; Zimmer, Ralf; Friedel, Caroline C.: ContextMap 2: fast and accurate context-based RNA-seq mapping. In: BMC Bioinformatics 2015, 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, Nr. 1: S. 20-29 [PDF, 847kB]

Erhard, Florian; Zimmer, Ralf (2015): Count ratio model reveals bias affecting NGS fold changes. In: Nucleic Acids Research, Vol. 43, Nr. 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, Nr. 4: S. 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. Januar 2014): Sim Games, Simulation und industrielle Anwendungen. In: Kaiser, Markus (Hrsg.): Ringvorlesung Games. Retro Gaming, Gamification, Augmented Reality, Bd. 1. 1. München: Verlag Dr. Gabriele Hooffacker / MedienCampus Bayern e.V.. S. 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: S. 669-703

Schöpp, Ulrich (2014): On the Relation of Interaction Semantics to Continuations and Defunctionalization. In: Logical Methods in Computer Science, Vol. 10, Nr. 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: PARma: identification of microRNA target sites in AGO-PAR-CLIP data. In: Genome Biology 2013, 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, Nr. 2: S. 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, Nr. 1: S. 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. Februar 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. Juni 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 (Juni 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, Nr. 4: S. 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, Nr. 1: S. 41-47 [PDF, 1MB]

Naeem, Haroon; Küffner, Robert; Csaba, Gergely; Zimmer, Ralf: miRSel: automated extraction of associations between microRNAs and genes from the biomedical literature. In: BMC Bioinformatics 2010, 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 (Hrsg.): (2009): Semantic Techniques for the Web : The REWERSE Perspective. Lecture Notes in Computer Science, Bd. 5500. Berlin u.a.: Springer. S. 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. Juni 2009): Reason Maintenance - Conceptual Framework. [PDF, 732kB]

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

Eckert, Michael; Bry, François (1. April 2009): Aktuelles Schlagwort "Complex Event Processing (CEP)". In: Informatik-Spektrum, Vol. 32, Nr. 2: S. 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: Overview of BioCreative II gene normalization. In: Genome Biology 2008, 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. Dezember 2007): Semantic Wiki. In: Informatik-Spektrum, Vol. 30, Nr. 6: S. 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. Februar 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. Februar 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. März 2005): Visual exploration and retrieval of XML document collections with the generic system X2. In: International Journal on Digital Libraries, Vol. 5, Nr. 1: S. 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. März 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. Dezember 2004): Grid-Computing. In: Informatik-Spektrum, Vol. 27, Nr. 6: S. 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 (Januar 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, Nr. 4: S. 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. Juni 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. Oktober 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 (Dezember 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, Nr. 3: S. 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 (Oktober 1990): Query Evaluation in Deductive Databases. Bottom-up and Top-down Reconciled. In: Data & knowledge engineering, Vol. 5, Nr. 4: S. 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: S. 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, Nr. 2-3: S. 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, Nr. 1: S. 48-57 [PDF, 374kB]

Bry, François (1983): Sur les Couplages dans les Graphes localement finis. In: Annals of Discrete Mathematics, Vol. 17: S. 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, Nr. 3: S. 229-235 [PDF, 1MB]

1981

Bry, François (Februar 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, Nr. 1: S. 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]

Diese Liste wurde am Thu Feb 21 02:08:02 2019 CET erstellt.