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: 2021 | 2020 | 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: 559.

2021

Ballis, Anja; Gloe, Markus; Duda, Florian; Heindl, Fabian; Hüttl, Ernst; Kolb, Daniel ORCID: 0000-0001-9645-3319; Schwendemann, Lisa (eds.) (2021): Interaktive 3D-Zeugnisse von Holocaust-Überlebenden. Chancen und Grenzen einer innovativen Technologie. Eckert. Dossiers, Vol. 1. [PDF, 3MB]

Kolb, Daniel ORCID: 0000-0001-9645-3319 (2021): Evaluation of the Interaction with a Digital 3D Testimony. Between Emotion and Technology. In: Ballis, Anja; Gloe, Markus; Duda, Florian; Heindl, Fabian; Hüttl, Ernst; Kolb, Daniel; Schwendemann, Lisa (eds.) : Interaktive 3D-Zeugnisse von Holocaust-Überlebenden. Eckert. Dossiers, Vol. 1. Braunschweig: Georg-Eckert-Institut für internationale Schulbuchforschung. pp. 63-82 [PDF, 709kB]

Kolb, Daniel ORCID: 0000-0001-9645-3319; Kranzlmüller, Dieter ORCID: 0000-0002-8319-0123 (10. May 2021): Preserving Conversations with Contemporary Holocaust Witnesses. Evaluation of Interactions with a Digital 3D Testimony. 2021 CHI Conference on Human Factors in Computing Systems, May 2021, Yokohama, Japan. [PDF, 5MB]

Weitkämper, Felix ORCID: 0000-0002-3895-8279 (1. April 2021): Statistical Relational Artificial Intelligence with Relative Frequencies. A Contribution to Modelling and Transfer Learning across Domain Sizes. [PDF, 369kB]

Weitkämper, Felix ORCID: 0000-0002-3895-8279 (2021): Axiomatizing Boolean Differentiation. In: Große, Daniel; Drechsler, Rolf (eds.) : Recent Advances in Boolean Techniques. Springer International Publishing. [Forthcoming] [PDF, 333kB]

2020

Beyer, Dirk ORCID: 0000-0003-4832-7662; Huisman, Marieke (2020): Selected and Extended Papers from TACAS 2018: Preface. In: Journal of Automated Reasoning, Vol. 64, No. 7: pp. 1331-1332 [PDF, 172kB]

Beyer, Dirk ORCID: 0000-0003-4832-7662; Huisman, Marieke (2020): Tools for the construction and analysis of systems. In: International Journal on Software Tools for Technology Transfer, Vol. 22: pp. 685-687 [PDF, 213kB]

Bry, François (2020): In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming. In: Theory and Practice of Logic Programming, Vol. 20, No. 1: pp. 99-146 [PDF, 443kB]

Danciu, Vitalian (2020): Organisational Security Dependent on Individual Privacy. In: SN Computer Science, Vol. 1, No. 4, 205 [PDF, 743kB]

Danciu, Vitalian; Tran, Cuong Ngoc (2020): Side-Effects Causing Hidden Conflicts in Software-Defined Networks. In: SN Computer Science, Vol. 1, No. 5, 278 [PDF, 1MB]

De Nicola, Rocco; Jähnichen, Stefan; Wirsing, Martin (2020): Rigorous engineering of collective adaptive systems: special section. In: International Journal on Software Tools for Technology Transfer, Vol. 22, No. 4: pp. 389-397 [PDF, 248kB]

Gabor, Thomas; Sedlmeier, Andreas; Phan, Thomy; Ritz, Fabian; Kiermeier, Marie; Belzner, Lenz; Kempter, Bernhard; Klein, Cornel; Sauer, Horst; Schmid, Reiner; Wieghardt, Jan; Zeller, Marc; Linnhoff-Popien, Claudia (2020): The scenario coevolution paradigm: adaptive quality assurance for adaptive systems. In: International Journal on Software Tools for Technology Transfer, Vol. 22: pp. 457-476 [PDF, 1MB]

Hesse, Wolfgang (2020): Das Zerstörungspotenzial von Big Data und Künstlicher Intelligenz für die Demokratie. In: Informatik Spektrum, Vol. 43: pp. 339-346 [PDF, 458kB]

Lemberger, Thomas (2020): Plain random test generation with PRTest. In: International Journal on Software Tools for Technology Transfer [PDF, 399kB]

Mai, Thong Le; Chung, Minh Thanh; Le, Van Thanh; Thoai, Nam (2020): From Transcripts to Insights for Recommending the Curriculum to University Students. In: SN Computer Science, Vol. 1, No. 6, 323 [PDF, 2MB]

Rothe, Sylvia; Schmidt, Alexander; Montagud, Mario; Buschek, Daniel; Hußmann, Heinrich (2020): Social viewing in cinematic virtual reality: a design space for social movie applications. In: Virtual Reality [PDF, 1MB]

Trautmann, Dietrich; Fromm, Michael; Tresp, Volker; Seidl, Thomas; Schütze, Hinrich (2020): Relational and Fine-Grained Argument Mining. The LMU Munich project ReMLAV within the DFG Priority Program RATIO “Robust Argumentation Machines”. In: Datenbank-Spektrum, Vol. 20, No. 2: pp. 99-105 [PDF, 365kB]

Weitkämper, Felix ORCID: 0000-0002-3895-8279 (17. April 2020): Scaling the weight parameters in Markov logic networks and relational logistic regression models. [PDF, 476kB]

Weitkämper, Felix ORCID: 0000-0002-3895-8279 (2. June 2020): The first-order theory of boolean differentiation. Extended version. [PDF, 404kB]

2019

