Institut für Informatik und Computational Science
Refine
Author
- Schaub, Torsten (163)
- Gössel, Michael (63)
- Delgrande, James Patrick (38)
- Gebser, Martin (33)
- Linke, Thomas (30)
- Müller, Klaus-Robert (29)
- Schnor, Bettina (28)
- Sogomonyan, Egor S. (26)
- Tompits, Hans (26)
- Lucke, Ulrike (23)
- Meinel, Christoph (22)
- Bordihn, Henning (21)
- Saposhnikov, Vl. V. (20)
- Jürgensen, Helmut (19)
- Konczak, Kathrin (19)
- Saposhnikov, V. V. (19)
- Besnard, Philippe (18)
- Kiy, Alexander (17)
- Woltran, Stefan (17)
- Horn, Erika (16)
- Margaria, Tiziana (16)
- Schwill, Andreas (16)
- Kunz, Wolfgang (15)
- Reinke, Thomas (14)
- Kupries, Mario (13)
- Krstić, Miloš (12)
- Selbig, Joachim (12)
- Wang, Kewen (12)
- Anger, Christian (11)
- Scheffer, Tobias (11)
- Morosov, Andrej (10)
- Rätsch, Gunnar (10)
- Thiele, Sven (10)
- Cabalar, Pedro (9)
- Fandiño, Jorge (9)
- Kaufmann, Benjamin (9)
- Lamprecht, Anna-Lena (9)
- Landwehr, Niels (9)
- Nicolas, Pascal (9)
- Seuring, Markus (9)
- Steffen, Bernhard (9)
- Weske, Mathias (9)
- Brüning, Stefan (8)
- Curio, Gabriel (8)
- Dimitriev, Alexej (8)
- Holzer, Markus (8)
- Mercer, Robert E. (8)
- Blankertz, Benjamin (7)
- Börner, Ferdinand (7)
- Romeike, Ralf (7)
- Schneidenbach, Lars (7)
- Schubert, Wolfgang (7)
- Schulze, Bert-Wolfgang (7)
- Ziehe, Andreas (7)
- Döllner, Jürgen Roland Friedrich (6)
- Kaminski, Roland (6)
- Kreitz, Christoph (6)
- Kutrib, Martin (6)
- Marienfeld, Daniel (6)
- Ostrowski, Max (6)
- Prasse, Paul (6)
- Stoffel, Dominik (6)
- Tarnick, Steffen (6)
- Andjelkovic, Marko (5)
- Chen, Junchao (5)
- Dornhege, Guido (5)
- Gharib, Mona (5)
- Giese, Holger (5)
- Harmeling, Stefan (5)
- Hartje, Hendrik (5)
- Janhunen, Tomi (5)
- Knobelsdorf, Maria (5)
- Koutzevlov, Atanas (5)
- Krahmer, Sebastian (5)
- Kujath, Bertold (5)
- Luckow, André (5)
- Meinecke, Frank C. (5)
- Mika, Sebastian (5)
- Otscheretnij, Vitalij (5)
- Pearce, David (5)
- Pradhan, D. K. (5)
- Przybylla, Mareen (5)
- Schrape, Oliver (5)
- Schroeder, Ulrik (5)
- Schröder-Preikschat, Wolfgang (5)
- Tschapek, Alexej (5)
- Wanko, Philipp (5)
- Zoerner, Dietmar (5)
- Bartl, Peter (4)
- Benhammadi, Farid (4)
- Bergner, Nadine (4)
- Bickel, Steffen (4)
- Böhne, Sebastian (4)
- Flöter, André (4)
- Gericke, Lutz (4)
- Glöde, Dirk (4)
- Goessel, Michael (4)
- Hafer, Jörg (4)
- Herwig, Ralf (4)
- Hirschfeld, Robert (4)
- Knoth, Alexander Henning (4)
- Köhlmann, Wiebke (4)
- Leininger, Andreas (4)
- Lienhard, Matthias (4)
- Lindauer, Marius (4)
- Magenheim, Johannes (4)
- Mitrana, Victor (4)
- Neumann, André (4)
- Noweski, Christine (4)
- Ocheretnij, V. (4)
- Polyvyanyy, Artem (4)
- Sack, Harald (4)
- Sahlmann, Kristina (4)
- Schellhorn, Sebastian (4)
- Schölkopf, B. (4)
- Siegel, Anne (4)
- Singh, Adit D. (4)
- Stede, Manfred (4)
- Strickroth, Sven (4)
- Tarkhanov, Nikolai Nikolaevich (4)
- Thienen, Julia von (4)
- Uflacker, Matthias (4)
- Vaszil, György (4)
- Videla, Santiago (4)
- Weicker, Karsten (4)
- Zender, Raphael (4)
- Zendler, Andreas (4)
- Aguado, Felicidad (3)
- Al-Saffar, Loay Talib Ahmed (3)
- Bensch, Suna (3)
- Birbaumer, Niels (3)
- Bobda, Christophe (3)
- Bogue, Ted (3)
- Brain, Martin (3)
- Breitenreiter, Anselm (3)
- Bröker, Kathrin (3)
- Brückner, Michael (3)
- Dietze, Stefan (3)
- Fabian, Benjamin (3)
- Friedrich, Sven (3)
- Gerber, Stefan (3)
- Gerbser, Martin (3)
- Gressmann, Jean (3)
- Gumienny, Raja (3)
- Günther, Oliver (3)
- Haider, Peter (3)
- Hecher, Markus (3)
- Hoos, Holger (3)
- Hunter, Anthony (3)
- Iversen, Pascal (3)
- Kawanabe, Motoaki (3)
- Keil, Reinhard (3)
- Kiertscher, Simon (3)
- Kowark, Thomas (3)
- Krauledat, Matthias (3)
- Kyprianidis, Jan Eric (3)
- Lee, Joohyung (3)
- Leifer, Larry (3)
- Lierler, Yuliya (3)
- Lindberg, Tilmann (3)
- Lühne, Patrick (3)
- Maratea, Marco (3)
- Mendling, Jan (3)
- Middelanis, Robin (3)
- Mileo, Alessandra (3)
- Moebert, Tobias (3)
- Moshanin, Vl. (3)
- Mühlbauer, Felix (3)
- Nicolas, Jacques (3)
- Nienhaus, Marc (3)
- Obermeier, Philipp (3)
- Perez, Gilberto (3)
- Rabenalt, Thomas (3)
- Rasche, Andreas (3)
- Rauth, Ingo (3)
- Reinhardt, Wolfgang (3)
- Richter, Michael (3)
- Richter, Peter (3)
- Saposhnikov, Va. V. (3)
- Sarsakov, Vladimir (3)
- Schubert, Sigrid (3)
- Seibel, Andreas (3)
- Simevski, Aleksandar (3)
- Smola, Alexander J. (3)
- Steinert, Bastian (3)
- Sugiyama, Masashi (3)
- Tepoyan, Liparit (3)
- Thedinga, Kristina (3)
- Tichy, Richard (3)
- Weidling, Stefan (3)
- Wildner, Uwe (3)
- Willmitzer, Lothar (3)
- Zeier, Alexander (3)
- AbuJarour, Mohammed (2)
- Adolphs, Julian (2)
- Afantenos, Stergos (2)
- Al Laban, Firas (2)
- Alnemr, Rehab (2)
- Andjelković, Marko (2)
- Appeltauer, Malte (2)
- Baier, Thomas (2)
- Balan, Sakthin M. (2)
- Banbara, Mutsunori (2)
- Baudisch, Patrick (2)
- Berges, Marc (2)
- Blum, Niklas (2)
- Brandt, Christopher (2)
- Brewka, Gerhard (2)
- Brzozowski, J. A. (2)
- Chatterjee, M. (2)
- Clemens, Vera (2)
- Dammer, Karl-Heinz (2)
- Dassow, Juergen (2)
- Davis, Niki (2)
- Dieguez, Martin (2)
- Diethelm, Ira (2)
- Dmitriev, Alexej (2)
- Dramlitsch, Thomas (2)
- Duane, Russell (2)
- D’Elia, Domenica (2)
- Eduati, Federica (2)
- Eickelmann, Birgit (2)
- Endrullat, Christoph (2)
- Engbring, Dieter (2)
- Erstad, Ola (2)
- Faber, Wolfgang (2)
- Feider, Henryk (2)
- Feinbube, Frank (2)
- Fichte, Johannes Klaus (2)
- Fiehn, Oliver (2)
- Fisser, Petra (2)
- Frank, Mario (2)
- Freischlad, Stefan (2)
- Frohme, Marcus (2)
- Gabrysiak, Gregor (2)
- Gibson, David (2)
- Gil, J. B. (2)
- Gleiß, Alexander (2)
- Gohlke, Mario (2)
- Grell, Susanne (2)
- Grillenberger, Andreas (2)
- Grund, Martin (2)
- Grünewald, Franka (2)
- Grünwald, Franka (2)
- Guziolowski, Carito (2)
- Göttel, Timo (2)
- Haddad, L. (2)
- Hagedorn, Benjamin (2)
- Hartmann, Stefanie (2)
- Haubelt, Christian (2)
- Hilscher, Martin (2)
- Hilse, Michael (2)
- Hollmann, Susanne (2)
- Hubwieser, Peter (2)
- Höllerer, Reinhard (2)
- Hübner, Sandra (2)
- Hüttenrauch, Stefan (2)
- Inoue, Katsumi (2)
- Ishebabi, Harold (2)
- Jeske, Janin (2)
- Jung, Jörg (2)
- Kaiser, Rolf (2)
- Khaddage, Ferial (2)
- Kirsch, Florian (2)
- Kluth, Stephan (2)
- Knezek, Gerald (2)
- Konstantinidis, Stavros (2)
- Krainer, Thomas (2)
- Kramer, Matthias (2)
- Kremer, Andreas (2)
- Kuhrmann, Marco (2)
- Kuntzsch, Christian (2)
- Kunz, Steffen (2)
- Kuropka, Dominik (2)
- Kurths, Jürgen (2)
- Kuznetsov, Grigory (2)
- Kytmanov, Alexander M. (2)
- Köppen, Eva (2)
- Lai, Kwok-Wing (2)
- Lanfermann, Gerd (2)
- Lang, Jerome (2)
- Lemm, Steven (2)
- Lengauer, Thomas (2)
- Leonhardt, Thiemo (2)
- Levermann, Anders (2)
- Li, Nanjun (2)
- Li, Yuanqing (2)
- Liers, Achim (2)
- Lifschitz, Vladimir (2)
- Lincke, Jens (2)
- Linckels, Serge (2)
- Liu, Daphne H. (2)
- Liu, Xiaochun (2)
- Losch, Florian (2)
- Luebbe, Alexander (2)
- Mackert, B.-M. (2)
- Malcher, Andreas (2)
- Marques de Carvalho, Jackson W. (2)
- Mendoza, A. (2)
- Menon, P. (2)
- Menzel, Michael (2)
- Merzky, Andre (2)
- Metzger, Christiane (2)
- Meyer, Harald (2)
- Michel, Mathias (2)
- Morgiel, Anna (2)
- Morozov, Alexei (2)
- Moschanin, Wladimir (2)
- Myslivets, Simona (2)
- Mühling, Andreas (2)
- Müller, Ina (2)
- Müller, Sebastian (2)
- Nazajkinskij, Vladimir E. (2)
- Nechyporenko, Alina (2)
- Neubauer, Kai (2)
- Neumann, Andre (2)
- Nowak, Michael (2)
- Onoda, T. (2)
- Opel, Simone (2)
- Palma, Alberto J. (2)
- Paun, Andrei (2)
- Paun, Mihaela (2)
- Peldszus, Andreas (2)
- Pfurtscheller, Gert (2)
- Plattner, Hasso (2)
- Pousttchi, Key (2)
- Pührer, Jörg (2)
- Quante, Lennart (2)
- Quasthoff, Matthias (2)
- Reddy, S. M. (2)
- Reger, Martin (2)
- Regierer, Babette (2)
- Rensing, Christoph (2)
- Ricca, Francesco (2)
- Rolf, Arno (2)
- Romero Davila, Javier (2)
- Romero, Javier (2)
- Saez-Rodriguez, Julio (2)
- Savin, Anton (2)
- Sawade, Christoph (2)
- Schalk, Gerwin (2)
- Scheffler, Thomas (2)
- Schell, Timon (2)
- Schirrmann, Michael (2)
- Schmidt, Alexander (2)
- Schmidt, Henning (2)
- Schneider, Jan Niklas (2)
- Scholz, Matthias (2)
- Schröder, Lukas (2)
- Schulmeister, Thomas (2)
- Schult, Wolfgang (2)
- Schulte, Carsten (2)
- Schumann, Marlen (2)
- Schöbel, Michael (2)
- Schölzel, Mario (2)
- Soh, Takehide (2)
- Stechert, Peer (2)
- Sternin, Boris (2)
- Tamura, Naoyuki (2)
- Thielscher, Michael (2)
- Thomas, Marco (2)
- Thurner, Veronika (2)
- Tiwari, Abhishek (2)
- Trapp, Matthias (2)
- Tröger, Peter (2)
- Tscherejkina, Anna (2)
- Vidal, Concepcion (2)
- Vogel, Ralf (2)
- Wang, Long (2)
- Webb, Mary (2)
- Weber, Gerhard (2)
- Wegner, Christian (2)
- Weidlich, Matthias (2)
- Weigend, Michael (2)
- Weise, Matthias (2)
- Wickert, Alexander (2)
- Willig, Andreas (2)
- Willner, Sven N. (2)
- Winkelnkemper, Felix (2)
- Wolpaw, Jonathan R. (2)
- Zhou, Lizhu (2)
- Abdelwahab Hussein Abdelwahab Elsayed, Ahmed (1)
- Abdelwahab, Ahmed (1)
- Abke, Jörg (1)
- Abrahamsson, Pekka (1)
- Abreu-Ellis, Carla Reis (1)
- Adam, Christian (1)
- Ahmad, Nadeem (1)
- Ahmed, Mayeesha (1)
- Al-Areqi, Samih Taha Mohammed (1)
- Al-Saffar, Loay Talib (1)
- Alarbeed, Ezzat (1)
- Albrecht, Alexander (1)
- Alhosseini Almodarresi Yasin, Seyed Ali (1)
- Alirezazadeh, Pendar (1)
- Alraboni, Ola (1)
- Alsadeh, Ahmad (1)
- Altmann, Thomas (1)
- Altrichter, Sabine (1)
- Amon, Thomas (1)
- Amor, M. (1)
- Andjelkovic, Marko S. (1)
- Andres, Benjamin (1)
- Angondi, Enos Kiforo (1)
- Apel, Rebecca (1)
- Apfelbache, Rémy (1)
- Arrighi, Pablo (1)
- Arroyo, Fernando (1)
- Ashouri, Mohammadreza (1)
- Awad, Ahmed Mahmoud Hany Aly (1)
- Aydin, Suna (1)
- Baberowski, David (1)
- Babic, Milan (1)
- Baddoo, Nathan (1)
- Baedke, Jan (1)
- Baeg, Sang H. (1)
- Bailis, Peter (1)
- Bakera, Marco (1)
- Balashov, Alexey (1)
- Balduccini, Marcello (1)
- Bandyopadhyay, Soumyadip (1)
- Barbas, Helena (1)
- Bardohl, Roswitha (1)
- Bargheer, Matias (1)
- Barlow, Axel (1)
- Barnes, Jan (1)
- Bartz, Andreas (1)
- Bauer, Chris (1)
- Bauer, Christopher (1)
- Baumann, Annette (1)
- Baumann, Annika (1)
- Becker, Basil (1)
- Beerenwinkel, Niko (1)
- Behrens, Thomas (1)
- Bellgardt, Martin (1)
- Bender, Esther (1)
- Bender, Katrin (1)
- Bendrups, Faye (1)
- Benzmüller, Christoph (1)
- Berg, Ralph (1)
- Berg, Thomas (1)
- Berg, Tobias (1)
- Beuster, Liane (1)
- Beutner, Marc (1)
- Bhattacharya, M. K. (1)
- Bibel, Ariane (1)
- Bibel, Wolfgang (1)
- Bieber, Götz (1)
- Bieniusa, Annette (1)
- Bin Tareaf, Raad (1)
- Bisiani, Roberto (1)
- Blaese, Leif (1)
- Blanchard, Gilles (1)
- Blank, Lars M. (1)
- Bleiholder, Jens (1)
- Boerner, Ferdinand (1)
- Boesel, Andreas (1)
- Bog, Anja (1)
- Bohnet, Johannes (1)
- Bojahr, Andre (1)
- Boldea, Irina (1)
- Boldt, Oliver (1)
- Bolduan, Gordon (1)
- Bonorden, Leif (1)
- Boo, M. (1)
- Borchert, P. (1)
- Bornschein, Jens (1)
- Bosselmann, Steve (1)
- Bosser, Anne-Gwenn (1)
- Botta, Nicola (1)
- Bottino, Rosa (1)
- Bouche, Paul (1)
- Brankart, Jean-Michel (1)
- Brauer, Falk (1)
- Brauer, Uwe (1)
- Braun, Iris (1)
- Braun, Michael (1)
- Braun, Mikio L. (1)
- Braun, Patrick (1)
- Brede, Nuria (1)
- Breest, Martin (1)
- Brehmer, Bastian (1)
- Breitlauch, Linda (1)
- Brem, Alexander (1)
- Brick, Timothy R. (1)
- Brinda, Torsten (1)
- Broß, Justus F. M. (1)
- Brueckner, Michael (1)
- Bruggemeier, M. (1)
- Bruguera, J. D. (1)
- Brust, D. (1)
- Brück, Rainer (1)
- Buchholz, Henrik (1)
- Buhmann, Joachim (1)
- Bulatov, Andrei (1)
- Buschmann, Jana (1)
- Bärmann, Daniel (1)
- Böckling, Jens (1)
- Böhlau, Peter (1)
- Böhm, Christoph (1)
- Böken, Björn (1)
- Böttcher, Axel (1)
- Büchner, Steffen (1)
- Büttner, Lars (1)
- Büttner, Nadja (1)
- Calame, Jens R. (1)
- Calude, C. S. (1)
- Camales, Renaud (1)
- Camargo, Tibor de (1)
- Carvajal, Miguel A. (1)
- Cassou, Damien (1)
- Catchpole, Gareth (1)
- Chakrabarty, Krishnendu (1)
- Chatti, Mohamed Amine (1)
- Chen, Hubie (1)
- Chen, Li (1)
- Chen, Mo (1)
- Chen, Qingyu (1)
- Cheng, Feng (1)
- Childs, Dorothee (1)
- Chioccariello, Augusto (1)
- Christensen, Rhonda (1)
- Christgau, Steffen (1)
- Ciaccio, Giuseppe (1)
- Cichalla, Anika Katleen (1)
- Cilia, Elisa (1)
- Claus, Volker (1)
- Clemens, Vera Elisabeth (1)
- Cobernuss, M. (1)
- Cokelaer, Thomas (1)
- Collomosse, John (1)
- Cordes, Frank (1)
- Cordson, Jörg (1)
- Coriasco, S. (1)
- Cosme, Emmanuel (1)
- Courtois, Bernard (1)
- Crestani, Marcus (1)
- Csuhaj-Varjú, Erzsébet (1)
- Curzon, Paul (1)
- Czernik, Sofie (1)
- Daeumer, Martin (1)
- Dagiene, Valentina (1)
- Damnik, Gregor (1)
- De Raedt, Luc (1)
- De Wilde, Max (1)
- Decker, Gero (1)
- Degen, Konrad (1)
- Degen, Markus (1)
- Dehne, Julian (1)
- Delgrande, James (1)
- Delikostidis, Ioannis (1)
- Dennert-Möller, Elisabeth (1)
- Desel, Jörg (1)
- Di Ciccio, Claudio (1)
- Dick, Uwe (1)
- Diehl, Stephan (1)
- Dillahunt, Tawanna (1)
- Dimopoulos, Yannis (1)
- Dines, Nicoleta (1)
- Dirwelis, Swenja (1)
- Dittler, Ullrich (1)
- Dovifat, A. (1)
- Draude, Claude (1)
- Drews, Paul (1)
- Duchrau, Georg (1)
- Dug, Mehmed (1)
- Durzinsky, Markus (1)
- Dziobek, Isabel (1)
- Dörge, Christina (1)
- Dünnebier, Malte (1)
- Ebert, Birgitta E. (1)
- Ebner, Roland (1)
- Egorov, Yu. (1)
- Ehlenz, Matthias (1)
- Ehlert, Marco (1)
- Ehlert, Mathias (1)
- Eirund, Helmut (1)
- Elbeshausen, Stefanie (1)
- Elkina, Margarita (1)
- Ellis, Jason Brent (1)
- Ellmauthaler, Stefan (1)
- Engel, Juri (1)
- Enke, Uta (1)
- Erb, Ulrike (1)
- Erdmann, Johannes (1)
- Ermakova, Tatiana (1)
- Everardo Pérez, Flavio Omar (1)
- Faetkenheuer, Gerd (1)
- Fanselow, Gisbert (1)
- Fariñas del Cerro, Luis (1)
- Fedosov, Boris V. (1)
- Felgentreff, Tim (1)
- Fernau, Henning (1)
- Fernie, Alisdair (1)
- Fietkau, Julian (1)
- Fischer, Roman (1)
- Floyd, Barry D. (1)
- Fortenbacher, Albrecht (1)
- Frank, Keller (1)
- Frede, Christiane (1)
- Frenkel, Marcus (1)
- Freund, Tessen (1)
- Friedemann, Stefan (1)
- Frioux, Clémence (1)
- Froitzheim, Manuel (1)
- Frommer, Andreas (1)
- Fudickar, Sebastian (1)
- Gabor, Kiss (1)
- Garea, Javier (1)
- Garmann, Robert (1)
- Garnatz, Thomas (1)
- Garoufi, Konstantina (1)
- Garz, Andreas (1)
- Gasbichler, Martin (1)
- Gattinger, Thorsten (1)
- Gautam, Khem Raj (1)
- Gebhardt, Kai (1)
- Gehl, Christian (1)
- Geisler, Uwe (1)
- Genske, Ulrich (1)
- Gerstberger, Herbert (1)
- Gerstenberger, Dietrich (1)
- Geßner, Hendrik (1)
- Ghasemzadeh, Mohammad (1)
- Giannini, Paola (1)
- Giebel, Antje (1)
- Giegerich, Robert (1)
- Gierl, Mark J. (1)
- Giloi, Wolfgang K. (1)
- Gioko, Anthony Maina (1)
- Glander, Tassilo (1)
- Glasemann, Marie (1)
- Glubudum, Prisana (1)
- Gomez Navarro, Laura (1)
- Gordon, Thomas F. (1)
- Grell, Petra (1)
- Greven, Christoph (1)
- Griesbaum, Joachim (1)
- Grimbs, Sergio (1)
- Grivtsov, A. G. (1)
- Gronewold, Sabine (1)
- Gros, Oliver (1)
- Groß, Sascha (1)
- Große-Bölting, Gregor (1)
- Grum, Marcus (1)
- Grunske, Lars (1)
- Gröger, Stefan (1)
- Gröne, Bernhard (1)
- Guo, Gang (1)
- Guy, C. L. (1)
- Götz, Christian (1)
- Gül, Senol (1)
- Haack, Ute (1)
- Haag, Johann (1)
- Haedge, Kora (1)
- Haertel, Tobias (1)
- Hallama, Nicole (1)
- Hamann, Fabian (1)
- Hamm, Bernd (1)
- Hammer, Christian (1)
- Han, Yazhou (1)
- Hara, Tenshi C. (1)
- Harris, Jacob Colt (1)
- Hartmann, Niklas (1)
- Hartmeier, Sven (1)
- Harutjunjan, Gohar (1)
- Haubrock, Sören (1)
- Haugsbakken, Halvdan (1)
- Havemann, Ulrich (1)
- Hawro, Marlena (1)
- Hawro, Tomasz (1)
- Hedayatipour, Ava (1)
- Hegewald, Eberhard (1)
- Heidegger, Phillip (1)
- Heiden, S. (1)
- Heinisch, Isabelle (1)
- Heinze, Theodor (1)
- Hellebrand, Sybille (1)
- Hempel, Sabrina (1)
- Hensinger, Johannes (1)
- Hentschel, Uwe (1)
- Hentschel, Uwe M.Sc. (1)
- Herbstreit, Stephanie (1)
- Hercher, Johannes (1)
- Hermenegildo, Manuel (1)
- Herrmann, Philipp (1)
- Herzog, Marc (1)
- Hetzer, Dirk (1)
- Hibbe, Marcel (1)
- Hildebrandt, Dieter (1)
- Hildebrandt, Stephan (1)
- Hinchey, Mike (1)
- Hinterberger, Thilo (1)
- Hitz, Michael (1)
- Hlawiczka, A. (1)
- Hlushchuk, Yevhen (1)
- Hoang, Thi Thanh Mai (1)
- Hocher, Berthold (1)
- Hoffmann, Daniel (1)
- Hofhues, Sandra (1)
- Hofreiter, Michael (1)
- Hoheisel, A. (1)
- Holler, Robin (1)
- Holz, Christian (1)
- Holz, Jan (1)
- Hoof, Karsten (1)
- Hoos, Holger H. (1)
- Hoppe, Uwe (1)
- Horn, Florian (1)
- Hosp, Sven (1)
- Hu, Ji (1)
- Huang, Wanjun (1)
- Huang, Yizhen (1)
- Humbert, Ludger (1)
- Humburg, Peter (1)
- Huong, Dinh Thi Thanh (1)
- Hurtienne, Dominik (1)
- Hutter, Frank (1)
- Häfner, Tanja (1)
- Häger, Sebastian (1)
- Hölscher, Michael (1)
- Hündling, Jens (1)
- Ifenthaler, Dirk (1)
- Igel, Christoph (1)
- Ilaghef, Youssef (1)
- Ilic, Stefan (1)
- Ilic, Stefan D. (1)
- Isenberg, Tobias (1)
- Jahnke, Isa (1)
- Jahnke, Paul (1)
- Jaisli, Isabel (1)
- Jakoblew, Marcel (1)
- Jaksic, Aleksandar (1)
- Jaksic, Aleksandar B. (1)
- Janke, David (1)
- Jeavons, Peter (1)
- Jentzsch, Anne-Kristin (1)
- Jha, Shantenu (1)
- Jiang, Chunyan (1)
- Jobst, Birgit (1)
- Joerges, Sven (1)
- Johannsen, Manfred (1)
- Jokic, Dejan (1)
- Jones, Anthony (1)
- Jung, Klaus (1)
- Jurgensen, Helmut (1)
- Jörges, Sven (1)
- Jürges, Henrik (1)
- Kalas, Ivan (1)
- Kalk, Philipp (1)
- Kalkbrenner, Gerrit (1)
- Kallookaran, Michael (1)
- Kanzow, Christian (1)
- Kaplan, F. (1)
- Kapp, Felix (1)
- Kappe, Leonard (1)
- Kari, L. (1)
- Karp, Lavi (1)
- Karri, R. (1)
- Karsten, Weicker (1)
- Kastens, Uwe (1)
- Katsura, M. (1)
- Kedmi, Ganit Eshel (1)
- Kehrer, Timo (1)
- Keller, Vera (1)
- Kelter, Udo (1)
- Kempkensteffen, Carsten (1)
- Kennewell, Steve (1)
- Kern-Isberner, Gabriele (1)
- Kersting, Oliver (1)
- Keverpütz, Claudia (1)
- Kilic, Mukayil (1)
- Kim, Joohyun (1)
- Kindsmüller, Martin Christof (1)
- Kirchner, Peter (1)
- Klaeren, Herbert (1)
- Klar, Tilman-Mathies (1)
- Kleickmann, Thilo (1)
- Klein, M. (1)
- Klieme, Eric (1)
- Klinger, Melanie (1)
- Klockmann, Alexander (1)
- Kloos, Carlos Delgado (1)
- Klotz, Volker (1)
- Knaebel, Rene (1)
- Knauel, Eric (1)
- Kneiphoff, Anika Hanna (1)
- Knoth, Alexander (1)
- Knöpfel, Andreas (1)
- Koelle, Ralph (1)
- Kohlmorgen, J. (1)
- Koller, Alexander (1)
- Kondratiev, V. A. (1)
- Konert, Johannes (1)
- Konnegen, Marcel (1)
- Kopka, Joachim (1)
- Korn, Klaus (1)
- Kose, F. (1)
- Kostädt, Peter (1)
- Koubek, Jochen (1)
- Kraak, Menno-Jan (1)
- Kraemer, Rolf (1)
- Krasnova, Hanna (1)
- Kratzke, Nane (1)
- Krause, Hans (1)
- Krekeler, Larissa (1)
- Kreowsky, Philipp (1)
- Kreutel, Jörn (1)
- Krokhin, Andrei (1)
- Krusienski, Dean (1)
- Krömker, Detlef (1)
- Kröning, Daniel (1)
- Krüger, Jens (1)
- Krüger, Klaus (1)
- Krüger, Stefan (1)
- Krüger, Tammo (1)
- Kubczak, Christian (1)
- Kubica, Tommy (1)
- Kubisch, D. (1)
- Kuentzer, Felipe A. (1)
- Kuhla, Kilian (1)
- Kulisch, Marian (1)
- Kundisch, Dennis (1)
- Kundu, S. (1)
- Kunzmann, Volker (1)
- Kupfer, Bernd (1)
- Kutzner, Tobias (1)
- Kwiatkowska, Anna Beata (1)
- Kwiecien, Alexandra (1)
- Kylau, Uwe (1)
- Körndle, Hermann (1)
- Küppers, Bastian (1)
- Lagriffoul, Fabien (1)
- Lakemeyer, Gerhard (1)
- Lakshmanan, M. (1)
- Lalena, Antonio M. (1)
- Lallena, Antonio M. (1)
- Lambers, Leen (1)
- Lang, Jérôme (1)
- Lang, Sabine (1)
- Lange, Sabine (1)
- Lange, Thomas (1)
- Larisch, Kathrin (1)
- Laroque, Christoph (1)
- Laskov, Pavel (1)
- Lass, Sander (1)
- Laub, Julian (1)
- Lauert, Alexander (1)
- Le Sommer, Julien (1)
- Lehker, Christoph (1)
- Leicht-Scholten, Carmen (1)
- Leino, Olli Tapio (1)
- Lemcke, Stefanie (1)
- Lerch, Alexander (1)
- Lerner, Heather (1)
- Lessmoellmann, Annette (1)
- Lettow, Karsten (1)
- Leukert, Bernd (1)
- Lewin, Cathy (1)
- Leyton-Brown, Kevin (1)
- Liang, Feng (1)
- Lin, Fangzhen (1)
- Lindauer, T. Marius (1)
- Lis, Monika (1)
- Lisec, Jan (1)
- Liske, Stefan (1)
- List, Christoph (1)
- Liu, Hai (1)
- Liu, Lengning (1)
- Liu, Rui (1)
- Liu, Yunzhen (1)
- LoBue, Peter (1)
- Lorenz, Claas (1)
- Lorenz, Haik (1)
- Lu, Li (1)
- Luckow, Andre (1)
- Ludwig, Joachim (1)
- Luedemann, A. (1)
- Luther, Eva-Maria (1)
- Luther, Laura (1)
- Ly, Ibrahim (1)
- Längrich, Matthias (1)
- Lösler, Thomas (1)
- Lübbe, Alexander (1)
- Ma, Shilong (1)
- Maaß, Stefan (1)
- Mach, Michael (1)
- Machlica, Lukas (1)
- Magaria, Tiziana (1)
- Magedanz, Thomas (1)
- Magerl, Markus (1)
- Mahr, Philipp (1)
- Makowski, Silvia (1)
- Manca, Vincenzo (1)
- Mandal, Chittaranjan (1)
- Mannens, Erik (1)
- Marco Figuera, Ramiro (1)
- Margaria-Steffen, Tiziana (1)
- Mariani, Ennio (1)
- Martens, Alke (1)
- Martin-Vide, Carlos (1)
- Marwan, Wolfgang (1)
- Marwecki, Sebastian (1)
- Mascher, Michael (1)
- Matheus, K. (1)
- Mattick, Volker (1)
- Mauch, Martina (1)
- Maurer, Marcus (1)
- McHardy, Alice C. (1)
- McNicol, Sarah (1)
- Meier, Arne (1)
- Melchinger, Albrecht E. (1)
- Menge, Falko (1)
- Menski, Sebastian (1)
- Merceron, Agathe (1)
- Merico, Davide (1)
- Merkulenko, N. N. (1)
- Messnarz, Richard (1)
- Metref, Sammy (1)
- Metz, Martin (1)
- Metzler, Richard (1)
- Meyer, Rhonda C. (1)
- Michallek, Florian (1)
- Micheuz, Peter (1)
- Mihahn, Michael (1)
- Millan, José del R. (1)
- Miller, Kurt (1)
- Mitschke, Robert (1)
- Mohamed, I. Raja (1)
- Moldt, Daniel (1)
- Montavon, Gregoire (1)
- Morisse, Marcel (1)
- Moritz, Josephine (1)
- Morozov, A. V. (1)
- Morrison, Mark (1)
- Mueller, Mike (1)
- Mueller, Stefanie (1)
- Muller, K. R. (1)
- Murali, K. (1)
- Mäker, Daniela (1)
- Möring, Sebastian (1)
- Müller, Claudia (1)
- Müller, Dorothee (1)
- Müller, Jürgen J. (1)
- Müller, S. (1)
- Müller, Stefanie (1)
- Müller, Stephan Heinz (1)
- Müller, Wolfgang (1)
- Müller-Röber, Bernd (1)
- Nagy, Benedek (1)
- Najafi, Pejman (1)
- Namasivayam, Gayathri (1)
- Narciss, Susanne (1)
- Nasib, A. H. Banijamali (1)
- Naujokat, Stefan (1)
- Naumann, Felix (1)
- Naumann, Uwe (1)
- Negru, Maria C. (1)
- Nelles, Wolfgang (1)
- Nesme, Vincent (1)
- Netzer, Cajus Marian (1)
- Neubauer, Johannes (1)
- Neugebauer, Jonas (1)
- Neuhaus, Alexander (1)
- Neumann, I. (1)
- Neumann, Stefan (1)
- Neuper, Christa (1)
- Nicolai, Claudia (1)
- Nicolelis, Miguel Angelo L. (1)
- Niehues, Stefan Markus (1)
- Niemueller, Tim (1)
- Nieß, Günther (1)
- Nikoloski, Zoran (1)
- Niu, Pengcheng (1)
- Noack, Franziska (1)
- Nofal, Issam (1)
- Noll, Michael G. (1)
- Nolte, G. (1)
- Nordmann, Paul-Patrick (1)
- Noseleit, Christof (1)
- Noskova, Tatiana N. (1)
- Nylén, Aletta (1)
- Ocheretnij, Vitalij (1)
- Ocheretny, Vitaly (1)
- Oette, Mark (1)
- Off, Thomas (1)
- Ohmes, Rick (1)
- Ohrndorf, Laura (1)
- Okimoto, Tenda (1)
- Omranian, Nooshin (1)
- Or-Bach, Rachel (1)
- Osorio, Mauricio (1)
- Otten, Jens (1)
- Ottinger, Sarah (1)
- Otto, Christian (1)
- Overdick, Hagen (1)
- Owassapian, Dominik (1)
- Pablo Alarcon, Pedro (1)
- Paijmans, Johanna L. A. (1)
- Panarese, P. (1)
- Panchenko, Oleksandr (1)
- Paredes, E. G. (1)
- Parra, L. (1)
- Pascalau, Emilian (1)
- Passerini, Andrea (1)
- Passig, David (1)
- Patil, Kaustubh R. (1)
- Pawelzik, K. (1)
- Pernici, Barbara (1)
- Perscheid, Michael (1)
- Petrasch, Roland (1)
- Petre, Marian (1)
- Petri, Stefan (1)
- Petrovic, Vladimir (1)
- Pevny, Tomas (1)
- Pfab, T. (1)
- Pflanz, Michael (1)
- Phusanga, Dara (1)
- Piesker, Björn (1)
- Platzer, Alexander (1)
- Ploskonos, Anna (1)
- Poel, Nora (1)
- Polleres, Axel (1)
- Polutina, Olena (1)
- Polze, Andreas (1)
- Pontelli, Enrico (1)
- Pope, Phillip B. (1)
- Pottbäcker, Florian (1)
- Prakash, Jyoti (1)
- Prescher, Denise (1)
- Preston, Christina (1)
- Prinetto, Paolo (1)
- Prohaska, Steffen (1)
- Proske, Antje (1)
- Przybylowicz, Katarzyna (1)
- Puhlmann, Frank (1)
- Pupka, Reiner (1)
- Pursian, Andreas (1)
- Pöhl, Frank (1)
- Queck, Tobias (1)
- Rafiee, Hosnieh (1)
- Rahnenfuhrer, Joerg (1)
- Rahnenführer, Jörg (1)
- Raimer, Stephan (1)
- Rajski, Janusz (1)
- Rao, Rajesh P. N. (1)
- Rath, Thomas (1)
- Ratsch-Heitmann, Michel (1)
- Rebensburg, Klaus (1)
- Reeh, Lucas (1)
- Reichel, Ingrid (1)
- Reidel, Ulrich (1)
- Renner, Clemens D. (1)
- Rentsch, Susanne (1)
- Repp, Leo (1)
- Repp, Stephan (1)
- Reso, Judith (1)
- Respondek, Tobias (1)
- Retsios, Bas (1)
- Reuß, Florian (1)
- Reynolds, Nicholas (1)
- Rhinow, Holger (1)
- Richter, Dirk (1)
- Richter, Eric (1)
- Richter, Rico (1)
- Richter, Tim (1)
- Rick, Detlef (1)
- Riedel, Christian (1)
- Rintanen, Jussi (1)
- Risch, V. (1)
- Ristic, Goran (1)
- Ristic, Goran S. (1)
- Rittweger, J. (1)
- Robbins, L. E. (1)
- Robinson-Mallett, Christopher (1)
- Robra-Bissantz, Susanne (1)
- Rockstroh, Juergen (1)
- Roderus, Simon (1)
- Roessner, Ute (1)
- Rolf, Meinhardt (1)
- Roomp, Kirsten (1)
- Rosamond, Frances (1)
- Roschke, Sebastian (1)
- Rose, Jürgen (1)
- Rossi, Angelo Pio (1)
- Rostock, Gisbert (1)
- Roth, Volker (1)
- Rozinat, A (1)
- Runge, Mario (1)
- Rzeha, Jan (1)
- Röpke, René (1)
- Sabuncu, Orkunt (1)
- Sadr-Azodi, Amir Shahab (1)
- Sagawe, Arno (1)
- Saint-Dizier, Patrick (1)
- Saito, Toshinori (1)
- Sajda, P. (1)
- Saleh, Eyad (1)
- Sander, Michael (1)
- Saposhnikov, VL. V. (1)
- Saposhnikov, Vl. V. V. V. (1)
- Sapozhaikov, Vl. V. (1)
- Sapozhnikov, V. V. (1)
- Sapoznikov, V. V. (1)
- Sapoznikov, VL. V. (1)
- Sarkar, Dipankar (1)
- Savenkov, Igor (1)
- Schacht, Alexander (1)
- Schaffner, Jan (1)
- Schaper, Niclas (1)
- Schapranow, Matthieu-Patrick (1)
- Scheele, Lasse (1)
- Scheer, Andrea (1)
- Scheller, Frieder W. (1)
- Scheppach, Lukas (1)
- Scherfenberg, Ivonne (1)
- Schick, Daniel (1)
- Schieweck, Steffen (1)
- Schiller, Thomas (1)
- Schindlauer, Roman (1)
- Schindler, Sven (1)
- Schirmer, Ingrid (1)
- Schlierkamp, Kathrin (1)
- Schlogl, Alois (1)
- Schlögl, Alois (1)
- Schmetz, Arno (1)
- Schmidt, Maren (1)
- Schmidt, Silke (1)
- Schmidt, Thilo (1)
- Schmitz, Dennis (1)
- Schneider, Marius (1)
- Schnjakin, Maxim (1)
- Schreiter, Torben (1)
- Schroder, Michael (1)
- Schröder, Michael (1)
- Schröter, Alexander (1)
- Schrötter, Max (1)
- Schuchhardt, Johannes (1)
- Schuhmann, Anna (1)
- Schulte, Jonas (1)
- Schulz-Hanke, Christian (1)
- Schulze, Gunnar (1)
- Schulze, Jörg (1)
- Schumacher, Kinga (1)
- Schumann, Matthias (1)
- Schuschel, Hilmar (1)
- Schwarzrock, Sebastian (1)
- Schwidrowski, Kirstin (1)
- Schwirtlich, Vincent (1)
- Schwotzer, Thomas (1)
- Schäfer, Len Ole (1)
- Schäpers, Björn (1)
- Schölkopf, Bernhard (1)
- Schön, Friedrich (1)
- Schöttler, Tobias (1)
- Schüler, Benjamin (1)
- Schünemann, Björn (1)
- Schütt, Christine (1)
- Schütze, Christopher (1)
- Sczyrba, Alexander (1)
- Sedelmaier, Yvonne (1)
- Seegerer, Stefan (1)
- Seidel, Edward (1)
- Selke, Harald (1)
- Semmo, Amir (1)
- Sens, Henriette (1)
- Senthilkumar, D. V. (1)
- Servetto, Marco (1)
- Sethmann, Richard (1)
- Shayduk, Roman (1)
- Shenoy, Pradeep (1)
- Shi, Shuting (1)
- Shoaib, Umar (1)
- Siegeris, Juliane (1)
- Sing, Tobias (1)
- Sitzmann, Daniel (1)
- Skoncej, Patryk (1)
- Smirnov, Sergey (1)
- Sogomonyan, Egor (1)
- Soll, Marcus (1)
- Sommerfeld, Erdmute (1)
- Spannagel, Christian (1)
- Spence, C. (1)
- Spengler, Klaus (1)
- Sperber, Michael (1)
- Spindler, Max (1)
- Spokoiny, Vladimir G. (1)
- Späth, Daniela (1)
- Srinivasan, K. (1)
- Stabernack, Benno (1)
- Stabernack, Christian Benno (1)
- Staiger, Ludwig (1)
- Stamenkovic, Zoran (1)
- Stavenhagen, Tilo (1)
- Steen, Alexander (1)
- Stege, Ulrike (1)
- Steinert, Christian (1)
- Steinert, Fritjof (1)
- Steinert, Markus (1)
- Steinfath, Matthias (1)
- Steinmetz, Ralf (1)
- Steipe, Boris (1)
- Stemme, Jonas (1)
- Steuer, Horst (1)
- Steuer, Ralf (1)
- Steć, Michał (1)
- Striewe, Michael (1)
- Stumpf, Sarah (1)
- Stupuriene, Gabriele (1)
- Stöpel, Christoph (1)
- Subodh, M. (1)
- Susanne, Boll (1)
- Swainston, Andrew (1)
- Swarna, M. (1)
- Syrbe, Jörn (1)
- Sysło, Maciej M. (1)
- Szalai, Cynthia (1)
- Szeider, Stefan (1)
- Taraschewski, Christian (1)
- Tarchanov, Nikolaj N. (1)
- Tavakoli, Hamad (1)
- Tavangarian, Djamshid (1)
- Tax, David (1)
- Teske, Daniel (1)
- Thiemann, Peter (1)
- Thierrin, G. (1)
- Thomas, Ivonne (1)
- Thon, Ingo (1)
- Thorbrügge, Carsten (1)
- Tiberius, Victor (1)
- Tiede, Gabriele (1)
- Tietz, Christian (1)
- Tillmann, Alexander (1)
- Trahms, L. (1)
- Tran, Son Cao (1)
- Troeger, Peter (1)
- Trommen, Michael (1)
- Truszczynski, M. (1)
- Truszczynski, Miroslaw (1)
- Trümper, Jonas (1)
- Tsuda, Koji (1)
- Turnbaugh, Peter J. (1)
- Tzuriel, David (1)
- Unnithan, Vikram (1)
- Urban, Diana (1)
- Van de Walle, Rik (1)
- Van der Aalst, Wil M. P. (1)
- Vandenhouten, Ralf (1)
- Vasovic, Nikola (1)
- Vaughan, Theresa M. (1)
- Veber, Philippe (1)
- Veltri, Natasha F. (1)
- Venkatraman, Srikanth (1)
- Verbeek, H. M. W. (1)
- Verborgh, Ruben (1)
- Verron, Jacques (1)
- Ververis, Vasilis (1)
- Vidal-Peracho, Concepcion (1)
- Vielhaber, Michael (1)
- Vierheller, Janine (1)
- Vigario, R. (1)
- Vogel, Thomas (1)
- Vogel, Tobias (1)
- Voigt, Horst (1)
- Voigt, Matthias (1)
- Volkmann, Gerald (1)
- Vollmost, Manfred (1)
- Vosseberg, Karin (1)
- Wadleigh, Rachel (1)
- Waga, Rosemary (1)
- Wagler, Annegret (1)
- Wagner, Christian (1)
- Wagner, Ralf (1)
- Wahl, Marina (1)
- Waitelonis, Jörg (1)
- Walter, Hauke (1)
- Walter, Satjawan (1)
- Walton, Douglas (1)
- Wang, Haibin (1)
- Wang, T. (1)
- Wang, Tinghuai (1)
- Waschulzik, Thomas (1)
- Weckwerth, Wolfram (1)
- Weicker, Nicole (1)
- Weiher, Marcel (1)
- Weikert, Cornelia (1)
- Weikert, Steffen (1)
- Weller, Karsten (1)
- Wen, Shi-Jie (1)
- Wenzel, Matthias (1)
- Wenzlaff, Boris (1)
- Werner, Reinhard F. (1)
- Weston, J. (1)
- Weßels, Doris (1)
- Whittaker, Michael (1)
- Wienkop, Uwe (1)
- Wiepke, Axel (1)
- Wilhelm, Otto (1)
- Willems, Christian (1)
- Willink, Dilya (1)
- Wischnewsky, M. (1)
- Wisniewski, Max (1)
- Wist, Dominic (1)
- Wolisz, A. (1)
- Wolter, Christian (1)
- Wong, P. (1)
- Wong, Richard (1)
- Woodcock, Jim (1)
- Wu, K. (1)
- Wust, Johannes (1)
- Wölfert, Volker (1)
- Wübbeler, G. (1)
- Xenikoudakis, Georgios (1)
- Yang, Haojin (1)
- Younie, Sarah (1)
- Zarezadeh, Aliakbar (1)
- Zeidler, Steffen (1)
- Zhang, Guoqiang (1)
- Zhou, Wei (1)
- Ziemann, Felix (1)
- Zien, Alexander (1)
- Zieris, Holger (1)
- Zinke, Jörg (1)
- Zorian, Yervant (1)
- Zoyke, Andrea (1)
- Zscheyge, Oliver (1)
- Zucca, Elena (1)
- de Carvalho, Jackson Marques (1)
- van Elzakker, Corne P. J. M. (1)
- van Hooland, Seth (1)
- van der Aalst, Wil M. P. (1)
- von Korff Schmising, Clemens (1)
- von Oertzen, Timo (1)
- von Websky, Karoline (1)
Year of publication
Document Type
- Article (577)
- Doctoral Thesis (203)
- Monograph/Edited Volume (135)
- Other (28)
- Conference Proceeding (17)
- Part of a Book (12)
- Master's Thesis (10)
- Postprint (10)
- Preprint (4)
- Bachelor Thesis (1)
Is part of the Bibliography
- yes (999) (remove)
Keywords
- answer set programming (13)
- Answer Set Programming (10)
- Answer set programming (10)
- Machine Learning (7)
- Maschinelles Lernen (7)
- Antwortmengenprogrammierung (6)
- E-Learning (6)
- Informatik (6)
- Modellierung (5)
- Informatikdidaktik (4)
Institute
- Institut für Informatik und Computational Science (999)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (18)
- Extern (5)
- Institut für Physik und Astronomie (2)
- Universitätsbibliothek (2)
- Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ) (2)
- eLiS - E-Learning in Studienbereichen (2)
- Department Erziehungswissenschaft (1)
- Department Linguistik (1)
- Fachgruppe Betriebswirtschaftslehre (1)
The aim of our project design space exploration with answer set programming is to develop a general framework based on Answer Set Programming (ASP) that finds valid solutions to the system design problem and simultaneously performs Design Space Exploration (DSE) to find the most favorable alternatives. We leverage recent developments in ASP solving that allow for tight integration of background theories to create a holistic framework for effective DSE.
Brewka, Gerhard ; Ellmauthaler, Stefan ; Kern-Isberner, Gabriele ; Obermeier, Philipp ; Ostrowski, Max ; Romero, Javier ; Schaub, Torsten ; Schieweck, Steffen
Gebser, Martin ; Kaminski, Roland ; Kaufmann, Benjamin ; Lühne, Patrick ; Obermeier, Philipp ; Ostrowski, Max ; Romero Davila, Javier ; Schaub, Torsten ; Schellhorn, Sebastian ; Wanko, Philipp
The Potsdam answer set solving collection, or Potassco for short, bundles various tools implementing and/or applying answer set programming. The article at hand succeeds an earlier description of the Potassco project published in Gebser et al. (AI Commun 24(2):107-124, 2011). Hence, we concentrate in what follows on the major features of the most recent, fifth generation of the ASP system clingo and highlight some recent resulting application systems.
Answer Set Programming faces an increasing popularity for problem solving in various domains. While its modeling language allows us to express many complex problems in an easy way, its solving technology enables their effective resolution. In what follows, we detail some of the key factors of its success. Answer Set Programming [ASP; Brewka et al. Commun ACM 54(12):92–103, (2011)] is seeing a rapid proliferation in academia and industry due to its easy and flexible way to model and solve knowledge-intense combinatorial (optimization) problems. To this end, ASP offers a high-level modeling language paired with high-performance solving technology. As a result, ASP systems provide out-off-the-box, general-purpose search engines that allow for enumerating (optimal) solutions. They are represented as answer sets, each being a set of atoms representing a solution. The declarative approach of ASP allows a user to concentrate on a problem’s specification rather than the computational means to solve it. This makes ASP a prime candidate for rapid prototyping and an attractive tool for teaching key AI techniques since complex problems can be expressed in a succinct and elaboration tolerant way. This is eased by the tuning of ASP’s modeling language to knowledge representation and reasoning (KRR). The resulting impact is nicely reflected by a growing range of successful applications of ASP [Erdem et al. AI Mag 37(3):53–68, 2016; Falkner et al. Industrial applications of answer set programming. K++nstliche Intelligenz (2018)]
THIS INSTALLMENT OF Research for Practice provides curated reading guides to technology for underserved communities and to new developments in personal fabrication. First, Tawanna Dillahunt describes design considerations and technology for underserved and impoverished communities. Designing for the more than 1.6 billion impoverished individuals worldwide requires special consideration of community needs, constraints, and context. Her selections span protocols for poor-quality communication networks, community-driven content generation, and resource and public service discovery. Second, Stefanie Mueller and Patrick Baudisch provide an overview of recent advances in personal fabrication (for example, 3D printers).
In vielen Studiengängen kommt es durch die oft heterogenen Vorkenntnisse in der Studieneingangsphase zu mangelnder Motivation durch Über- oder Unterforderung. Dieses Problem tritt auch in der musiktheoretischen Grundausbildung an Hochschulen auf. Durch Einsatz von Elementen, die aus dem Unterhaltungskontext geläufig sind, kann eine Steigerung der Motivation erreicht werden. Die Nutzung solcher Elemente wird als Gamification bezeichnet.
Das Ziel der vorliegenden Arbeit ist es, am Fallbeispiel der musiktheoretischen Grundausbildung zu analysieren, ob Lerngelegenheiten durch einen gamifizierten interaktiven Prototyp einer Lernumgebung unterstützt werden können. Dazu wird die folgende Forschungsfrage gestellt: Inwieweit wirkt Gamification auf die Motivation bei den Lernenden zur Beschäftigung mit dem Thema (musikalische) Funktionsanalyse?
Um die Forschungsfragen zu beantworten, wurde zunächst ein systematisches, theoriegeleitetes Vorgehensmodell zur Gamification von Lernumgebungen entwickelt und angewandt. Der so entstandene Prototyp wurde anschließend um alle Game-Design-Elemente reduziert und im Rahmen einer experimentellen Studie mit zwei unabhängigen Versuchsgruppen mit der gamifizierten Variante verglichen.
Die Untersuchung zeigte, dass die Gamification einer Lernanwendung nach dem entwickelten Vorgehensmodell grundsätzlich das Potenzial besitzt, manche Aspekte des Nutzungserlebnisses (UX) positiv zu beeinflussen. Insbesondere hatte die Gamification positive Effekte auf die Joy of Use und die Immersivität. Allerdings blieb das Ausmaß der beobachteten Effekte deutlich hinter den Erwartungen zurück, die auf Basis verschiedener Motivationstheorien getroffen wurden.
Daher erscheint Gamification besonders in außeruniversitären Kontexten vielversprechend, in denen der Fokus auf einer Erhöhung der Joy of Use oder einer Steigerung der Immersivität liegt. Allerdings lassen sich durch die Untersuchung neue Erkenntnisse zur emotionalen Wirkung von Gamification und zu einem systematischen Vorgehen bei der Gamification von Lernanwendungen herausstellen.
Weiterführende Forschung könnte an diese Erkenntnisse anknüpfen, indem sie die emotionale Wirkung von Gamification und deren Einfluss auf die Motivation näher untersucht. Darüber hinaus sollte sie Gamification auch aus einer entscheidungstheoretischen Perspektive betrachten und Analysemethoden entwickeln, mit denen entschieden werden kann, ob der Einsatz von Gamification zur Motivationssteigerung in einem spezifischen Anwendungsfall zielführend ist. Unter Verwendung des entwickelten Vorgehensmodells kann es sinnvoll sein, näher zu untersuchen, welche Faktoren insgesamt für das Gelingen einer Gamification-Maßnahme in Bildungskontexten entscheidend sind. Die Erkenntnisse einer solchen Untersuchung könnten entscheidend zur Verbesserung und Validierung des Vorgehensmodells beitragen.
In the last decades, there was a notable progress in solving the well-known Boolean satisfiability (Sat) problem, which can be witnessed by powerful Sat solvers. One of the reasons why these solvers are so fast are structural properties of instances that are utilized by the solver’s interna. This thesis deals with the well-studied structural property treewidth, which measures the closeness of an instance to being a tree. In fact, there are many problems parameterized by treewidth that are solvable in polynomial time in the instance size when parameterized by treewidth.
In this work, we study advanced treewidth-based methods and tools for problems in knowledge representation and reasoning (KR). Thereby, we provide means to establish precise runtime results (upper bounds) for canonical problems relevant to KR. Then, we present a new type of problem reduction, which we call decomposition-guided (DG) that
allows us to precisely monitor the treewidth when reducing from one problem to another problem. This new reduction type will be the basis for a long-open lower bound result for quantified Boolean formulas and allows us to design a new methodology for establishing runtime lower bounds for problems parameterized by treewidth.
Finally, despite these lower bounds, we provide an efficient implementation of algorithms that adhere to treewidth. Our approach finds suitable abstractions of instances, which are subsequently refined in a recursive fashion, and it uses Sat solvers for solving subproblems. It turns out that our resulting solver is quite competitive for two canonical counting problems related to Sat.
Discriminative Models for Biometric Identification using Micro- and Macro-Movements of the Eyes
(2021)
Human visual perception is an active process. Eye movements either alternate between fixations and saccades or follow a smooth pursuit movement in case of moving targets. Besides these macroscopic gaze patterns, the eyes perform involuntary micro-movements during fixations which are commonly categorized into micro-saccades, drift and tremor. Eye movements are frequently studied in cognitive psychology, because they reflect a complex interplay of perception, attention and oculomotor control.
A common insight of psychological research is that macro-movements are highly individual. Inspired by this finding, there has been a considerable amount of prior research on oculomotoric biometric identification. However, the accuracy of known approaches is too low and the time needed for identification is too long for any practical application. This thesis explores discriminative models for the task of biometric identification.
Discriminative models optimize a quality measure of the predictions and are usually superior to generative approaches in discriminative tasks. However, using discriminative models requires to select a suitable form of data representation for sequential eye gaze data; i.e., by engineering features or constructing a sequence kernel and the performance of the classification model strongly depends on the data representation. We study two fundamentally different ways of representing eye gaze within a discriminative framework. In the first part of this thesis, we explore the integration of data and psychological background knowledge in the form of generative models to construct representations. To this end, we first develop generative statistical models of gaze behavior during reading and scene viewing that account for viewer-specific distributional properties of gaze patterns. In a second step, we develop a discriminative identification model by deriving Fisher kernel functions from these and several baseline models. We find that an SVM with Fisher kernel is able to reliably identify users based on their eye gaze during reading and scene viewing. However, since the generative models are constrained to use low-frequency macro-movements, they discard a significant amount of information contained in the raw eye tracking signal at a high cost: identification requires about one minute of input recording, which makes it inapplicable for real world biometric systems. In the second part of this thesis, we study a purely data-driven modeling approach. Here, we aim at automatically discovering the individual pattern hidden in the raw eye tracking signal. To this end, we develop a deep convolutional neural network DeepEyedentification that processes yaw and pitch gaze velocities and learns a representation end-to-end. Compared to prior work, this model increases the identification accuracy by one order of magnitude and the time to identification decreases to only seconds. The DeepEyedentificationLive model further improves upon the identification performance by processing binocular input and it also detects presentation-attacks.
We find that by learning a representation, the performance of oculomotoric identification and presentation-attack detection can be driven close to practical relevance for biometric applications. Eye tracking devices with high sampling frequency and precision are expensive and the applicability of eye movement as a biometric feature heavily depends on cost of recording devices.
In the last part of this thesis, we therefore study the requirements on data quality by evaluating the performance of the DeepEyedentificationLive network under reduced spatial and temporal resolution. We find that the method still attains a high identification accuracy at a temporal resolution of only 250 Hz and a precision of 0.03 degrees. Reducing both does not have an additive deteriorating effect.