004 Datenverarbeitung; Informatik
Refine
Author
- Schmidt-Schauß, Manfred (95)
- Sabel, David (64)
- Brause, Rüdiger W. (30)
- Lötsch, Jörn (18)
- Mehler, Alexander (18)
- Stuckardt, Roland (16)
- Triesch, Jochen (15)
- Hinz, Oliver (12)
- Gros, Claudius (11)
- Roig Noguera, Gemma (11)
- Machkasova, Elena (10)
- Niehren, Joachim (10)
- Schwinghammer, Jan (10)
- Frank, Dirk (9)
- Kunz, Wolfgang (9)
- Schütz, Marko (9)
- Ultsch, Alfred (9)
- Wittum, Gabriel (9)
- Abrami, Giuseppe (8)
- Ackermann, Jörg (8)
- Dwivedi, Kshitij (8)
- Hemati, Wahed (8)
- Koch, Ina (8)
- Malcher, Andreas (8)
- Pape, Sebastian (8)
- Cichy, Radoslaw Martin (7)
- Dallmeyer, Nils (7)
- Drachsler, Hendrik (7)
- Hardy, Anne (7)
- Mann, Matthias (7)
- Rannenberg, Kai (7)
- Schulz, Marcel Holger (7)
- Arlt, Björn (6)
- Beetz, Simone (6)
- Echeveste, Rodrigo (6)
- Paetz, Jürgen (6)
- Queisser, Sean Gillian (6)
- Schweikardt, Nicole (6)
- Stoffel, Dominik (6)
- Stöcker, Horst (6)
- Zhou, Kai (6)
- Fritsch, Lothar (5)
- Höltgen, Stefan (5)
- Meyer, Ulrich (5)
- Risse, Thomas (5)
- Schneider, Jan (5)
- Tolle, Karsten (5)
- Amstein, Leonie Katharina (4)
- Beckedahl, Markus (4)
- Cuntz, Hermann (4)
- Fischlin, Marc (4)
- Himmelstein, Daniel S. (4)
- Hummer, Gerhard (4)
- Höllbacher, Susanne (4)
- Kaschube, Matthias (4)
- Knodel, Markus Michael (4)
- Lücking, Andy (4)
- McLaughlin, Stephen Reid (4)
- Neumann, Ingmar (4)
- Rau, Conrad (4)
- Rodriguez Romero, Ariel (4)
- Sauter, Anke (4)
- Spiecker Döhmann, Indra (4)
- Sprenger, Florian (4)
- Stoeckel, Manuel (4)
- Tzovaras, Bastian Greshake (4)
- Uslu, Tolga (4)
- Weinard, Maik (4)
- Wibral, Michael (4)
- Zicari, Roberto V. (4)
- Aalst, Wil van der (3)
- Biedermann, Daniel (3)
- Burchard, Christoph (3)
- Eckmann, Samuel (3)
- Fitzpatrick, David (3)
- Gleim, Rüdiger (3)
- Gramlich, Gregor (3)
- Grein, Stephan (3)
- Grimminger, Sanja (3)
- Hansmann, Martin-Leo (3)
- Hatamian, Majid (3)
- Hedrich, Lars (3)
- Hernández-Vargas, Esteban A. (3)
- Hoefer, Martin (3)
- Horn, Florian (3)
- Hummel, Thomas (3)
- Jedlička, Peter (3)
- Kalso, Eija (3)
- Karunanithi, Sivarajan (3)
- Katsaouni, Nikoletta (3)
- Kim, Pok-Son (3)
- Langsdorf, Timm Sebastian (3)
- Lizier, Joseph T. (3)
- Löbner, Sascha (3)
- Malkusch, Sebastian (3)
- Malsburg, Christoph von der (3)
- Mateen, Saba (3)
- Mayer, Benjamin (3)
- Mihale-Wilson, Cristina (3)
- Panitz, Sven Eric (3)
- Pipa, Gordon (3)
- Prokosch, Hans-Ulrich (3)
- Reiter, Sebastian (3)
- Roßnagel, Heiko (3)
- Rustemeier, Linda (3)
- Scheidel, Jennifer (3)
- Schiffner, Daniel (3)
- Schubert, Fabian (3)
- Schäfer, Hendrik (3)
- Steinheimer, Jan (3)
- Störiko, Anja (3)
- Tesfay, Welderufael Berhane (3)
- Veith, David (3)
- Voß-Nakkour, Sarah (3)
- Weinhardt, Christof (3)
- Whitney, David E. (3)
- Wollstadt, Patricia (3)
- Wurzel, Patrick (3)
- Adler, Alexander (2)
- Amann, Julia (2)
- Aul, Florian (2)
- Bal, Gökhan (2)
- Baumartz, Daniel (2)
- Baumgarten, Nina (2)
- Bertschinger, Nils (2)
- Betting, Benjamin (2)
- Boeker, Martin (2)
- Bonner, Michael F. (2)
- Breit, Markus (2)
- Bruneault, Frédérick (2)
- Brusseau, James (2)
- Brückner, Sebastian (2)
- Bufe, Johannes (2)
- Campano, Erik (2)
- Carpentier, Florent (2)
- Coffee, Megan (2)
- Demidova, Elena (2)
- Dierkes, Paul Wilhelm (2)
- Dietze, Stefan (2)
- Döring, Claudia (2)
- Düdder, Boris (2)
- Ehrlich, Isabelle (2)
- Fiebach, Christian (2)
- Gaitsch, Regina (2)
- Gallucci, Alessio (2)
- Gattinger, Thorsten (2)
- Ge, Lihao (2)
- Geiger, Romina (2)
- Gifford, Alessandro T. (2)
- Gifford, Alessandro Thomas (2)
- Glaßer, Christian (2)
- Goffi, Emmanuel (2)
- Graumann, Monika (2)
- Greene, Casey S. (2)
- Greene, Casey S. (2)
- Grillo, Alfio (2)
- Günther, Klaus (2)
- Haase, Christoffer Bjerre (2)
- Hafner, Anne-Sophie (2)
- Hagendorff, Thilo (2)
- Hahn, Tim (2)
- Hamker, Fred Henrik (2)
- Hammer, David (2)
- Hanisch, Ernst (2)
- Hannig, Jennifer (2)
- Harborth, David (2)
- Hartje, Hendrik (2)
- Harwath, Frederik (2)
- Heilemann, Mike (2)
- Heister, Frank (2)
- Henlein, Alexander (2)
- Hense, Stefanie (2)
- Hepp, Hans-Michael (2)
- Herremans, Dorien (2)
- Hickman, Eleanore (2)
- Hildt, Elisabeth (2)
- Hoenen, Armin (2)
- Holm, Sune (2)
- Hähner, Antje (2)
- Hörsch, Jonas (2)
- Iamshchinina, Polina (2)
- Ivanov, Todor (2)
- Jin, SouYoung (2)
- Kallmeyer, Laura (2)
- Kay, Kendrick (2)
- Kebschull, Udo (2)
- Keller, Katharina (2)
- Korbmann, Reiner (2)
- Kremer, Regina (2)
- Kringel, Dario (2)
- Kringen, Pedro (2)
- Krischker, Lukas (2)
- Kutz, Yunus (2)
- Kutzner, Arne (2)
- Kühn, Vincent Roy (2)
- Kühne, Ulrich (2)
- Lahner, Benjamin (2)
- Lascelles, Alex (2)
- Laufs, Helmut (2)
- Lazar, Andreea (2)
- Lenhart, Markus (2)
- Levernier, Jacob (2)
- Logashenko, Dmitry (2)
- Ludwig, Matthias (2)
- Madai, Vince Istvan (2)
- Matussek, Peter (2)
- Mertz, Tobias (2)
- Morrison, Robbie (2)
- Moruz, Gabriel (2)
- Mundt, Martin (2)
- Munro, Thomas Anthony (2)
- Möhring, Monika Maria (2)
- Naji, Mohamed (2)
- Nakamura, Toru (2)
- Negoescu, Andrei Laurian (2)
- Niederée, Claudia (2)
- Oliva, Aude (2)
- Omana Kuttan, Manjunath (2)
- Ozols, Matiss (2)
- Pacher, Mathias (2)
- Pan, Bowen (2)
- Pang, Long-Gang (2)
- Papailiou, Nikolaos (2)
- Parra-Rojas, César (2)
- Penschuck, Manuel (2)
- Peters, Wim (2)
- Peukert, Alexander (2)
- Pflüger, Dirk (2)
- Pietruschka, Ulf (2)
- Pin, Jean-Éric (2)
- Plachouras, Vassilis (2)
- Priesemann, Viola (2)
- Rahm, Johanna V. (2)
- Ramesh, Visvanathan (2)
- Ratan Murty, N. Apurva (2)
- Ritter, Marcel (2)
- Romano, Gianluca (2)
- Schaaf, Jannik (2)
- Scharf, Sonja (2)
- Scheffel, Maren (2)
- Schmalhofer, Sascha (2)
- Schmidt, Björn (2)
- Schnebel, Eberhard (2)
- Schnitger, Georg (2)
- Schnorr, Claus Peter (2)
- Schober, Peter (2)
- Schulze, Uwe (2)
- Schuster, Christoph M. (2)
- Schäfer, Johanna (2)
- Schäfer, Stefan L. (2)
- Schäfer, Tim (2)
- Sedlmayr, Martin (2)
- Selivanov, Victor (2)
- Senellart, Pierre (2)
- Shi, Bertram E. (2)
- Shing, Yee Lee (2)
- Shivakumar, Abhishek (2)
- Siehndel, Patrick (2)
- Siggel, Marc (2)
- Simon, Martin (2)
- Smajić, Alen (2)
- Spezzatti, Andy (2)
- Spiliotopoulos, Dimitris (2)
- Stavrakas, Yannis (2)
- Stegbauer, Christian (2)
- Storf, Holger (2)
- Sulimma, Kolja (2)
- Thomas, Wolfgang (2)
- Tillmann, Alexander (2)
- Tratar, Erwin (2)
- Tronnier, Frédéric (2)
- Trägenap, Sigrid (2)
- Valentin, Julian (2)
- Vetter, Dennis (2)
- Vo, Anh Duong (2)
- Volland, Holger (2)
- Wang, Xin-Nian (2)
- Westerlund, Magnus (2)
- Wigg-Wolf, David (2)
- Wilmot, Charles (2)
- Wurth, Renee (2)
- Zahn, Moritz von (2)
- Đikić, Ivan (2)
- Abawi, Daniel Farid (1)
- Abdel-Karim, Benjamin M. (1)
- Abdel‑Karim, Benjamin M. (1)
- Aboutalib, Sarah (1)
- Abramov, Olga (1)
- Acker-Palmer, Amparo (1)
- Adeberg, Pascal (1)
- Adler, Isolde (1)
- Ahmed, Sajawel (1)
- Ahmed, Sheraz (1)
- Alamanis, Aliki Sophia (1)
- Albert, Stefan (1)
- Albuquerque, João Porto de (1)
- Alfitian, Jonas (1)
- Alfstad, Thomas (1)
- Alipek, Sercan (1)
- Allahyari-Jam, Elham (1)
- Almulla, Youssef (1)
- Alt, Torsten (1)
- Altun, Fatma Betül (1)
- Alves Zipf, Pedro (1)
- Amhamdi, Tarik (1)
- Amiri, Mohammad (1)
- Anderson, Liana (1)
- Annen, Jitka (1)
- Antun, Vegard (1)
- Asai, Yusuke (1)
- Asir, Samet (1)
- Assis Pires, Francisco Patruz Ananias de (1)
- Assis, Aisllan (1)
- Asvestopoulos, Sofia (1)
- Baasner, Silke (1)
- Babazadeh, Arwin (1)
- Bading, Hilmar (1)
- Badino, Hernán (1)
- Bagheri, Fatemeh (1)
- Baker, Ashraf Abu (1)
- Balamurali, B T (1)
- Baldassarre, Gianluca (1)
- Barbieri, Nicola (1)
- Barke, Erich (1)
- Barth, Pia (1)
- Batulin, Danylo (1)
- Bauer, Jochen (1)
- Bauer, Kevin (1)
- Bause, Daniela (1)
- Bechtold, Stefan Hans (1)
- Beck, Martin (1)
- Becker, Birgit (1)
- Becker, Christian Robert (1)
- Bedhomme, Stéphanie (1)
- Behrends, Sylke (1)
- Beltramo, Agnese (1)
- Bendle, Dominik (1)
- Bengtson, Peter von der (1)
- Benlian, Alexander (1)
- Bensafi, Moustafa (1)
- Benuskova, Lubica (1)
- Beretta, Valentina (1)
- Berger, Tobias (1)
- Bergmann, Frank (1)
- Berking, Carola (1)
- Bernardes-Souza, Breno (1)
- Bernards, Markus (1)
- Bernatz, Simon (1)
- Besser, Bert (1)
- Bhattacharyya, Shinibali (1)
- Biedermann, Bernadette (1)
- Biemann, Chris (1)
- Bienwald, Joachim (1)
- Biggeleben, Matthias (1)
- Bignardi, Giacomo (1)
- Bilanovic, Daniel (1)
- Bill, Johannes (1)
- Bird, Alex D. (1)
- Bird, Alexander D (1)
- Bird, Alexander D. (1)
- Bissen, Diane (1)
- Blasini, Romina (1)
- Blomberg, Stig Nikolaj (1)
- Blume, Judith (1)
- Bode, Helge Björn (1)
- Boehme, Julia D. (1)
- Boenkost, Florin (1)
- Boettger, Stefan (1)
- Bohlinger, Nico (1)
- Bonhomme, Vincent (1)
- Bott, Jürgen (1)
- Brammer, Michael (1)
- Braun, Stephan Alexander (1)
- Brause, Rüdiger (1)
- Bravo, Ignacio G. (1)
- Breiner, Tobias Christopher (1)
- Brenner, Franziska (1)
- Brickwedde, Fabian (1)
- Brinker, Titus Josef (1)
- Broad, Oliver (1)
- Brodal, Gerth Stølting (1)
- Brodersen, John (1)
- Bronder, Benjamin (1)
- Brown, Thomas (1)
- Brown, Tom (1)
- Bruder, Dunja (1)
- Brunner, Georg (1)
- Bucher, Dan (1)
- Bucher, Daniel (1)
- Buchminskaia, Ekaterina (1)
- Buczak, Katarzyna (1)
- Buesing, Lars (1)
- Bunse, Stefanie (1)
- Burandt, Thorsten (1)
- Burger, Armin (1)
- Bärenwald, Lucas (1)
- Böhm, Janko (1)
- Bönisch, Kevin (1)
- Böttcher, Katja (1)
- Bühler, Christian (1)
- Bürger, Sarah Suzanne (1)
- Büttner, Florian (1)
- Camurcu, Efe (1)
- Castro Degrossi, Lívia (1)
- Cautis, Bogdan (1)
- Chakraborty, Megha (1)
- Chantratita, Narisara (1)
- Chatterjee, Mitrajit (1)
- Chia, Yew Ken (1)
- Chilla, Solveig (1)
- Christensen, Helle Collatz (1)
- Corlath, Christian (1)
- Corrêa, Paulo César Rodrigues Pinto (1)
- Costola, Michele (1)
- Covino, Roberto (1)
- Crane, Gregory (1)
- Csallner, Christoph (1)
- Czerepan, Marc (1)
- Dahab, Eiman Abou El (1)
- Dallmeyer, Jörg (1)
- Dannlowski, Udo (1)
- Davis, Chris (1)
- Deco, Gustavo (1)
- Demaine, Erik D. (1)
- Demertzi, Athena (1)
- Demuth, Ute (1)
- Dengel, Andreas (1)
- Deppenwiese, Noemi (1)
- Di Mitri, Daniele (1)
- Diab, Abdel Magied (1)
- Diao, Yanlei (1)
- Dietz, Marina (1)
- Dischl, Rebecca (1)
- Djami, Lily (1)
- Doka, Katerina (1)
- Doubali, Benjamin (1)
- Dressler, Mareike (1)
- Driller, Christine (1)
- Drusko, Armin (1)
- Du, Yi-Lun (1)
- Dubinin, Igor (1)
- Dummer, Sven (1)
- Dächert, Paul (1)
- Döll, Petra (1)
- Dötsch, Volker (1)
- Ecker, Christine (1)
- Effenberger, Felix (1)
- Efthymiou, Charilaos (1)
- Eichhorn, Michael (1)
- Eichler, Hermann (1)
- Eichmann, Beate (1)
- Eidemüller, Dirk (1)
- Einloft, Jens (1)
- Ekelmans, Pierre (1)
- Eley, Malte (1)
- Ellger, Björn (1)
- Ende, Bartholomäus (1)
- Engel, Heiko (1)
- Englmeier, Gisbert (1)
- Enk, Alexander (1)
- Eppler, Jens-Bastian (1)
- Erbs, Friedrich Philipp Joachim Erich (1)
- Ernsting, Jan (1)
- Eschmann, Frank (1)
- Eser, Jürgen (1)
- Faber, Johannes (1)
- Faccioli, Pietro (1)
- Fagerberg, Rolf (1)
- Faheem, Muhammad (1)
- Faizi, Marcel Gino (1)
- Fanani, Nolang (1)
- Faßler, Manfred (1)
- Feist, Melanie (1)
- Fekete, Sándor P. (1)
- Feld, Thomas (1)
- Felden, Tobias (1)
- Felka, Patrick (1)
- Fellbaum, Christiane Dorothea (1)
- Ferrari, Francesco (1)
- Fertig, Christian (1)
- Feuerriegel, Stefan (1)
- Fickinger, Samuel (1)
- Filipović, Bartol (1)
- Filk, Christian (1)
- Finn, Conor (1)
- Fischer, Jonas (1)
- Fischer-Hübner, Simone (1)
- Fischlin, Roger (1)
- Fisseler, Björn (1)
- Flinner, Nadine (1)
- Fojdl, Josef (1)
- Fol, Elena (1)
- Folz, Michael (1)
- Forestier, Sébastien (1)
- Franke, Jörg (1)
- Freydenberger, Dominik D. (1)
- Friedrich, F. (1)
- Friedrich, Holger (1)
- Fritzsche, Johannes Christian (1)
- Fulda, Simone (1)
- Funk, Adam (1)
- Färber, Valentin Lutz Fabian (1)
- Félez-Sánchez, Marta (1)
- Gampe, Sebastian (1)
- Ganapini, Marianna B. (1)
- Gardumi, Francesco (1)
- Garmatter, Dominik Karl (1)
- Gatzka, Martina (1)
- Gašević, Dragan (1)
- Gebelein, Jáno (1)
- Gebhard, Oliver (1)
- Geiger, Gad (1)
- Gelleszun, Marlene (1)
- Gerber, Andrea (1)
- Gerhard, Felipe (1)
- Gerke, Sara (1)
- Gersdorf, Jörn (1)
- Ghamari, Danial (1)
- Gidden, Matthew (1)
- Gidon, Albert (1)
- Giese, Heiko (1)
- Gilbert, Thomas Krendl (1)
- Glaser, Luis (1)
- Goldhammer, Frank (1)
- González-Bravo, Maria Isabel (1)
- Gorbunov, Sergey (1)
- Gorlt, Marcel (1)
- Gottfrois, Philippe (1)
- Gottschalk, Antje (1)
- Grabowski, Darius (1)
- Graumann, Peter (1)
- Greif, Samuel (1)
- Groh, Daniel (1)
- Grohe, Martin (1)
- Groneberg, Jan David Alexander (1)
- Gronjak, Krešimir (1)
- Gruber, Ethan (1)
- Gruber, Marius (1)
- Grycko, Arkadius E. (1)
- Gräfnitz, Lara (1)
- Gründner, Julian (1)
- Grüne, Markus (1)
- Gu, Yu (1)
- Gulden, Christian (1)
- Gurjanow, Iwan (1)
- Guttner, Patrick (1)
- Gärtner, Melanie (1)
- Gómez Ramírez, Andrés (1)
- Gökayaz, Başak Pırıl (1)
- Gübert, Jennifer (1)
- Haak, Maria (1)
- Haase, Jan (1)
- Habenschuss, Stefan (1)
- Habscheid, Stephan (1)
- Habtemariam, Dereje Tewolde (1)
- Hagen, Wim (1)
- Hagenston, Anna (1)
- Hahn, Niklas (1)
- Hahn, Patrick (1)
- Hahn-Klimroth, Maximilian Grischa (1)
- Han, Yena (1)
- Harders, Matthias (1)
- Hardoon, David Roi (1)
- Harno, Hanna (1)
- Hartmann, Christoph (1)
- Hartmann, Maximilian (1)
- Hartmann, Sylvia (1)
- Haslinger, Robert (1)
- Hauer, Marcel (1)
- Hauke, Philipp (1)
- Heath, Sebastian (1)
- Hebel, Marie (1)
- Hechtel, Michael (1)
- Hector, Tim Moritz (1)
- Heimberg, Lucas (1)
- Hein, Bettina (1)
- Heinrichs, Heidi (1)
- Helfert, Markus (1)
- Hennies, Johannes (1)
- Henschler, Julia (1)
- Heppt, Markus V. (1)
- Herbert, Jan Kim (1)
- Hermanin de Reichenfeld, Carlo (1)
- Hernich, André (1)
- Hernández, Tania (1)
- Herrmann, Eva (1)
- Heuberger, Clara (1)
- Heß, Martin (1)
- Hildebrand, Markus (1)
- Hillemacher, Monika (1)
- Hillgärtner, Harald (1)
- Hillrichs, Eilhard (1)
- Hilpert, Simon (1)
- Hirth, Lion (1)
- Hoang, Hieu (1)
- Hoebel, Natascha (1)
- Hoffmann, Hilko (1)
- Hoffmann, Nora (1)
- Hohermuth, Jessica (1)
- Holstein, Katharina (1)
- Holstein, Vincent Leonard (1)
- Holtrup, Sven (1)
- Holzhauer, Susanne (1)
- Holzmann, Helge (1)
- Holzwarth, Martin (1)
- Homann, Jörg (1)
- Hong, Yongwon (1)
- Honndorf, Stefanie (1)
- Hoofnagle, Chris (1)
- Hormuth, Franziska (1)
- Hornisch, Christian (1)
- Howahr, M. (1)
- Howells, Mark (1)
- Hrncal, Christine (1)
- Hromkovič, Juraj (1)
- Huang, Changquan (1)
- Huang, Jiahui (1)
- Huber, Michael (1)
- Huster, Anne (1)
- Hutter, Dirk (1)
- Hutter, Eric (1)
- Höfler, Carolin (1)
- Ibáñez, Agustín (1)
- Iofciu, Tereza (1)
- Iwarsson, Susanne (1)
- Izquierdo Rojas, Paul (1)
- Jagow, Johanna (1)
- Jahan Tithi, Jesmin (1)
- Jahn, Tim Nikolas (1)
- Jan, Schwenkenbecher (1)
- Janssen, Anneke (1)
- Janssen, Inka (1)
- Jaspers, Ulrike (1)
- Jeron, Andreas (1)
- Jesberg, Jens (1)
- Jhutty, Suneet Singh (1)
- Jitsev, Evgueni (1)
- Johannfunke, Michael (1)
- Jonsson, Oskar (1)
- Joschko, Viola (1)
- Jost, Jürgen (1)
- Jungk, Bernhard (1)
- Jurisch, Matthias (1)
- Jurjuţ, Ovidiu Florin (1)
- Jürjens, Jan (1)
- Kaczmarek, Dennis (1)
- Kahl, Christian (1)
- Kalbe, Thomas (1)
- Kalemba, Samira (1)
- Kalle, Christof von (1)
- Kaltenbach, Benjamin (1)
- Kamin, Anna-Maria (1)
- Kamp, Christel (1)
- Kamysheva, Natalia (1)
- Kang, Chieh (1)
- Kapetanopoulos, Tobias (1)
- Kaplan, Frederic (1)
- Kappatsch, Tobias (1)
- Kararigas, Georgios (1)
- Karpf, Jörg (1)
- Karwoth, Christoph (1)
- Kehl, Sebastian (1)
- Kenyuk, Vasyl (1)
- Kersken, Verena (1)
- Kett, Attila (1)
- Kett, Jürgen (1)
- Keßler, Marcus D. (1)
- Keßler, Thorsten (1)
- Kiel, Alexander (1)
- Kim, Hee Eun (1)
- Kinnunen, Suna (1)
- Kipker, Dennis-Kenji (1)
- Kirchner, Melanie (1)
- Kirsch, Stefan (1)
- Kisel, Ivan (1)
- Kisel, Pavel (1)
- Kitmeridis, Panagiotis (1)
- Kiyomoto, Shinsaku (1)
- Klamroth, Robert (1)
- Klann, Kevin (1)
- Klauck, Hartmut (1)
- Klein, Anja (1)
- Klimmasch, Lukas (1)
- Klinger, Patricia (1)
- Klippel, Josefine (1)
- Klonner, Carolin (1)
- Klossek, Martin (1)
- Kneier, Fabian (1)
- Knöfler, Ralf (1)
- Kohonen-Aho, Laura (1)
- Kolbeck, Stefan Heinrich (1)
- Kolluru, Yashwant (1)
- Konca, Maksims (1)
- Konca, Maxim (1)
- Konrad, Christoph (1)
- Kosakov, Dimitar (1)
- Kosinski, Jan (1)
- Kovács, Annamária (1)
- Koy, Henrik (1)
- Kozlov, Grigory (1)
- Krakow, Karsten (1)
- Krause, David (1)
- Krause, Philipp Klaus (1)
- Kraynyukova, Nataliya (1)
- Krendl Gilbert, Thomas (1)
- Krien, Uwe (1)
- Kringelbach, Morten L. (1)
- Kroll, Björn (1)
- Krontiris, Ioannis (1)
- Krumhuber, Eva G. (1)
- Krämer, Franziska (1)
- Krömker, Detlef (1)
- Krüger, Tom (1)
- Kuhnert, Ralph (1)
- Kuntschik, Andrea Mechtilde Lisbeth (1)
- Kurfürst, Dennis (1)
- Kurjak, Tim (1)
- Kursawe, Klaus (1)
- Kurschat-Pilhofer, Ruth (1)
- Kutsia, Temur (1)
- Köfinger, Jürgen (1)
- Köhler, Thomas (1)
- König, Kamil René (1)
- Kühl, Niklas (1)
- Küster, Dennis (1)
- Lang, Zeki Nejat Philipp Konstantin (1)
- Laureys, Steven (1)
- Lautemann, Sven-Eric (1)
- Lee Drake, Brandon (1)
- Leenings, Ramona (1)
- Legenstein, Robert (1)
- Lehrbach, Johannes (1)
- Leineweber, Christoph (1)
- Lenz, Christopher (1)
- Leonhardt, Alexander (1)
- Levy, Jordi (1)
- Li, Fupeng (1)
- Li, Kaituo (1)
- Li, Qingfeng (1)
- Li, Wei (1)
- Lima-Silva, Fernanda (1)
- Litvinenko, Alexander (1)
- Lokot, Tatiana (1)
- Lonini, Luca (1)
- Lorenz-Meyer, Andreas (1)
- Lorion, Yann (1)
- Lossa, Roman (1)
- Lowin, Maximilian (1)
- Lu, Diyuan (1)
- Lucieri, Adriano (1)
- Lund, Michael (1)
- Lupi, Matteo (1)
- Lux, Katrin (1)
- López-Ortiz, Alejandro (1)
- Lööck, Simon (1)
- Lü, Hongliang (1)
- Lüdde, Cora (1)
- Lüdke, David (1)
- Lüttmann, Finnja (1)
- Maass, Wolfgang (1)
- Mackmull, Marie-Therese (1)
- Mahnke, Tobias (1)
- Majeed, Raphael W. (1)
- Male, Christoph (1)
- Malzer, Claudia (1)
- Manieri, Andrea (1)
- Mantrach, Amin (1)
- Manz, Sebastian Andreas (1)
- Marciniak, Daniel (1)
- Margiotta, Erica (1)
- Marhöfer, Michael (1)
- Marquand, Andre F. (1)
- Martial, Charlotte (1)
- Martin, Laura (1)
- Masanès, Julien (1)
- Masny, Patrick (1)
- Massacci, Fabio (1)
- Massar, Tamara (1)
- Matke, Carsten (1)
- Mattern, Dominik (1)
- Matthäus, Franziska (1)
- Mauri, Marcel (1)
- May, Alexander (1)
- Maynard, Diana (1)
- Mayr, Andreas (1)
- McLauchlan, John (1)
- Meadows, Andrew (1)
- Medlicott, Oriana (1)
- Meissner, Markus (1)
- Meister, Andre (1)
- Menge, Wolfgang (1)
- Mereghetti, Carlo (1)
- Mertins, Phillip (1)
- Mertz, Thomas (1)
- Meyer, Bhakti (1)
- Meyer, Dirk (1)
- Michalek, Markus (1)
- Miesbach, Wolfgang (1)
- Miettinen, Teemu (1)
- Milicic, Gregor (1)
- Milkau, Udo (1)
- Mittag, Klaus (1)
- Momen, Nurul (1)
- Moreira Madeira, Gustavo (1)
- Moreno-Sánchez, Pedro A. (1)
- Mosalaganti, Shyamal Narayan (1)
- Motornenko, Anton (1)
- Mourão-Miranda, Janaina (1)
- Murphy-Chutorian, Erik (1)
- Mustonen, Laura (1)
- Mäntyselkä, Pekka (1)
- Mårtensson, Knut (1)
- Mönch, Christian Alexander (1)
- Möslein, Florian (1)
- Mühlich, Matthias (1)
- Müller, Berit (1)
- Müller, Noela (1)
- Münch, Christian (1)
- Nakhe, Paresh (1)
- Nam, Rachel J. (1)
- Narasimhan, Krishna (1)
- Narayanasamy, Kaarjel K. (1)
- Nassirian, Azadeh (1)
- Naumann, Johannes (1)
- Nebel, Arjuna (1)
- Neidert, Yvonne (1)
- Nemec, Toni (1)
- Nessler, Bernhard (1)
- Nešković, Gvozden (1)
- Niemann, Raik (1)
- Nieminen, Anni I. (1)
- Niet, Taco (1)
- Nirwan, Rajbir Singh (1)
- Nofer, Michael (1)
- Nouak, Alexander (1)
- Nägel, Arne (1)
- Obarska-Kosinska, Agnieszka (1)
- Oberschelp, Axel (1)
- Oldenburg, Johannes (1)
- Olivieri, Martin (1)
- Omlor, Albert Joachim (1)
- Osika, Walter (1)
- Osman-El Sayed, Rihab (1)
- Oswald, Frank (1)
- Ott, Melissa (1)
- Ottenheimer, Davi (1)
- Oudeyer, Pierre-Yves (1)
- Pachzelt, Adrian (1)
- Paci, Federica (1)
- Paes, Thomas (1)
- Palano, Beatrice (1)
- Palazzani, Laura (1)
- Pallavicini, Carla (1)
- Pallus, Sven (1)
- Panda, Rajanikant (1)
- Parczyk, Olaf (1)
- Parmentier, Yannick (1)
- Paukert, Marco (1)
- Paul, Gerd (1)
- Paul, Niklas (1)
- Peiris, Thedini Asali (1)
- Pelizzon, Loriana (1)
- Pelowski, Matthew (1)
- Pereyra, Marc (1)
- Pergolesi, Matteo (1)
- Perkovic, Toni (1)
- Peschke, Susanne (1)
- Peter, Ulrike (1)
- Petersen, Hannah (1)
- Petrin, Martin (1)
- Pett, Daniel (1)
- Petzold, Wolfgang (1)
- Peukert, Christian (1)
- Peña Balderrama, Gabriela (1)
- Pfeiffer, Matthias (1)
- Pfenninger, Stefan (1)
- Pfeuffer, Nicolas (1)
- Phillips, William A. (1)
- Pias, Claus (1)
- Pietschmann, Daniel (1)
- Pilhofer, Frank (1)
- Pinggera, Peter (1)
- Pinnecke, Nico (1)
- Pinto de Moura, Gustavo Nikolaus (1)
- Pinto dos Santos, Daniel (1)
- Platte, Daniel (1)
- Plennert, Matthias (1)
- Pleßmann, Guido (1)
- Pliushch, Iuliia (1)
- Pluska, Lukas (1)
- Podszus, Martin (1)
- Poggio, Tomaso (1)
- Popp, Oliver (1)
- Pour, Pouneh Khayat (1)
- Pradhan, Dhiraj K. (1)
- Praharaj, Sambit (1)
- Priewe, Arne (1)
- Prohl, Raphael-Alexander (1)
- Pucitec, Liene (1)
- Puder, Arno (1)
- Pérez Ipiña, Ignacio (1)
- Qi, Guanxiao (1)
- Qian, Jing (1)
- Qoku, Arber (1)
- Quast, Holger (1)
- Queisser, Gillian (1)
- Quinteros Cartaya, Claudia (1)
- Raifer, Martin (1)
- Ramos, Eunice (1)
- Ravelomanana, Jean Bernoulli (1)
- Rebiger, Simon (1)
- Rechberger, Julia (1)
- Redelbach, Andreas (1)
- Reeg, Matthias (1)
- Reichau, Hermine (1)
- Reichel, Sibylle (1)
- Reichenbach, Christoph (1)
- Remak-Honnef, Elisabeth (1)
- Ren, Yue (1)
- Repple, Jonathan (1)
- Reuter, Klaus (1)
- Richstein, Jörn C.. (1)
- Richter, Kai (1)
- Rill, Sven (1)
- Rimland, Joseph M. (1)
- Rippl, Michael (1)
- Risse, Benjamin (1)
- Rittberger, Marc (1)
- Rodrigues, Túlio Felício da Cunha (1)
- Rogalla, Irmhild (1)
- Rohde, Gernot Gerhard Ulrich (1)
- Rosbach, Nicolas (1)
- Rosen, Julius von (1)
- Rosenau, Lorenz (1)
- Rote, Günter (1)
- Rumpel, Simon (1)
- Rumpf, Laura (1)
- Runge, Mathias (1)
- Römer, Kay (1)
- Rühle, Mathias (1)
- Rümpker, Georg (1)
- Rüscher, Frederike Anna (1)
- Sacher, Patrick (1)
- Safre, Pavel (1)
- Sagheb, Kawe (1)
- Sang, Alexander (1)
- Sanz Perl, Yonatan (1)
- Sarink, Kelvin (1)
- Schauer, Michaela (1)
- Schefels, Clemens (1)
- Scheffer, Thomas (1)
- Scheidl, Marc-Anton (1)
- Schenk, Niko (1)
- Scherner, Tobias (1)
- Scheven, Christiane von (1)
- Schewior, Kevin (1)
- Schickedanz, Alexander (1)
- Schlachtberger, David Peter (1)
- Schlecht, Ingmar (1)
- Schleiff, Enrico (1)
- Schlereth, Christian (1)
- Schmid, Eva (1)
- Schmid, Jan Fabian (1)
- Schmidt, Florian H. (1)
- Schmidt, Guido (1)
- Schmidt, Steven M. (1)
- Schmitz, Marcel (1)
- Schneider, Anke (1)
- Schneider, Gaby (1)
- Schneider, Marius (1)
- Schneider, Michael (1)
- Schneider, Phillip (1)
- Schneider, Sebastian (1)
- Schneider, Sven (1)
- Schreiber, Jens (1)
- Schrickell, Isabell (1)
- Schrottenbacher, Patrick (1)
- Schröter, Benjamin Frederik (1)
- Schughart, Klaus (1)
- Schulte, Gwendolyn (1)
- Schultz, Kristin (1)
- Schulz, Clemens (1)
- Schulz, Klaus U. (1)
- Schulze, Gisela C. (1)
- Schuman, Erich (1)
- Schumann, René (1)
- Schwarz, Peter E. H. (1)
- Schweer, Nils (1)
- Schweizer, Börje (1)
- Schwenkenbecher, Jan (1)
- Schwentick, Thomas (1)
- Schymura, Daria (1)
- Schäfer, Sebastian (1)
- Schütt, Marie-Luise (1)
- Schüttler, Christina (1)
- Sedgewick, Robert (1)
- Sedlmayr, Brita (1)
- Seeger, Werner (1)
- Seeliger, Norman (1)
- Seiler, Christian (1)
- Seitz, Johannes (1)
- Shawe-Taylor, John (1)
- Shenawy, Sameh (1)
- Shi, Shuzhe (1)
- Shi, Yan-Ni (1)
- Shi, Yi-Ming (1)
- Sibarita, Jean-Baptiste (1)
- Siberski, Wolf (1)
- Siegmund, Frank (1)
- Simon, Felix M. (1)
- Simonyi, Svenja (1)
- Sipila, Reetta (1)
- Sitt, Jacobo (1)
- Slaug, Björn (1)
- Smaragdakis, Yannis (1)
- Smith, Gordon B. (1)
- Soma, Shriya (1)
- Sommer, Thomas (1)
- Spann, Martin (1)
- Specht, Marcus (1)
- Specker, Eva (1)
- Speicher, Max (1)
- Sridharan, Vignesh (1)
- Srivastava, Nishtha (1)
- Staffell, Iain (1)
- Stamm, Christopher (1)
- Stegemann-Koniszewski, Sabine (1)
- Stein, Adelheit (1)
- Stein, Alexandra (1)
- Steinbach, Julia (1)
- Steinhorst, Sebastian (1)
- Stelter, Annette Katharina (1)
- Stelter, Mattea (1)
- Stelzer, Ernst H. K. (1)
- Stephany, Ursula (1)
- Stepniewski, Martin (1)
- Stichel, Sabine (1)
- Stockhausen, Claudia (1)
- Stocklöw, Carsten Rudolf (1)
- Stormer, Christin (1)
- Stover, John F. (1)
- Straub, Benjamin (1)
- Strobl, Frederic (1)
- Stroh, Carsten (1)
- Stuber, Jürgen (1)
- Su, Nan (1)
- Suhre, Janina Leonie (1)
- Sunckel, Bettina (1)
- Svensson, Torbjörn (1)
- Sándor, Bulcsú (1)
- Tafur, Karin (1)
- Tagliazucchi, Enzo (1)
- Tahmasebi, Nina (1)
- Takasaki, Haruo (1)
- Taliotis, Constantinos (1)
- Tannert, Benjamin (1)
- Targett-Adams, Paul (1)
- Tarraf, Ahmad (1)
- Tas, Mahir (1)
- Tawfik, Abdel Nasser (1)
- Tchumatchenko, Tatjana (1)
- Tempone, Raul (1)
- Terliesner, Stefan (1)
- Tetteh, Josephine Naa Ayeley (1)
- Tetzlaff, Ronald (1)
- Teulière, Céline (1)
- Thanwisai, Aunchalee (1)
- Thao, Ha Thi Phuong (1)
- Theisinger, Rolf (1)
- Theobald, Thorsten (1)
- Thöne, Philipp (1)
- Thöne, Sven (1)
- Tiede, Andreas (1)
- Tilgner, Renate (1)
- Tithi, Jesmin Jahan (1)
- Tobias, Nicholas J. (1)
- Todorov, Hristo (1)
- Tomko, Matus (1)
- Tomsone, Signe (1)
- Tourani, Siddharth (1)
- Tran, Hung (1)
- Tran, Hung The (1)
- Trupp, MacKenzie D. (1)
- Tröndle, Tim (1)
- Trösemeier, Jan-Hendrik (1)
- Trüper, Christoph (1)
- Tsai, Yi-Shan (1)
- Tschersich, Markus (1)
- Tselmin, Sergey (1)
- Turoňová, Beata (1)
- Twrdik, Alexander (1)
- Tørresen, Jim (1)
- Ueberall, Markus (1)
- Umbrello, Steven (1)
- Vagt, Christina (1)
- Valentí, Roser (1)
- Vanek, Jakob (1)
- Vasilyeva, Ekaterina (1)
- Vasseur, Jessica (1)
- Vatanen, Anna (1)
- Veeravasarapu, Venkata Subbarao (1)
- Vehlken, Sebastian (1)
- Vessel, Edward A. (1)
- Villaret, Mateu (1)
- Vitta, Apichat (1)
- Vogel, Andreas (1)
- Vogel, Fabian W. (1)
- Vogl, Thomas J. (1)
- Voinea, Sebastian (1)
- Volckmar, Julia (1)
- Volkert, Thomas (1)
- Vorpahl, Yannic (1)
- Voß, Sarah (1)
- Vuong, The Anh (1)
- Völkner, Tobias (1)
- Waidner, Michael (1)
- Waldecker, David (1)
- Walizadeh, Nadali (1)
- Walther, Désirée (1)
- Waltho, Anita (1)
- Walz, Uwe (1)
- Wang, Lingxiao (1)
- Wang, Yongjia (1)
- Wanninger-Bachem, Silke (1)
- Weber, Cornelius (1)
- Weber, Jana (1)
- Weber, Maximilian (1)
- Wegener, Felix (1)
- Wegner, Frederic von (1)
- Wei, Wu (1)
- Weidlich, Joshua (1)
- Weigand, Marvin (1)
- Weiß, Christian (1)
- Weiß, David (1)
- Welke, Pascal (1)
- Wenzel, Sonja Franziska Christina (1)
- Werchner, Ralph (1)
- Westphal, Martin (1)
- Wetzel, Sina (1)
- Weyer, Mark (1)
- Wheeler, Diek W. (1)
- Whitelock-Wainwright, Alexander (1)
- Wiederhold, Helga (1)
- Wiese, Frauke (1)
- Wild, Peter Johannes (1)
- Wilhelmi, Lisa (1)
- Wilkens, Leevke (1)
- Willgeroth, Vivien (1)
- Williams, Steve C. R. (1)
- Willig, Martina (1)
- Wingenbach, Clemens (1)
- Winter, Judith (1)
- Winter, Nils Ralf (1)
- Wittenhagen, Julia (1)
- Wleklinski, Fabian (1)
- Wolf, Jan Niclas (1)
- Wolf, Jens (1)
- Wolf, Samuel (1)
- Wolfrum, Philipp (1)
- Wolkenhauer, Markus (1)
- Wollny, Sebastian (1)
- Woltersdorf, Laura (1)
- Wunderlich, Paul (1)
- Xylouris, Konstantinos (1)
- Yee, Kevin (1)
- Yousaf, Afsheen (1)
- Yu, Samson (1)
- Yücel, Faruk (1)
- Zacharias, Konrad (1)
- Zachhuber, Jonathan (1)
- Zaliani, Andrea (1)
- Zantema, Hans (1)
- Zeidan, Adham (1)
- Zelke, Mariano (1)
- Zepeda, Eduardo (1)
- Zhao, Hong (1)
- Zhao, Yu (1)
- Zhdanovich, Yauheniya (1)
- Zheng, Pengsheng (1)
- Zhu, Jianhui (1)
- Zikesch, Felix (1)
- Zimmerli, Christian Eugen (1)
- Zimmermann, Gottfried (1)
- Zimmermann, Leslie (1)
- Zinnikus, Ingo (1)
- Zipf, Alexander (1)
- Zlatkin-Troitschanskaia, Olga (1)
- Zong, Hong-Shi (1)
- Zyzak, Maksym (1)
- Ünlü, Atilla (1)
- Živković, Đurđica (1)
Year of publication
Document Type
- Article (254)
- Doctoral Thesis (147)
- Working Paper (122)
- Conference Proceeding (53)
- Bachelor Thesis (51)
- Diploma Thesis (48)
- Preprint (43)
- Part of a Book (42)
- Contribution to a Periodical (38)
- diplomthesis (31)
Is part of the Bibliography
- no (896)
Keywords
- Lambda-Kalkül (21)
- Inklusion (13)
- Formale Semantik (11)
- Barrierefreiheit (10)
- Digitalisierung (10)
- Operationale Semantik (9)
- artificial intelligence (9)
- data science (9)
- lambda calculus (9)
- machine learning (9)
Institute
- Informatik (470)
- Informatik und Mathematik (102)
- Präsidium (73)
- Frankfurt Institute for Advanced Studies (FIAS) (53)
- Medizin (52)
- Wirtschaftswissenschaften (44)
- Physik (35)
- Hochschulrechenzentrum (24)
- studiumdigitale (24)
- Extern (12)
This volume contains the papers presented at the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014) which was held on July 13, 2014 in Vienna, Austria during the Vienna Summer of Logic 2014 (VSL 2014) as a workshop of the Sixth Federated Logic Conference (FLoC 2014). WPTE 2014 was affiliated with the 25th International Conference on Rewriting Techniques and Applications joined with the 12th International Conference on Typed Lambda Calculi and Applications (RTA/TLCA 2014).
Contents:
Yuki Chiba, Santiago Escobar, Naoki Nishida, and David Sabel, and Manfred Schmidt-Schauß : Preface:
The Collection of all Abstracts of the Talks at WPTE 2015 xi
Brigitte Pientka : Mechanizing Meta-Theory in Beluga
Giulio Guerrieri : Head reduction and normalization in a call-by-value lambda-calculus
Adrián Palacios and Germán Vidal : Towards Modelling Actor-Based Concurrency in Term Rewriting
David Sabel and Manfred Schmidt-Schauß : Observing Success in the Pi-Calculus
Sjaak Smetsers, Ken Madlener, and Marko van Eekelen : Formalizing Bialgebraic Semantics in PVS 6.0