Abada, A.; Abbrescia, M.; AbdusSalam, S. S.; Abdyukhanov, I.; Fernandez, J. Abelleira; Abramov, A.; Aburaia, M.; Acar, A. O.; Adzic, P. R.; Agrawal, P.; Aguilar-Saavedra, J. A.; Aguilera-Verdugo, J. J.; Aiba, M.; Aichinger, I.; Aielli, G.; Akay, A.; Akhundov, A.; Aksakal, H.; Albacete, J. L.; Albergo, S.; Alekou, A.; Aleksa, M.; Aleksan, R.; Fernandez, R. M. Alemany; Alexahin, Y.; Alia, R. G.; Alioli, S.; Tehrani, N. Alipour; Allanach, B. C.; Allport, P. P.; Altinli, M.; Altmannshofer, W.; Ambrosio, G.; Amorim, D.; Amstutz, O.; Anderlini, L.; Andreazza, A.; Andreini, M.; Andriatis, A.; Andris, C.; Andronic, A.; Angelucci, M.; Antinori, F.; Antipov, S. A.; Antonelli, M.; Antonello, M.; Antonioli, P.; Antusch, S.; Anulli, F.; Apolinario, L.; Apollinari, G.; Apollonio, A.; Appelo, D.; Appleby, R. B.; Apyan, A.; Apyan, A.; Arbey, A.; Arbuzov, A.; Arduini, G.; Ari, V.; Arias, S.; Armesto, N.; Arnaldi, R.; Arsenyev, S. A.; Arzeo, M.; Asai, S.; Aslanides, E.; Assmann, R. W.; Astapovych, D.; Atanasov, M.; Atieh, S.; Attie, D.; Auchmann, B.; Audurier, A.; Aull, S.; Aumon, S.; Aune, S.; Avino, F.; Avrillaud, G.; Aydin, G.; Azatov, A.; Azuelos, G.; Azzi, P.; Azzolini, O.; Azzurri, P.; Bacchetta, N.; Bacchiocchi, E.; Bachacou, H.; Baek, Y. W.; Baglin, V.; Bai, Y.; Baird, S.; Baker, M. J.; Baldwin, M. J.; Ball, A. H.; Ballarino, A.; Banerjee, S.; Barber, D. P.; Barducci, D.; Barjhoux, P.; Barna, D.; Barnafoldi, G. G.; Barnes, M. J.; Barr, A.; Garcia, J. Barranco; da Costa, J. Barreiro Guimaraes; Bartmann, W.; Baryshevsky, V.; Barzi, E.; Bass, S. A.; Bastianin, A.; Baudouy, B.; Bauer, F.; Bauer, M.; Baumgartner, T.; Bautista-Guzman, I.; Bayindir, C.; Beaudette, F.; Bedeschi, F.; Beguin, M.; Bellafont, I.; Bellagamba, L.; Bellegarde, N.; Belli, E.; Bellingeri, E.; Bellini, F.; Bellomo, G.; Belomestnykh, S.; Bencivenni, G.; Benedikt, M.; Bernardi, G.; Bernardi, J.; Bernet, C.; Bernhardt, J. M.; Bernini, C.; Berriaud, C.; Bertarelli, A.; Bertolucci, S.; Besana, M. I.; Besancon, M.; Beznosov, O.; Bhat, P.; Bhat, C.; Biagini, M. E.; Biarrotte, J. -L.; Chevalier, A. Bibet; Bielert, E. R.; Biglietti, M.; Bilei, G. M.; Bilki, B.; Biscari, C.; Bishara, F.; Blanco-Garcia, O. R.; Blanquez, F. R.; Blekman, F.; Blondel, A.; Bluemlein, J.; Boccali, T.; Boels, R.; Bogacz, S. A.; Bogomyagkov, A.; Boine-Frankenheim, O.; Boland, M. J.; Bologna, S.; Bolukbasi, O.; Bomben, M.; Bondarenko, S.; Bonvini, M.; Boos, E.; Bordini, B.; Bordry, F.; Borghello, G.; Borgonovi, L.; Borowka, S.; Bortoletto, D.; Boscherini, D.; Boscolo, M.; Boselli, S.; Bosley, R. R.; Bossu, F.; Botta, C.; Bottura, L.; Boughezal, R.; Boutin, D.; Bovone, G.; Jelisavic, I. Bozovic; Bozbey, A.; Bozzi, C.; Bozzini, D.; Braccini, V.; Braibant-Giacomelli, S.; Bramante, J.; Braun-Munzinger, P.; Briffa, J. A.; Britzger, D.; Brodsky, S. J.; Brooke, J. J.; Bruce, R.; De Renstrom, P. Bruckman; Bruna, E.; Bruning, O.; Brunner, O.; Brunner, K.; Bruzzone, P.; Buffat, X.; Bulyak, E.; Burkart, F.; Burkhardt, H.; Burnet, J. -P.; Butin, F.; Buttazzo, D.; Butterworth, A.; Caccia, M.; Cai, Y.; Caiffi, B.; Cairo, V.; Cakir, O.; Calaga, R.; Calatroni, S.; Calderini, G.; Calderola, G.; Caliskan, A.; Calvet, D.; Calviani, M.; Camalich, J. M.; Camarri, P.; Campanelli, M.; Camporesi, T.; Canbay, A. C.; Canepa, A.; Cantergiani, E.; Cantore-Cavalli, D.; Capeans, M.; Cardarelli, R.; Cardella, U.; Cardini, A.; Calame, C. M. Carloni; Carra, F.; Carra, S.; Carvalho, A.; Casalbuoni, S.; Casas, J.; Cascella, M.; Castelnovo, P.; Castorina, G.; Catalano, G.; Cavasinni, V.; Cazzato, E.; Cennini, E.; Cerri, A.; Cerutti, F.; Cervantes, J.; Chaikovska, I.; Chakrabortty, J.; Chala, M.; Chamizo-Llatas, M.; Chanal, H.; Chanal, D.; Chance, S.; Chance, A.; Charitos, P.; Charles, J.; Charles, T. K.; Chattopadhyay, S.; Chehab, R.; Chekanov, S. V.; Chen, N.; Chernoded, A.; Chetvertkova, V.; Chevalier, L.; Chiarelli, G.; Chiarello, G.; Chiesa, M.; Chiggiato, P.; Childers, J. T.; Chmielinska, A.; Cholakian, A.; Chomaz, P.; Chorowski, M.; Chou, W.; Chrzaszcz, M.; Chyhyrynets, E.; Cibinetto, G.; Ciftci, A. K.; Ciftci, R.; Cimino, R.; Ciuchini, M.; Clark, P. J.; Coadou, Y.; Cobal, M.; Coccaro, A.; Cogan, J.; Cogneras, E.; Collamati, F.; Colldelram, C.; Collier, P.; Collot, J.; Contino, R.; Conventi, F.; Cook, C. T. A.; Cooley, L.; Corcella, G.; Cornell, A. S.; Corral, G. H.; Correia-Rodrigues, H.; Costanza, F.; Pinto, P. Costa; Couderc, F.; Coupard, J.; Craig, N.; Crespo Garrido, I.; Crivellin, A.; Croteau, J. F.; Crouch, M.; Alaniz, E. Cruz; Cure, B.; Curti, J.; Curtin, D.; Czech, M.; Dachauer, C.; D'Agnolo, R. T.; Daibo, M.; Dainese, A.; Dalena, B.; Daljevec, A.; Dallapiazza, W.; Schwartzentruber, L. D'Aloia; Dam, M.; D'Ambrosio, G.; Das, S. P.; DasBakshi, S.; da Silva, W.; da Silveira, G. G.; D'Auria, V.; D'Auria, S.; David, A.; Davidek, T.; Deandrea, A.; de Blas, J.; Debono, C. J.; De Curtis, S.; De Filippis, N.; de Florian, D.; Deghaye, S.; de Jong, S. J.; Del Bo, C.; Del Duca, V.; Delikaris, D.; Deliot, F.; Dell'Acqua, A.; Delle Rose, L.; Delmastro, M.; De Lucia, E.; Demarteau, M.; Denegri, D.; Deniau, L.; Denisov, D.; Denizli, H.; Denner, A.; d'Enterria, D.; de Rijk, G.; De Roeck, A.; Derue, F.; Deschamps, O.; Descotes-Genon, S.; Dev, P. S. B.; de Regie, J. B. de Vivie; Dewanjee, R. K.; Di Ciaccio, A.; Di Cicco, A.; Dillon, B. M.; Di Micco, B.; Di Nezza, P.; Di Vita, S.; Doblhammer, A.; Dominjon, A.; D'Onofrio, M.; Dordei, F.; Drago, A.; Draper, P.; Drasal, Z.; Drewes, M.; Duarte, L.; Dubovyk, I.; Duda, P.; Dudarev, A.; Dudko, L.; Düllmann, D.; Duenser, M.; du Pree, T.; Durante, M.; Yildiz, H. Duran; Dutta, S.; Duval, F.; Duval, J. M.; Dydyshka, Y.; Dziewit, B.; Eisenhardt, S.; Eisterer, M.; Ekelof, T.; El Khechen, D.; Ellis, S. A.; Ellis, J.; Ellison, J. A.; Elsener, K.; Elsing, M.; Enari, Y.; Englert, C.; Eriksson, H.; Eskola, K. J.; Esposito, L. S.; Etisken, O.; Etzion, E.; Fabbricatore, P.; Falkowski, A.; Falou, A.; Faltova, J.; Fan, J.; Fano, L.; Farilla, A.; Farinelli, R.; Farinon, S.; Faroughy, D. A.; Fartoukh, S. D.; Faus-Golfe, A.; Fawcett, W. J.; Felici, G.; Felsberger, L.; Ferdeghini, C.; Fernandez Navarro, A. M.; Fernandez-Tellez, A.; Troitino, J. Ferradas; Ferrara, G.; Ferrari, R.; Ferreira, L.; da Silva, P. Ferreira; Ferrera, G.; Ferro, F.; Fiascaris, M.; Fiorendi, S.; Fiorio, C.; Fischer, O.; Fischer, E.; Flieger, W.; Florio, M.; Fonnesu, D.; Fontanesi, E.; Foppiani, N.; Foraz, K.; Forkel-Wirth, D.; Forte, S.; Fouaidy, M.; Fournier, D.; Fowler, T.; Fox, J.; Francavilla, P.; Franceschini, R.; Franchino, S.; Franco, E.; Freitas, A.; Fuks, B.; Furukawa, K.; Furuseth, S. V.; Gabrielli, E.; Gaddi, A.; Galanti, M.; Gallo, E.; Ganjour, S.; Gao, J.; Gao, J.; Diaz, V. Garcia; Perez, M. Garcia; Garcia Tabares, L.; Garion, C.; Garzelli, M. V.; Garzia, I.; Gascon-Shotkin, S. M.; Gaudio, G.; Gay, P.; Ge, S. -F.; Gehrmann, T.; Genest, M. H.; Gerard, R.; Gerigk, F.; Gerwig, H.; Giacomelli, P.; Giagu, S.; Gianfelice-Wendt, E.; Gianotti, F.; Giffoni, F.; Gilardoni, S. S.; Costa, M. Gil; Giovannetti, M.; Giovannozzi, M.; Giubellino, P.; Giudice, G. F.; Giunta, A.; Gladilin, L. K.; Glukhov, S.; Gluza, J.; Gobbi, G.; Goddard, B.; Goertz, F.; Golling, T.; Goncalves, V. P.; Netto, D. Goncalves; Goncalo, R.; Gomez, L. A. Gonzalez; Zadeh, S. Gorgi; Gorine, G.; Gorini, E.; Gourlay, S. A.; Gouskos, L.; Grancagnolo, F.; Grassellino, A.; Grau, A.; Graverini, E.; Gray, H. M.; Greco, M.; Greco, M.; Grenard, J. -L.; Grimm, O.; Grojean, C.; Gromov, V. A.; Grosse-Oetringhaus, J. F.; Grudiev, A.; Grzanka, K.; Gu, J.; Guadagnoli, D.; Guidi, V.; Guiducci, S.; Canton, G. Guillermo; Gunaydin, Y. O.; Gupta, R.; Gupta, R. S.; Gutierrez, J.; Gutleber, J.; Guyot, C.; Guzey, V.; Gwenlan, C.; Haberstroh, C.; Hacisahinoglu, B.; Haerer, B.; Hahn, K.; Hahn, T.; Hammad, A.; Han, C.; Hance, M.; Hannah, A.; Harris, P. C.; Hati, C.; Haug, S.; Hauptman, J.; Haurylavets, V.; He, H. -J.; Hegglin, A.; Hegner, B.; Heinemann, K.; Heinemeyer, S.; Helsens, C.; Henriques, A.; Henriques, A.; Hernandez, P.; Hernandez-Pinto, R. J.; Hernandez-Sanchez, J.; Herzig, T.; Hiekkanen, I.; Hillert, W.; Hoehn, T.; Hofer, M.; Hofle, W.; Holdener, F.; Holleis, S.; Holzer, B.; Hong, D. K.; Honorato, C. G.; Hopkins, S. C.; Hrdinka, J.; Hug, F.; Humann, B.; Humer, H.; Hurth, T.; Hutton, A.; Iacobucci, G.; Ibarrola, N.; Iconomidou-Fayard, L.; Ilyina-Brunner, K.; Incandela, J.; Infantino, A.; Ippolito, V.; Ishino, M.; Islam, R.; Ita, H.; Ivanovs, A.; Iwamoto, S.; Iyer, A.; Bermudez, S. Izquierdo; Jadach, S.; Jamin, D. O.; Janot, P.; Jarry, P.; Jeff, A.; Jenny, P.; Jensen, E.; Jensen, M.; Jiang, X.; Jimenez, J. M.; Jones, M. A.; Jones, O. R.; Jowett, J. M.; Jung, S.; Kaabi, W.; Kado, M.; Kahle, K.; Kalinovskaya, L.; Kalinowski, J.; Kamenik, J. F.; Kannike, K.; Kara, S. O.; Karadeniz, H.; Karaventzas, V.; Karpov, I.; Kartal, S.; Karyukhin, A.; Kashikhin, V.; Behr, J. Katharina; Kaya, U.; Keintzel, J.; Keinz, P. A.; Keppel, K.; Kersevan, R.; Kershaw, K.; Khanpour, H.; Khatibi, S.; Yanehsari, M. Khatiri; Khoze, V. V.; Kieseler, J.; Kilic, A.; Kilpinen, A.; Kim, Y. -K.; Kim, D. W.; Klein, U.; Klein, M.; Kling, F.; Klinkenberg, N.; Kloeppel, S.; Klute, M.; Klyukhin, V. I.; Knecht, M.; Kniehl, B.; Kocak, F.; Koeberl, C.; Kolano, A. M.; Kollegger, A.; Kolodziej, K.; Kolomiets, A. A.; Komppula, J.; Koop, I.; Koppenburg, P.; Koratzinos, M.; Kordiaczynska, M.; Korjik, M.; Kortner, O.; Kostka, P.; Kotlarski, W.; Kotnig, C.; Kottig, T.; Kotwal, A. V.; Kovalenko, A. D.; Kowalski, S.; Kozaczuk, J.; Kozlov, G. A.; Kozub, S. S.; Krainer, A. M.; Kramer, T.; Kraemer, M.; Krammer, M.; Krasnov, A. A.; Krauss, F.; Kravalis, K.; Kretzschmar, L.; Kriske, R. M.; Kritscher, H.; Krkotic, P.; Kroha, H.; Kucharczyk, M.; Kuday, S.; Kuendig, A.; Kuhlmann, G.; Kulesza, A.; Kumar, M.; Kumar, M.; Kusina, A.; Kuttimalai, S.; Kuze, M.; Kwon, T.; Lackner, F.; Lackner, M.; La Francesca, E.; Laine, M.; Lamanna, G.; La Mendola, S.; Lancon, E.; Landsberg, G.; Langacker, P.; Lange, C.; Langner, A.; Lankford, A. J.; Lansberg, J. P.; Lari, T.; Laycock, P. J.; Lebrun, P.; Lechner, A.; Lee, K.; Lee, S.; Lee, R.; Lefevre, T.; Le Guen, P.; Lehtinen, T.; Leith, S. B.; Lenzi, P.; Leogrande, E.; Leonidopoulos, C.; Leon-Monzon, I.; Lerner, G.; Leroy, O.; Lesiak, T.; Levai, P.; Leveratto, A.; Levichev, E.; Li, G.; Li, S.; Li, R.; Liberati, D.; Liepe, M.; Lissauer, D. A.; Liu, Z.; Lobko, A.; Locci, E.; Agaliotis, E. Logothetis; Lombardo, M. P.; Long, A. J.; Lorin, C.; Losito, R.; Louzguiti, A.; Low, I.; Lucchesi, D.; Lucchini, M. T.; Luciani, A.; Lueckhof, M.; Lunt, A. J. G.; Luzum, M.; Lyubimtsev, D. A.; Maggiora, M.; Magnin, N.; Mahmoud, M. A.; Mahmoudi, F.; Maitre, J.; Makarenko, V.; Malagoli, A.; Malcles, J.; Malgeri, L.; Mallon, P. J.; Maltoni, F.; Malvezzi, S.; Malyshev, O. B.; Mancinelli, G.; Mandrik, P.; Manfrinetti, P.; Mangano, M.; Manil, P.; Mannelli, M.; Marchiori, G.; Marhauser, F.; Mariani, V.; Marinozzi, V.; Mariotto, S.; Marquard, P.; Marquet, C.; Marriott-Dodington, T.; Martin, R.; Martin, O.; Camalich, J. Martin; Martinez, T.; Bruzual, H. Martinez; Martinez-Hernandez, M. I.; Martins, D. E.; Marzani, S.; Marzocca, D.; Marzola, L.; Masciocchi, S.; Masina, I.; Massimiliano, A.; Massironi, A.; Masubuchi, T.; Matveev, V. A.; Mazzoni, M. A.; McCullough, M.; McIntosh, P. A.; Meade, P.; Medina, L.; Meier, A.; Meignan, J.; Mele, B.; Mendes Saraiva, J. G.; Menez, F.; Mentink, M.; Meoni, E.; Meridiani, P.; Merk, M.; Mermod, P.; Mertens, V.; Mether, L.; Metral, E.; Migliorati, M.; Milanese, A.; Milardi, C.; Milhano, G.; Militsyn, B. L.; Millet, F.; Minashvili, I.; Minervini, J. V.; Miralles, L. S.; Mirarchi, D.; Mishima, S.; Missiaen, D. P.; Mitselmakher, G.; Mitsuhashi, T.; Mnich, J.; Najafabadi, M. Mohammadi; Mohapatra, R. N.; Mokhov, N.; Molson, J. G.; Monge, R.; Montag, C.; Montagna, G.; Monteil, S.; Montenero, G.; Montesinos, E.; Moortgat, F.; Morange, N.; Morello, G.; Llacer, M. Moreno; Moretti, M.; Moretti, S.; Morley, A. K.; Moros, A.; Morozov, I.; Morretta, V.; Morrone, M.; Mostacci, A.; Muanza, S.; Muchnoi, N.; Muehlegger, M.; Mulder, M.; Mulders, M.; Mueller, B.; Mueller, F.; Mueller, A. -S.; Munilla, J.; Murray, M. J.; Muttoni, Y.; Myers, S.; Mylona, M.; Nachtman, J.; Nakamoto, T.; Nardecchia, M.; Nardini, G.; Nason, P.; Nergiz, Z.; Nesterenko, A. V.; Nettstraeter, A.; Neubuser, C.; Neundorf, J.; Niccoli, F.; Nicrosini, O.; Nie, Y.; Niedermayer, U.; Niedziela, J.; Niemi, A.; Nikitin, S. A.; Nisati, A.; No, J. M.; Nonis, M.; Nosochkov, Y.; Novak, M.; Novokhatski, A.; O'Callaghan, J. M.; Ochando, C.; Ogur, S.; Ohmi, K.; Oide, K.; Okorokov, V. A.; Okumura, Y.; Oleari, C.; Olness, F. I.; Onel, Y.; Ortino, M.; Osborne, J.; Osland, P.; Otto, T.; Oyulmaz, K. Y.; Ozansoy, A.; Ozcan, V.; Ozdemir, K.; Pagliarone, C. E.; da Silva, H. F. Pais; Palmieri, E.; Palumbo, L.; Pampaloni, A.; Pan, R. -Q.; Panareo, M.; Panella, O.; Panico, G.; Panizzo, G.; Pankov, A. A.; Pantsyrny, V.; Papadopoulos, C. G.; Papaefstathiou, A.; Papaphilippou, Y.; Parker, M. A.; Parma, V.; Pasquali, M.; Patra, S. K.; Patterson, R.; Paukkunen, H.; Pauss, F.; Peggs, S.; Penttinen, J. -P.; Peon, G.; Perepelkin, E. E.; Perez, E.; Perez, J. C.; Perez, G.; Perez, F.; Codina, E. Perez; Perez Morales, J.; Perfilov, M.; Pernegger, H.; Peruzzi, M.; Pes, C.; Peters, K.; Petracca, S.; Petriello, F.; Pezzotti, L.; Pfeiffer, S.; Piccinini, F.; Pieloni, T.; Pierini, M.; Pikhartova, H.; Pikurs, G.; Pilicer, E.; Piminov, P.; Pira, C.; Pittau, R.; Placzek, W.; Plagge, M.; Plehn, T.; Pleier, M. -A.; Ploskon, M.; Podeur, M.; Podlech, H.; Podzorny, T.; Poggioli, L.; Poiron, A.; Polesello, G.; Lener, M. Poli; Polini, A.; Polinski, J.; Polozov, S. M.; Ponce, L.; Pont, M.; Pontecorvo, L.; Portaluri, T.; Potamianos, K.; Prasse, C.; Prausa, M.; Preinerstorfer, A.; Premat, E.; Price, T.; Primavera, M.; Prino, F.; Prioli, M.; Proudfoot, J.; Provino, A.; Pugnat, T.; Pukhaeva, N.; Pulawski, S.; Pulikowski, D.; Punzi, G.; Putti, M.; Pyarelal, A.; Quack, H.; Quispe, M.; Racioppi, A.; Rafique, H.; Raginel, V.; Raidal, M.; Ramirez-Uribe, N. S.; Ramsey-Musolf, M. J.; Rata, R.; Ratoff, P.; Ravotti, F.; Rebello Teles, P.; Reboud, M.; Redaelli, S.; Renner, E.; Renteria-Olivo, A. E.; Rescigno, M.; Reuter, J.; Ribon, A.; Ricci, A. M.; Riegler, W.; Riemann, S.; Riemann, B.; Riemann, T.; Rifflet, J. M.; Rimmer, R. A.; Rinaldesi, R.; Rinolfi, L.; Rubiras, O. Rios; Risselada, T.; Rivetti, A.; Rivkin, L.; Rizzo, T.; Robens, T.; Robert, F.; Robson, A. J.; Rochepault, E.; Roda, C.; Rodrigo, G.; Rodriguez-Cahuantzi, M.; Rogan, C.; Roig, M.; Rojas-Torres, S.; Rojo, J.; Rolandi, G.; Rolando, G.; Roloff, P.; Romanenko, A.; Romanov, A.; Roncarolo, F.; Rosado Sanchez, A.; Rosaz, G.; Rossi, L.; Rossi, A.; Rossmanith, R.; Rousset, B.; Royon, C.; Ruan, X.; Ruehl, I.; Ruhlmann-Kleider, V.; Ruiz, R.; Rumyantsev, L.; Ruprecht, R.; Ryazanov, A. I.; Saba, A.; Sadykov, R.; de Jauregui, D. Saez; Sahin, M.; Sailer, B.; Saito, M.; Sala, F.; Salam, G. P.; Salfeld-Nebgen, J.; Salgado, C. A.; Salini, S.; Sallese, J. M.; Salmi, T.; Salzburger, A.; Sampayo, O. A.; Sanfilippo, S.; Santiago, J.; Santopinto, E.; Santoro, R.; Sanz Ull, A.; Sarasola, X.; Sarpun, I. H.; Sauvain, M.; Savelyeva, S.; Sawada, R.; Sborlini, G. F. R.; Schaffer, A.; Schaumann, M.; Schenk, M.; Scheuerlein, C.; Schienbein, I.; Schlenga, K.; Schmickler, H.; Schmidt, R.; Schoerling, D.; Schoeerner-Sadenius, T.; Schoning, A.; Schott, M.; Schulte, D.; Schwaller, P.; Schwanenberger, C.; Schwemling, P.; Schwerg, N.; Scibile, L.; Sciuto, A.; Scomparin, E.; Sebastiani, C.; Seeber, B.; Segreti, M.; Selva, P.; Selvaggi, M.; Senatore, C.; Senol, A.; Serin, L.; Serluca, M.; Serra, N.; Seryi, A.; Sestini, L.; Sfyrla, A.; Shaposhnikov, M.; Shaposhnikova, E.; Sharkov, B. Y.; Shatilov, D.; Shelton, J.; Shiltsev, V.; Shipsey, I. P.; Shirkov, G. D.; Shivaji, A.; Shwartz, D.; Sian, T.; Sidorov, S.; Silvestrini, L.; Simand, N.; Simon, F.; Singh, B. K.; Siodmok, A.; Sirois, Y.; Sirtori, E.; Sirvinskaite, R.; Sitar, B.; Sjoestrand, T.; Skands, P.; Skordis, E.; Skovpen, K.; Skrzypek, M.; Slade, E.; Slavich, P.; Slovak, R.; Smaluk, V.; Smirnov, V.; Snoeys, W.; Soffi, L.; Sollander, P.; Solovyanov, O.; Soltveit, H. K.; Song, H.; Sopicki, P.; Sorbi, M.; Spallino, L.; Spannowsky, M.; Spataro, B.; Sphicas, P.; Spiesberger, H.; Spiller, P.; Spira, M.; Srivastava, T.; Stachel, J.; Stakia, A.; Stanyard, J. L.; Starchenko, E.; Starikov, A. Y.; Stasto, A. M.; Statera, M.; Steerenberg, R.; Steggemann, J.; Stenvall, A.; Stivanello, F.; Stockinger, D.; Stoel, L. S.; Stoeger-Pollach, M.; Strauss, B.; Stuart, M.; Stupakov, G.; Su, S.; Sublet, A.; Sugita, K.; Sulak, L.; Sullivan, M. K.; Sultansoy, S.; Sumida, T.; Suzuki, K.; Sylva, G.; Syphers, M. J.; Sznajder, A.; Taborelli, M.; Tahir, N. A.; Takeuchi, M.; Tal Hod, E.; Tambasco, C.; Tanaka, J.; Tang, K.; Tapan, I.; Taroni, S.; Tartarelli, G. F.; Tassielli, G.; Tavian, L.; Taylor, T. M.; Taylor, G. N.; Teixeira, A. M.; Tejeda-Munoz, G.; Telnov, V. I.; Tenchini, R.; ten Kate, H. H. J.; Terashi, K.; Tesi, A.; Testa, M.; Tetrel, C.; Teytelman, D.; Thaler, J.; Thamm, A.; Thomas, S.; Tiirakari, M. T.; Tikhomirov, V.; Tikhonov, D.; Timko, H.; Tisserand, V.; Tkachenko, L. M.; Tkaczuk, J.; Tock, J. P.; Todd, B.; Todesco, E.; Garcia, R. Tomas; Tommasini, D.; Tonelli, G.; Toral, F.; Torims, T.; Torre, R.; Townsend, Z.; Trant, R.; Treille, D.; Trentadue, L.; Tricoli, A.; Tricomi, A.; Trischuk, W.; Tropin, I. S.; Tuchming, B.; Tudora, A. A.; Turbiarz, B.; Cakir, I. Turk; Turri, M.; Tydecks, T.; Usovitsch, J.; Uythoven, J.; Vaglio, R.; Valassi, A.; Valchkova, F.; Valdivia Garcia, M. A.; Valente, P.; Valente, R. U.; Valente-Feliciano, A. -M.; Valentino, G.; Silva, L. Vale; Valet, J. M.; Valizadeh, R.; Valle, J. W. F.; Vallecorsa, S.; Vallone, G.; van Leeuwen, M.; van Rienen, U. H.; van Riesen-Haupt, L.; Varasteh, M.; Vecchi, L.; Vedrine, P.; Velev, G.; Veness, R.; Ventura, A.; Delsolaro, W. Venturini; Verducci, M.; Verhaaren, C. B.; Vernieri, C.; Verweij, A. P.; Verwilligen, O.; Viazlo, O.; Vicini, A.; Viehhauser, G.; Vignaroli, N.; Vignolo, M.; Vitrano, A.; Vivarelli, I.; Vlachos, S.; Vogel, M.; Vogt, D. M.; Voelkl, V.; Volkov, P.; Volpini, G.; von Ahnen, J.; Vorotnikov, G.; Voutsinas, G. G.; Vysotsky, V.; Wagner, U.; Wallny, R.; Wang, L. -T.; Wang, R.; Wang, K.; Ward, B. F. L.; Watson, T. P.; Watson, N. K.; Was, Z.; Weiland, C.; Weinzierl, S.; Welsch, C. P.; Wenninger, J.; Widorski, M.; Wiedemann, U. A.; Wienands, H. -U.; Wilkinson, G.; Williams, P. H.; Winter, A.; Wohlfahrt, A.; Wojton, T.; Wollmann, D.; Womersley, J.; Woog, D.; Wu, X.; Wulzer, A.; Yanehsari, M. K.; Yang, G.; Yang, H. J.; Yao, W. -M.; Yazgan, E.; Yermolchik, V.; Yilmaz, A.; Yilmaz, A.; Yoo, H. -D.; Yost, S. A.; You, T.; Young, C.; Yu, T. -T.; Yu, F.; Zaborowska, A.; Zadeh, S. G.; Zahnd, M.; Zanetti, M.; Zanotto, L.; Zawiejski, L.; Zeiler, P.; Zerlauth, M.; Zernov, S. M.; Dell Porta, G. Zevi; Zhang, Z.; Zhang, Y.; Zhang, C.; Zhang, H.; Zhao, Z.; Zhong, Y. -M.; Zhou, J.; Zhou, D.; Zhuang, P.; Zick, G.; Zimmermann, F.; Zinn-Justin, J.; Zivkovic, L.; Zlobin, A. V.; Zobov, M.; Zupan, J.; Zurita, J. (2019): FCC-ee: The Lepton Collider: Future Circular Collider Conceptual Design Report Volume 2. In: European Physical Journal-Special Topics, Vol. 228, No. 2: pp. 261-623

Al Khatib, Mohammad; Zamani, Majid (2019): Verification and synthesis of interconnected embedded control systems under timing contracts. In: Proceedings of the 2019 22Nd Acm International Conference on Hybrid Systems: Computation and Control (Hscc '19): pp. 208-217

Ammar, Constantin; Berchtold, Evi; Csaba, Gergely; Schmidt, Andreas; Imhof, Axel; Zimmer, Ralf (2019): Multi-Reference Spectral Library Yields Almost Complete Coverage of Heterogeneous LC-MS/MS Data Sets. In: Journal of Proteome Research, Vol. 18, No. 4: pp. 1553-1566

Ammar, Constantin; Gruber, Markus; Csaba, Gergely; Zimmer, Ralf (2019): MS-EmpiRe Utilizes Peptide-level Noise Distributions for Ultra-sensitive Detection of Differentially Expressed Proteins. In: Molecular & Cellular Proteomics, Vol. 18, No. 9: pp. 1880-1892

Bader, Patrick; Voit, Alexandra; Huy Viet, Le; Wozniak, Pawel W.; Henze, Niels; Schmidt, Albrecht (2019): WindowWall: Towards Adaptive Buildings with Interactive Windows as Ubiquitous Displays. In: Acm Transactions on Computer-Human Interaction, Vol. 26, No. 2, 11

Barbanera, Franco; de'Liguoro, Ugo; Hennicker, Rolf (2019): Connecting open systems of communicating finite state machines. In: Journal of Logical and Algebraic Methods in Programming, Vol. 109, UNSP 100476

Baugut, Philip; Neumann, Katharina (2019): How Right-Wing Extremists Use and Perceive News Media. In: Journalism & Mass Communication Quarterly, Vol. 96, No. 3: pp. 696-720

Beer, Anna; Kazempour, Daniyal; Stephan, Lisa; Seidl, Thomas (2019): LUCK-Linear Correlation Clustering Using Cluster Algorithms and a kNN based Distance Function. In: Scientific and Statistical Database Management (Ssdbm 2019): pp. 181-184

Beer, Anna; Seidl, Thomas (2019): Graph Ordering and Clustering - A Circular Approach. In: Scientific and Statistical Database Management (Ssdbm 2019): pp. 185-188

Berchtold, Evi; Csaba, Gergely; Zimmer, Ralf (2019): YESdb: integrative analysis of environmental stress in yeast. In: Database-the Journal of Biological Databases and Curation, baz023

Berchtold, Evi; Vetter, Martina; Guendert, Melanie; Csaba, Gergely; Fathke, Christine; Ulbrich, Susanne E.; Thomssen, Christoph; Zimmer, Ralf; Kantelhardt, Eva J. (2019): Comparison of six breast cancer classifiers using qPCR. In: Bioinformatics, Vol. 35, No. 18: pp. 3412-3420

Bergs, Christoph; Khalil, Mohamed; Hildebrandt, Marcel; Heizmann, Michael; Wuechner, Roland; Bletzinger, Kai-Uwe; Tresp, Volker (2019): Health indication of electric motors using a hybrid modeling approach. In: Tm-Technisches Messen, Vol. 86, No. 11: pp. 640-650

Beyer, Dirk; Lemberger, Thomas (2019): TESTCov: Robust Test-Suite Execution and Coverage Measurement. In: 34Th Ieee/Acm International Conference on Automated Software Engineering (Ase 2019): pp. 1074-1077

Beyer, Dirk; Loewe, Stefan; Wendler, Philipp (2019): Reliable benchmarking: requirements and solutions. In: International Journal on Software Tools for Technology Transfer, Vol. 21, No. 1: pp. 1-29

Borojeni, Shadan Sadeghian; Meschtscherjakov, Alexander; Pfleging, Bastian; Ju, Wendy; Flemisch, Frank; Janssen, Christian P.; Kun, Andrew L.; Riener, Andreas (2019): Looking into the Future: Weaving the Threads of Vehicle Automation. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Borutta, Felix; Busch, Julian; Faerman, Evgeniy; Klink, Adina; Schubert, Matthias (2019): Structural Graph Representations based on Multiscale Local Network Topologies. In: 2019 Ieee/Wic/Acm International Conference on Web Intelligence (Wi 2019): pp. 91-98

Borutta, Felix; Schmoll, Sebastian; Friedl, Sabrina (2019): Optimizing the Spatio-Temporal Resource Search Problem with Reinforcement Learning (GIS Cup). In: 27Th Acm Sigspatial International Conference on Advances in Geographic Information Systems (Acm Sigspatial Gis 2019): pp. 628-631

Brandenburg, Stefan; Chuang, Lewis (2019): Take-over requests during highly automated driving: How should they be presented and under what conditions? In: Transportation Research Part F-Traffic Psychology and Behaviour, Vol. 66: pp. 214-225

Braun, Michael; Broy, Nora; Pflegin, Bastian; Alt, Florian (2019): Visualizing natural language interaction for conversational in-vehicle information systems to minimize driver distraction. In: Journal on Multimodal User Interfaces, Vol. 13, No. 2: pp. 71-88

Braun, Michael; Mainz, Anja; Chadowitz, Ronee; Pfleging, Bastian; Alt, Florian (2019): At Your Service: Designing Voice Assistant Personalities to Improve Automotive User Interfaces A Real World Driving Study. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Bugai, Andrii; Quaresma, Alexandre J. C.; Friedel, Caroline C.; Lenasi, Tina; Duester, Robert; Sibley, Christopher R.; Fujinaga, Koh; Kukanja, Petra; Hennig, Thomas; Blasius, Melanie; Geyer, Matthias; Ule, Jernej; Doelken, Lars; Barboric, Matjaz (2019): P-TEFb Activation by RBM7 Shapes a Pro-survival Transcriptional Response to Genotoxic Stress. In: Molecular Cell, Vol. 74, No. 2

Camilo Vasquez-Correa, Juan; Arias-Vergara, Tomas; Orozco-Arroyave, J. R.; Eskofier, Björn; Klucken, Jochen; Noeth, Elmar (2019): Multimodal Assessment of Parkinson's Disease: A Deep Learning Approach. In: IEEE Journal of Biomedical and Health Informatics, Vol. 23, No. 4: pp. 1618-1630

Campello, Ricardo J. G. B.; Kröger, Peer; Sander, Jörg; Zimek, Arthur (2019): Density-based clustering. In: Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, Vol. 10, No. 2, e1343

Chanias, Simon; Myers, Michael D.; Hess, Thomas (2019): Digital transformation strategy making in pre-digital organizations: The case of a financial services provider. In: Journal of Strategic Information Systems, Vol. 28, No. 1: pp. 17-33

Chen, Jieneng; Chen, Jingye; Zhang, Ruiming; Hu, Xiaobin (2019): Toward a Brain-Inspired System: Deep Recurrent Reinforcement Learning for a Simulated Self-Driving Agent. In: Frontiers in Neurorobotics, Vol. 13, 40

Cheng, Chi-Lun; Tsai, Jia-Ren; Schneeweiss, Hans (2019): Polynomial regression with heteroscedastic measurement errors in both axes: Estimation and hypothesis testing. In: Statistical Methods in Medical Research, Vol. 28, No. 9: pp. 2681-2696

Da Silva, Adriano; Kawan, Christoph (2019): Lyapunov exponents and partial hyperbolicity of chain control sets on flag manifolds. In: Israel Journal of Mathematics, Vol. 232, No. 2: pp. 947-1000

Eiband, Malin; Buschek, Daniel; Kremer, Alexander; Hussmann, Heinrich (2019): The Impact of Placebic Explanations on Trust in Intelligent Systems. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Eiband, Malin; Voelkel, Sarah Theres; Buschek, Daniel; Cook, Sophia; Hussmann, Heinrich (2019): When People and Algorithms Meet: User-reported Problems in Intelligent Everyday Applications. In: Proceedings of Iui 2019: pp. 96-106

Elagroudy, Passant; Khamis, Mohamed; Mathis, Florian; Irmscher, Diana; Bulling, Andreas; Schmidt, Albrecht (2019): Can Privacy-Aware Lifelogs Alter Our Memories? In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Emmerich, Paul; Ellmann, Simon; Bonk, Fabian; Egger, Alex; Garcia Sanchez-Torija, Esau; Guenzel, Thomas; Di Luzio, Sebastian; Obada, Alexandru; Stadlmeier, Maximilian; Voit, Sebastian; Carle, Georg (2019): The Case for Writing Network Drivers in High-Level Programming Languages. In: 2019 Acm/Ieee Symposium on Architectures for Networking and Communications Systems (Ancs)

Englmeier, David; Schönewald, Isabel; Butz, Andreas; Hoellerer, Tobias (2019): Sphere in Hand: Exploring Tangible Interaction with Immersive Spherical Visualizations. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 912-913

Englmeier, David; Schönewald, Isabel; Butz, Andreas; Hollerer, Tobias (2019): Feel the Globe: Enhancing the Perception of Immersive Spherical Visualizations with Tangible Proxies. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 1693-1698

Ernst, Gidon; Murray, Toby (2019): SECCSL: Security Concurrent Separation Logic. In: Computer Aided Verification, Cav 2019, Pt Ii, Vol. 11562: pp. 208-230

Feger, Sebastian S.; Dallmeier-Tiessen, Sunje; Schmidt, Albrecht; Wozniak, Pawel W. (2019): Designing for Reproducibility: A Qualitative Study of Challenges and Opportunities in High Energy Physics. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Feger, Sebastian S.; Dallmeier-Tiessen, Sunje; Wozniak, Pawel W.; Schmidt, Albrecht (2019): Gamification in Science: A Study of Requirements in the Context of Reproducible Research. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Feger, Sebastian S.; Dallmeier-Tiessen, Sunje; Wozniak, Pawel W.; Schmidt, Albrecht (2019): The Role of HCI in Reproducible Science: Understanding, Supporting and Motivating Core Practices. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Feld, Sebastian; Sedlmeier, Andreas; Friedrich, Markus; Franz, Jan; Belzner, Lenz (2019): Bayesian Surprise in Indoor Environments. In: 27Th Acm Sigspatial International Conference on Advances in Geographic Information Systems (Acm Sigspatial Gis 2019): pp. 129-138

Felsberger, Lukas; Todd, Benjamin; Kranzlmüller, Dieter (2019): Power Converter Maintenance Optimization Using a Model-Based Digital Reliability Twin Paradigm. In: 2019 4Th International Conference on System Reliability and Safety (Icsrs 2019): pp. 213-217

Fowler, Michael D. (2019): Mapping k-combinations and Dih(4) in John Cage's Variations I as utilities for determinate and indeterminate realization strategies. In: Journal of Mathematics and Music, Vol. 13, No. 2: pp. 171-191

Friedrich, Markus; Fayolle, Pierre-Alain; Gabor, Thomas; Linnhoff-Popien, Claudia (2019): Optimizing Evolutionary CSG Tree Extraction. In: Proceedings of the 2019 Genetic and Evolutionary Computation Conference (Gecco'19): pp. 1183-1191

Fromm, Michael; Faerman, Evgeniy; Seidl, Thomas (2019): TACAM: Topic And Context Aware Argument Mining. In: 2019 Ieee/Wic/Acm International Conference on Web Intelligence (Wi 2019): pp. 99-106

Fromm, Michael; Schubert, Matthias; Castilla, Guillermo; Linke, Julia; McDermid, Greg (2019): Automated Detection of Conifer Seedlings in Drone Imagery Using Convolutional Neural Networks. In: Remote Sensing, Vol. 11, No. 21, 2585

Funk, Christina; Raschbichler, Verena; Lieber, Diana; Wetschky, Jens; Arnold, Eileen K.; Leimser, Jacqueline; Biggel, Michael; Friedel, Caroline C.; Ruzsics, Zsolt; Bailer, Susanne M. (2019): Comprehensive analysis of nuclear export of herpes simplex virus type 1 tegument proteins and their Epstein-Barr virus orthologs. In: Traffic, Vol. 20, No. 2: pp. 152-167

Gabor, Thomas; Illium, Steffen; Mattausch, Andy; Belzner, Lenz; Linnhoff-Popien, Claudia (2019): Self-Replication in Neural Networks. In: Alife 2019: the 2019 Conference on Artificial Life: pp. 424-431

Gabor, Thomas; Sedlmeier, Andreas; Kiermeier, Marie; Phan, Thomy; Henrich, Marcel; Pichlmair, Monika; Kempter, Bernhard; Klein, Cornel; Sauer, Horst; Schmid, Reiner; Wieghardt, Jan (2019): Scenario Co-Evolution for Reinforcement Learning on a Grid World Smart Factory Domain. In: Proceedings of the 2019 Genetic and Evolutionary Computation Conference (Gecco'19): pp. 898-906

Gamm, Matthias von; Schaub, Annalisa; Jones, Alisha N.; Wolf, Christine; Behrens, Gesine; Lichti, Johannes; Essig, Katharina; Macht, Anna; Pircher, Joachim; Ehrlich, Andreas; Davari, Kathrin; Chauhan, Dhruv; Busch, Benjamin; Wurst, Wolfgang; Feederle, Regina; Feuchtinger, Annette; Tschoep, Matthias H.; Friedel, Caroline C.; Hauck, Stefanie M.; Sattler, Michael; Geerlof, Arie; Hornung, Veit; Heissmeyer, Vigo; Schulz, Christian; Heikenwalder, Mathias; Glasmacher, Elke (2019): Immune homeostasis and regulation of the interferon pathway require myeloid-derived Regnase-3. In: Journal of Experimental Medicine, Vol. 216, No. 7: pp. 1700-1723

Garcia-Hernandez, Ruben Jesus; Kranzlmüller, Dieter (2019): NOMAD VR: Multiplatform virtual reality viewer for chemistry simulations. In: Computer Physics Communications, Vol. 237: pp. 230-237

George, Ceenu; Hassib, Mariam (2019): Towards Augmenting IVR Communication with Physiological Sensing Data. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

George, Ceenu; Khamis, Mohamed; Buschek, Daniel; Hussmann, Heinrich (2019): Investigating the Third Dimension for Authentication in Immersive Virtual Reality and in the Real World. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 277-285

George, Ceenu; Schwuchow, Julia; Hussmann, Heinrich (2019): Fearing Disengagement from the Real World Exploring Non-Experts' Mental Model and Expectations of Mobile Virtual Reality. In: 25Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2019), UNSP 8

Giordano, Alessandro Massimo; Ott, Christian; Albu-Schaeffer, Alin (2019): Coordinated Control of Spacecraft's Attitude and End-Effector for Space Robots. In: IEEE Robotics and Automation Letters, Vol. 4, No. 2: pp. 2108-2115

Glatz, Christiane; Chuang, Lewis L. (2019): The time course of auditory looming cues in redirecting visuospatial attention. In: Scientific Reports, Vol. 9, 743

Gu, Jindong; Yang, Yinchong; Tresp, Volker (2019): Understanding Individual Decisions of CNNs via Contrastive Backpropagation. In: Computer Vision - Accv 2018, Pt Iii, Vol. 11363: pp. 119-134

Gugenheimer, Jan; Mai, Christian; McGill, Mark; Williamson, Julie; Steinicke, Frank; Perlin, Ken (2019): Challenges Using Head-Mounted Displays In Shared and Social Spaces. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Hagemann, Georg; Zhou, Qian; Stavness, Ian; Fels, Sidney (2019): Investigating Spherical Fish Tank Virtual Reality Displays for Establishing Realistic Eye-Contact. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 950-951

Hahn, Carsten; Phan, Thomy; Gabor, Thomas; Belzner, Lenz; Linnhoff-Popien, Claudia (2019): Emergent Escape-based Flocking Behavior using Multi-Agent Reinforcement Learning. In: Alife 2019: the 2019 Conference on Artificial Life: pp. 598-605

Heller, Niels; Bry, Francois (2019): Organizing Peer Correction in Tertiary STEM Education: An Approach and its Evaluation. In: International Journal of Engineering Pedagogy, Vol. 9, No. 4: pp. 16-32

Heller, Niels; Bry, Francois (2019): Predicting Learners' Behaviours to Get It Wrong. In: Methodologies and Intelligent Systems for Technology Enhanced Learning, Vol. 804: pp. 12-19

Heller, Niels; Mader, Sebastian; Bry, Francois (2019): More than the Sum of its Parts: Designing Learning Formats from Core Components. In: Sac '19: Proceedings of the 34Th Acm/Sigapp Symposium on Applied Computing: pp. 2473-2476

Hepperle, Daniel; Weiss, Yannick; Siess, Andreas; Woelfel, Matthias (2019): 2D, 3D or speech? A case study on which user interface is preferable for what kind of object interaction in immersive virtual reality. In: Computers & Graphics-Uk, Vol. 82: pp. 321-331

Hildebrandt, Marcel; Khalil, Mohamed; Bergs, Christoph; Tresp, Volker; Wuechner, Roland; Bletzinger, Kai-Uwe; Heizmann, Michael (2019): Remaining Useful Life Estimation for Unknown Motors Using a Hybrid Modeling Approach. In: 2019 Ieee 17Th International Conference on Industrial Informatics (Indin): pp. 1327-1332

Hildebrandt, Marcel; Sunder, Swathi Shyam; Mogoreanu, Serghei; Joblin, Mitchell; Mehta, Akhil; Thon, Ingo; Tresp, Volker (2019): A Recommender System for Complex Real-World Applications with Nonlinear Dependencies and Knowledge Graph Context. In: Semantic Web, Eswc 2019, Vol. 11503: pp. 179-193

Hirsch, Linda (2019): Designing interactive interfaces by keeping the natural beauty of public places. In: Ubicomp/Iswc'19 Adjunct: Proceedings of the 2019 Acm International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 Acm International Symposium on Wearable Computers: pp. 969-972

Hollaender, Kai (2019): A Pedestrian Perspective on Autonomous Vehicles. In: Proceedings of the 24Th International Conference on Intelligent User Interfaces: Companion (Iui 2019): pp. 149-150

Hoppe, Matthias; Karolus, Jakob; Dietz, Felix; Wozniak, Pawel W.; Schmidt, Albrecht; Machulla, Tonja (2019): VRsneaky: Increasing Presence in VR Through Gait-Aware Auditory Feedback. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Höhl, Wolfgang ORCID: 0000-0002-2242-4395 (4. September 2019): Game-based learning - Developing a business game for interactive architectural visualization. 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games), 4. - 6. September 2019, Vienna, Austria.

Joppich, Markus; Weber, Christian; Zimmer, Ralf (2019): Using Context-Sensitive Text Mining to Identify miRNAs in Different Stages of Atherosclerosis. In: Thrombosis and Haemostasis, Vol. 119, No. 8: pp. 1247-1264

Joppich, Markus; Zimmer, Ralf (2019): From command-line bioinformatics to bioGUI. In: Peerj, Vol. 7, e8111

Kawan, Christoph; Yuksel, Serdar (2019): Stochastic stability of nonlinear dynamical systems under information constraints. In: 2019 Ieee Information Theory Workshop (Itw): pp. 85-89

Kazempour, Daniyal; Emmerig, Kilian; Kröger, Peer; Seidl, Thomas (2019): Detecting Global Periodic Correlated Clusters in Event Series based on Parameter Space Transform. In: Scientific and Statistical Database Management (Ssdbm 2019): pp. 222-225

Kazempour, Daniyal; Seidl, Thomas (2019): On systematic hyperparameter analysis through the example of subspace clustering. In: Scientific and Statistical Database Management (Ssdbm 2019): pp. 226-229

Keskinen, Tuuli; Makela, Ville; Kallioniemi, Pekka; Hakulinen, Jaakko; Karhu, Jussi; Ronkainen, Kimmo; Makela, John; Turunen, Markku (2019): The Effect of Camera Height, Actor Behavior, and Viewer Position on the User Experience of 360 degrees Videos. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 423-430

Khaled, Mahmoud; Zamani, Majid (2019): pFaces: An Acceleration Ecosystem for Symbolic Control. In: Proceedings of the 2019 22Nd Acm International Conference on Hybrid Systems: Computation and Control (Hscc '19): pp. 252-257

Khamis, Mohamed; Schuster, Nora; George, Ceenu; Pfeiffer, Max (2019): ElectroCutscenes: Realistic Haptic Feedback in Cutscenes of Virtual Reality Games Using Electric Muscle Stimulation. In: 25Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2019), UNSP 13

Khamis, Mohamed; Seitz, Tobias; Mertl, Leonhard; Nguyen, Alice; Schneller, Mario; Li, Zhe (2019): Passquerade: Improving Error Correction of Text Passwords on Mobile Devices by using Graphic Filters for Password Masking. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Kharvari, Farzam; Höhl, Wolfgang ORCID: 0000-0002-2242-4395 (4. September 2019): The role of serious gaming using virtual reality applications for 3D architectural visualization. 11th International Conference on Virtual Worlds and Games for Serious Applications (VS-Games), 4. - 6. September 2019, Vienna, Austria.

Kiss, Francisco; Schmidt, Albrecht (2019): Stressed by Design? The Problems of Transferring Interaction Design from Workstations to Mobile Interfaces. In: Proceedings of the 13Th Eai International Conference on Pervasive Computing Technologies for Healthcare (Pervasivehealth 2019): pp. 377-382

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]

Knerich, Verena; Jones, Andrea A.; Seyedin, Sam; Siu, Christopher; Dinh, Louie; Mostafavi, Sara; Barr, Alasdair M.; Panenka, William J.; Thornton, Allen E.; Honer, William G.; Rutherford, Alexander R. (2019): Social and structural factors associated with substance use within the support network of adults living in precarious housing in a socially marginalized neighborhood of Vancouver, Canada.
In: PLOS One 14(9), e0222611

Kolb, Daniel ORCID: 0000-0001-9645-3319; Kurtz, Wolfgang; Weismüller, Jens; Ramm, Alexander von; Ludwig, Ralf ORCID: 0000-0002-4225-4098; Kranzlmüller, Dieter ORCID: 0000-0002-8319-0123 (10. April 2019): Using virtual reality to visualize extreme rainfall events derived from climate simulations. EGU General Assembly 2019, April 7th–12th 2019, Vienna, Austria. [PDF, 2MB]

Kosch, Thomas; Karolus, Jakob; Ha, Havy; Schmidt, Albrecht (2019): Your Skin Resists: Exploring Electrodermal Activity as Workload Indicator during Manual Assembly. In: Proceedings of the Acm Sigchi Symposium on Engineering Interactive Computing Systems (Eics'19)

Kowalewski, Roger; Jungblut, Pascal; Fuerlinger, Karl (2019): Engineering a Distributed Histogram Sort. In: 2019 Ieee International Conference on Cluster Computing (Cluster): pp. 81-91

Lagasio, Martina; Parodi, Antonio; Pulvirenti, Luca; Meroni, Agostino N.; Boni, Giorgio; Pierdicca, Nazzareno; Marzano, Frank S.; Luini, Lorenzo; Venuti, Giovanna; Realini, Eugenio; Gatti, Andrea; Tagliaferro, Giulio; Barindelli, Stefano; Guarnieri, Andrea Monti; Goga, Klodiana; Terzo, Olivier; Rucci, Alessio; Passera, Emanuele; Kranzlmüller, Dieter; Rommen, Bjorn (2019): A Synergistic Use of a High-Resolution Numerical Weather Prediction Model and High-Resolution Earth Observation Products to Improve Precipitation Forecast. In: Remote Sensing, Vol. 11, No. 20, 2387

Lang, Muriel; Pfister, Franz M. J.; Frohner, Jakob; Abedinpour, Kian; Pichler, Daniel; Fietzek, Urban; Um, Terry Taewoong; Kulic, Dana; Endo, Satoshi; Hirche, Sandra (2019): A Multi-Layer Gaussian Process for Motor Symptom Estimation in People With Parkinson's Disease. In: IEEE Transactions on Biomedical Engineering, Vol. 66, No. 11: pp. 3038-3049

Lavaei, Abolfaz; Soudjani, Sadegh; Zamani, Majid (2019): Compositional construction of infinite abstractions for networks of stochastic control systems. In: Automatica, Vol. 107: pp. 125-137

Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid (2019): Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. In: 2019 18Th European Control Conference (Ecc): pp. 2802-2807

Lavaei, Abolfazl; Zamani, Majid (2019): Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach. In: Ifac Papersonline, Vol. 52, No. 3: pp. 31-36

Lavaei, Abolfazl; Zamani, Majid (2019): Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems. In: Proceedings of the 5Th International Workshop on Symbolic-Numeric Methods for Reasoning About Cps and Iot (Snr 2019): pp. 3-5

Ma, Yunpu; Tresp, Volker; Daxberger, Erik A. (2019): Embedding models for episodic knowledge graphs. In: Journal of Web Semantics, Vol. 59, UNSP 100490

Mader, Sebastian; Bry, Francois (2019): Blending Classroom, Collaborative, and Individual Learning Using Backstage 2. In: Methodologies and Intelligent Systems for Technology Enhanced Learning, Vol. 804: pp. 3-11

Mader, Sebastian; Bry, Francois (2019): Fun and Engagement in Lecture Halls Through Social Gamification. In: International Journal of Engineering Pedagogy, Vol. 9, No. 2: pp. 113-132

Mader, Sebastian; Heller, Niels; Bry, Francois (2019): Adding Narrative to Gamification and Educational Games With Generic Templates. In: Proceedings of the 18Th European Conference on E-Learning (Ecel 2019): pp. 360-368

Maekelae, Ville; Keskinen, Tuuli; Makela, John; Kallioniemi, Pekka; Karhu, Jussi; Ronkainen, Kimmo; Burova, Alisa; Hakulinen, Jaakko; Turunen, Markku (2019): What Are Others Looking at? Exploring 360 degrees Videos on HMDs with Visual Cues about Other Viewers. In: Tvx 2019: Proceedings of the 2019 Acm International Conference on Interactive Experiences for Tv and Online Video: pp. 13-24

Manavalan, Anil Paul Chirackal; Pilarova, Kveta; Kluge, Michael; Bartholomeeusen, Koen; Rajecky, Michal; Oppelt, Jan; Khirsariya, Prashant; Paruch, Kamil; Krejci, Lumir; Friedel, Caroline C.; Blazek, Dalibor (2019): CDK12 controls G1/S progression by regulating RNAPII processivity at core DNA replication genes. In: EMBO Reports, e47592

Mardanbegi, Diako; Pfeuffer, Ken; Perzl, Alexander; Mayer, Benedikt; Jalaliniya, Shahram; Gellersen, Hans (2019): EyeSeeThrough: Unifying Tool Selection and Application in Virtual Environments. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 474-483

Matt, Christian; Becker, Moritz; Kolbeck, Andreas; Hess, Thomas (2019): Continuously Healthy, Continuously Used? A Thematic Analysis of User Perceptions on Consumer Health Wearables. In: Pacific Asia Journal of the Association for Information Systems, Vol. 11, No. 1: pp. 108-132

Matt, Christian; Hess, Thomas; Weiss, Christian (2019): A factual and perceptional framework for assessing diversity effects of online recommender systems. In: Internet Research, Vol. 29, No. 6: pp. 1526-1550

Mauder, M.; Ntoutsi, E.; Kröger, P.; Mayr, C.; Toncala, A.; Hölzl, S.; Grupe, G. (2019): Significance and Limitations of Stable Oxygen Isotope Ratios in the Apatite Phosphate of Archaeological Vertebrate Finds for Provenance Analysis in an Alpine Reference Region. In: Archaeometry, Vol. 61, No. 1: pp. 194-210

Mecke, Lukas; Buschek, Daniel; Kiermeier, Mathias; Prange, Sarah; Alt, Florian (2019): Exploring Intentional Behaviour Modifications for Password Typing on Mobile Touchscreen Devices. In: Proceedings of the Fifteenth Symposium on Usable Privacy and Security (Soups 2019): pp. 303-317

Mecke, Lukas; Rodriguez, Sarah Delgado; Buschek, Daniel; Prange, Sarah; Alt, Florian (2019): Communicating Device Confidence Level and Upcoming Re-Authentications in Continuous Authentication Systems on Mobile Devices. In: Proceedings of the Fifteenth Symposium on Usable Privacy and Security (Soups 2019): pp. 289-301

Metzger, Philipp; Kirchleitner, Sabrina; Kluge, Michael; König, Lars M.; Hoerth, Christine; Rambuscheck, Carlotta A.; Bohmer, Daniel; Ahlfeld, Julia; Kobold, Sebastian; Friedel, Caroline C.; Endres, Stefan; Schnurr, Max; Duewell, Peter (2019): Immunostimulatory RNA leads to functional reprogramming of myeloid-derived suppressor cells in pancreatic cancer. In: Journal for Immunotherapy of Cancer, Vol. 7, No. 1, 288

Michael, Schmidt; Michael, Brenner; Thomas, Schaaf (2019): IT Service Management Frameworks Compared - Simplifying Service Portfolio Management. In: 2019 Ifip/Ieee Symposium on Integrated Network and Service Management (Im): pp. 421-427

Muehlhofer, Moritz; Berchtold, Evi; Stratil, Chris G.; Csaba, Gergely; Kunold, Elena; Bach, Nina C.; Sieber, Stephan A.; Haslbeck, Martin; Zimmer, Ralf; Buchner, Johannes (2019): The Heat Shock Response in Yeast Maintains Protein Homeostasis by Chaperoning and Replenishing Proteins. In: Cell Reports, Vol. 29, No. 13

Muetterlein, Joschka; Kunz, Reinhard E.; Baier, Daniel (2019): Effects of lead-usership on the acceptance of media innovations: A mobile augmented reality case. In: Technological Forecasting and Social Change, Vol. 145: pp. 113-124

Peng, Zirong; Lu, Yifeng; Hatzoglou, Constantinos; da Silva, Alisson Kwiatkowski; Vurpillot, Francois; Ponge, Dirk; Raabe, Dierk; Gault, Baptiste (2019): An Automated Computational Approach for Complete In-Plane Compositional Interface Analysis by Atom Probe Tomography. In: Microscopy and Microanalysis, Vol. 25, No. 2: pp. 389-400

Perdacher, Martin; Plant, Claudia; Boehm, Christian (2019): Cache-oblivious High-performance Similarity Join. In: Sigmod '19: Proceedings of the 2019 International Conference on Management of Data: pp. 87-104

Pfeuffer, Ken; Geiger, Matthias J.; Prange, Sarah; Mecke, Lukas; Buschek, Daniel; Alt, Florian (2019): Behavioural Biometrics in VR Identifying People from Body Motion and Relations in Virtual Reality. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Phan, Thomy; Belzner, Lenz; Kiermeier, Marie; Friedrich, Markus; Schmid, Kyrill; Linnhoff-Popien, Claudia (2019): Memory Bounded Open-Loop Planning in Large POMDPs Using Thompson Sampling. In: Thirty-Third Aaai Conference on Artificial Intelligence / Thirty-First Innovative Applications of Artificial Intelligence Conference / Ninth Aaai Symposium on Educational Advances in Artificial Intelligence: pp. 7941-7948

Phan, Thomy; Schmid, Kyrill; Belzner, Lenz; Gabor, Thomas; Feld, Sebastian; Linnhoff-Popien, Claudia (2019): Distributed Policy Iteration for Scalable Approximation of Cooperative Multi-Agent Policies. In: Aamas '19: Proceedings of the 18Th International Conference on Autonomous Agents and Multiagent Systems: pp. 2162-2164

Prange, Sarah; Buschek, Daniel; Pfeuffer, Ken; Mecke, Lukas; Ehrich, Peter; Le, Jens; Alt, Florian (2019): Go for GOLD: Investigating User Behaviour in Goal-Oriented Tasks. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Richter, Florian; Seidl, Thomas (2019): Looking into the TESSERACT: Time-drifts in event streams using series of evolving rolling averages of completion times. In: Information Systems, Vol. 84: pp. 265-282

Rohrmoser, Michaela; Kluge, Michael; Yahia, Yousra; Gruber-Eber, Anita; Maqbool, Muhammad Ahmad; Forne, Ignasi; Krebs, Stefan; Blum, Helmut; Greifenberg, Ann Katrin; Geyer, Matthias; Descostes, Nicolas; Imhof, Axel; Andrau, Jean-Christophe; Friedel, Caroline C.; Eick, Dirk (2019): MIR sequences recruit zinc finger protein ZNF768 to expressed genes. In: Nucleic Acids Research, Vol. 47, No. 2: pp. 700-715

Roider, Florian; Ruemelin, Sonja; Pfleging, Bastian; Gros, Tom (2019): Investigating the effects of modality switches on driver distraction and interaction efficiency in the car. In: Journal on Multimodal User Interfaces, Vol. 13, No. 2: pp. 89-97

Rojas-Rengifo, Diana F.; Ulloa-Guerrero, Cindy P.; Joppich, Markus; Haas, Rainer; del Pilar Delgado, Maria; Jaramillo, Carlos; Jimenez-Soto, Luisa F. (2019): Tryptophan usage by Helicobacter pylori differs among strains. In: Scientific Reports, Vol. 9, 873

Rossmy, Beat; Wiethoff, Alexander (2019): COMB - Shape as a Meaningful Element of Interaction. In: Tei'19: Proceedings of the Thirteenth International Conference on Tangible, Embedded, and Embodied Interaction: pp. 287-295

Rossmy, Beat; Wiethoff, Alexander (2019): StringTouch - A Scalable Low-Cost Concept for Deformable Interfaces. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Rothe, Sylvia; Kegeles, Boris; Hussmann, Heinrich (2019): Camera Heights in Cinematic Virtual Reality: How Viewers Perceive Mismatches Between Camera and Eye Height. In: Tvx 2019: Proceedings of the 2019 Acm International Conference on Interactive Experiences for Tv and Online Video: pp. 25-34

Rothe, Sylvia; Pothmann, Pascal; Drewe, Heiko; Hussmann, Heinrich (2019): Interaction Techniques for Cinematic Virtual Reality. In: 2019 26Th Ieee Conference on Virtual Reality and 3D User Interfaces (Vr): pp. 1733-1737

Rothe, Sylvia; Sarakiotis, Vanessa; Hussmann, Heinrich (2019): Where to Place the Camera Shot Sizes and Camera Distances in Cinematic Virtual Reality. In: 25Th Acm Symposium on Virtual Reality Software and Technology (Vrst 2019), UNSP 101

Schilling, Tim; Sipatchin, Alexandra; Chuang, Lewis; Wahl, Siegfried (2019): Looking Through "Rose-Tinted" Glasses: The Influence of Tint on Visual Affective Processing. In: Frontiers in Human Neuroscience, Vol. 13, 187

Schmidmaier, Matthias; Han, Zhiwei; Weber, Thomas; Liu, Yuanting; Hussmann, Heinrich (2019): Real-Time Personalization in Adaptive IDEs. In: Adjunct Publication of the 27Th Conference on User Modeling, Adaptation and Personalization (Acm Umap '19 Adjunct): pp. 81-86

Schneegass, Stefan; Poguntke, Romina; Machulla, Tonja (2019): Understanding the Impact of Information Representation on Willingness to Share Information. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Schneider, Hanna (2019): Designing for empowerment - An investigation and critical reflection. In: It-Information Technology, Vol. 61, No. 1: pp. 59-65

Schneider, Hanna; Wayrauther, Julia; Hassib, Mariam; Butz, Andreas (2019): Communicating Uncertainty in Fertility Prognosis. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Schwind, Valentin; Knierim, Pascal; Haas, Nico; Henze, Niels (2019): Using Presence Questionnaires in Virtual Reality. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Sedlar, Karel; Kolek, Jan; Gruber, Markus; Jureckova, Katerina; Branska, Barbora; Csaba, Gergely; Vasylkivska, Maryna; Zimmer, Ralf; Patakova, Petra; Provaznik, Ivo (2019): A transcriptional response of Clostridium beijerinckii NRRL B-598 to a butanol shock. In: Biotechnology for Biofuels, Vol. 12, No. 1, 243

Staudacher, Korbinian; Mader, Sebastian; Bry, Francois (2019): Automated Scaffolding and Feedback for Proof Construction: A Case Study. In: Proceedings of the 18Th European Conference on E-Learning (Ecel 2019): pp. 542-550

Sun, Xin; Song, Zenghui; Dong, Junyu; Yu, Yongbo; Plant, Claudia; Boehm, Christian (2019): Network Structure and Transfer Behaviors Embedding via Deep Prediction Model. In: Thirty-Third Aaai Conference on Artificial Intelligence / Thirty-First Innovative Applications of Artificial Intelligence Conference / Ninth Aaai Symposium on Educational Advances in Artificial Intelligence: pp. 5041-5048

Swikir, Abdalla; Zamani, Majid (2019): Compositional Abstractions of Interconnected Discrete-Time Switched Systems. In: 2019 18Th European Control Conference (Ecc): pp. 1251-1256

Swikir, Abdalla; Zamani, Majid (2019): Compositional synthesis of finite abstractions for networks of systems: A small-gain approach. In: Automatica, Vol. 107: pp. 551-561

Tejero, Rut; Huang, Yong; Katsyv, Igor; Kluge, Michael; Lin, Jung-Yi; Tome-Garcia, Jessica; Daviaud, Nicolas; Wang, Yuanshuo; Zhang, Bin; Tsankova, Nadejda M.; Friedel, Caroline C.; Zou, Hongyan; Friedel, Roland H. (2019): Gene signatures of quiescent glioblastoma cells reveal mesenchymal shift and interactions with niche microenvironment. In: Ebiomedicine, Vol. 42: pp. 252-269

Terzimehic, Nada; Haeuslschmid, Renate; Hussmann, Heinrich; Schraefel, M. C. (2019): A Review & Analysis of Mindfulness Research in HCI Framing Current Lines of Research and Future Opportunities. In: Chi 2019: Proceedings of the 2019 Chi Conference on Human Factors in Computing Systems

Thanh-Dang, Diep; Kien Trung, Pham; Fürlinger, Karl; Nam, Thoai (2019): A time-stamping system to detect memory consistency errors in MPI one-sided applications. In: Parallel Computing, Vol. 86: pp. 36-44

Thevin, Lauren; Jouffrais, Christophe; Rodier, Nicolas; Palard, Nicolas; Hachet, Martin; Brock, Anke M. (2019): Creating Accessible Interactive Audio-Tactile Drawings Using Spatial Augmented Reality. In: Proceedings of the 2019 Acm International Conference on Interactive Surfaces and Spaces (Iss '19): pp. 17-28

Thome, Johannes; Behnke, Kerstin; Gleitz, Markus; Steer, Lydia; Weiher, Martina; Hasford, Jörg (2019): Qualität und Struktur der ambulanten Versorgung von erwachsenen Patienten mit ADHS (Aufmerksamkeitsdefizit-/Hyperaktivitätsstörung). Ergebnisse der RAABE-Studie [Retrospektive Daten-Analyse der ADHS-Behandlung Erwachsener]. In: Psychiatrische Praxis, Vol. 46, No. 6: pp. 317-323

Wang, Yingding; Fischer, Nikolai; Bry, Francois (2019): Pervasive Persuasion for Stress Self-Regulation. In: 2019 Ieee International Conference on Pervasive Computing and Communications Workshops (Percom Workshops): pp. 724-730

Weber, Thomas; Zoitl, Alois; Hussmann, Heinrich (2019): Usability of Development Tools: A CASE-Study. In: 2019 Acm/Ieee 22Nd International Conference on Model Driven Engineering Languages and Systems Companion (Models-C 2019): pp. 228-235

Weibl, Johannes; Hess, Thomas (2019): Turning Data into Value - Exploring the Role of Synergy in Leveraging Value among Data. In: Information Systems Management, Vol. 37, No. 3: pp. 227-239

Weil, Lea ORCID: 0000-0003-0743-7873; Kolb, Daniel ORCID: 0000-0001-9645-3319; Weismüller, Jens ORCID: 0000-0002-0252-5826; Imm, Eric; Kranzlmüller, Dieter ORCID: 0000-0002-8319-0123 (26. September 2019): Raising Awareness for Endangered Species using Augmented Reality. Enviroinfo 2019, September 23rd-26th 2019, Kassel, Germany. [PDF, 826kB]

Wiegand, Gesa; Schmidmaier, Matthias; Weber, Thomas; Liu, Yuanting; Hussmann, Heinrich (2019): I Drive - You Trust: Explaining Driving Behavior Of Autonomous Cars. In: Chi Ea '19 Extended Abstracts: Extended Abstracts of the 2019 Chi Conference on Human Factors in Computing Systems

Zakreuskaya, Anastasiya; Hapfelmeier, Jana (2019): progViz: Visualizing Patient Journeys Based on Finite State Models. In: 2019 23Rd International Conference Information Visualisation (Iv): Biomedical Visualization and Geometric Modelling & Imaging: pp. 405-410

Zhang, Kuize; Yin, Xiang; Zamani, Majid (2019): Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. In: IEEE Transactions on Automatic Control, Vol. 64, No. 12: pp. 5116-5123

Zhang, Yuchong; Ma, Yong; Omrani, Adel; Yadav, Rahul; Fjeld, Morten; Fratarcangeli, Marco (2019): Automatic Image Segmentation for Microwave Tomography (MWT): From Implementation to Comparative Evaluation. In: Proceedings of the 12Th International Symposium on Visual Information Communication and Interaction, Vinci 2019

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

Alt, Florian; Geiger, Sabrina; Höhl, Wolfgang ORCID: 0000-0002-2242-4395 (6. June 2018): ShapelineGuide – Teaching mid-air gestures for large interactive displays. PerDis 2018 - Proceedings of the 7th ACM International Symposium on Pervasive Displays, 6. - 8. Juni 2018, LMU München, Germany.

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 [PDF, 265kB]

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 [PDF, 1MB]

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 [PDF, 2MB]

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 [PDF, 1MB]

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

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 19:97 [PDF, 2MB]

Kolb, Daniel ORCID: 0000-0001-9645-3319; Kurtz, Wolfgang; Weismüller, Jens; Ramm, Alexander von; Ludwig, Ralf ORCID: 0000-0002-4225-4098; Kranzlmüller, Dieter (5. September 2018): Visualization of climate simulation data in virtual reality using commercial game engines. Enviroinfo 2018, September 5th - 7th 2018, Garching near Munich, Germany. [PDF, 414kB]

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 [PDF, 1MB]

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 [PDF, 7kB]

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 [PDF, 1MB]

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]

Höhl, Wolfgang ORCID: 0000-0002-2242-4395 (16. September 2017): Open Innovation and Applied Interactive Technologies. Identifying project partners and interdisciplinary synergies with the Applied Interactive Technologies (APITs) networking matrix. ACM Symposium on Applied Perception, 16. - 17. September 2017, Brandenburg University of Technology in Cottbus, Germany. [PDF, 270kB]

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

Müller, Jens; Kreuz, Sebastian; Höhl, Wolfgang ORCID: 0000-0002-2242-4395; Lüdecke, Volker (5. October 2017): A process full of challenges: A serious game about the German energy transition. 11th European Conference on Games Based Learning, ECGBL 2017, 5. - 6. Oktober 2017, Graz, Austria.

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, Björn; 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

Kolb, Daniel ORCID: 0000-0001-9645-3319 (December 2016): Mesh based Scene Evaluation Metrics for LOD and Simplification. Master Thesis, Faculty of Mathematics, Computer Science and Statistics, Ludwig-Maximilians-Universität München. [PDF, 8MB]

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]

Höhl, Wolfgang ORCID: 0000-0002-2242-4395; Broschart, Daniel (2015): Augmented reality in architecture and urban planning. In: GIS.Science : die Zeitschrift für Geoinformatik, Vol. 1: pp. 20-29

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; Höhl, Wolfgang ORCID: 0000-0002-2242-4395; Kienzl, Thomas (2014): 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. IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2014), 10. - 12. September 2014, Technische Universität München, Deutschland.

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]

Höhl, Wolfgang ORCID: 0000-0002-2242-4395 (4. June 2012): Netzwerktheorie und Prozessoptimierung. In: Business + Innovation, No. 2: pp. 24-32

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 Fri Jan 21 21:41:58 2022 CET.