1![A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat](https://www.pdfsearch.io/img/33da6a6c6e6ba0615f510bb06d554f17.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-10-27 05:19:34
|
---|
2![Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic](https://www.pdfsearch.io/img/13737a9a627de7512229e86d1b49cdff.jpg) | Add to Reading ListSource URL: pub.ist.ac.atLanguage: English - Date: 2018-05-10 06:54:27
|
---|
3![TECHNOLOGIES EU-BRIDGE Partners Karlsruhe Institute of Technology (Germany), RWTH Aachen University (Germany), Fondazione Bruno Kessler (Italy) TECHNOLOGIES EU-BRIDGE Partners Karlsruhe Institute of Technology (Germany), RWTH Aachen University (Germany), Fondazione Bruno Kessler (Italy)](https://www.pdfsearch.io/img/efcbe26bc632f0d7d971539e2d7e40f0.jpg) | Add to Reading ListSource URL: project.eu-bridge.euLanguage: English - Date: 2014-03-31 09:50:11
|
---|
4![Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany](https://www.pdfsearch.io/img/2441f08c99db0ca3fcaef9d71b0219a4.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.atLanguage: English - Date: 2016-09-11 10:26:10
|
---|
5![Grußwort des Rektors der RWTH Aachen University zur Eröffnung des 108. Bundeskongresses des MNU Im Namen der RWTH Aachen heiße ich Sie herzlich auf dem 108. Bundeskongress des Verbandes zur Förderung des MINT-Unterri Grußwort des Rektors der RWTH Aachen University zur Eröffnung des 108. Bundeskongresses des MNU Im Namen der RWTH Aachen heiße ich Sie herzlich auf dem 108. Bundeskongress des Verbandes zur Förderung des MINT-Unterri](https://www.pdfsearch.io/img/9ca089b9132c0bdd6e29e77f2218b592.jpg) | Add to Reading ListSource URL: bundeskongress-2017.mnu.deLanguage: German - Date: 2017-03-02 04:45:48
|
---|
6![S T R U C T U R A L S PA R S E N E S S A N D COMPLEX NETWORKS Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Natur S T R U C T U R A L S PA R S E N E S S A N D COMPLEX NETWORKS Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Natur](https://www.pdfsearch.io/img/d8a261e0e90362dcfc4207df09c27baf.jpg) | Add to Reading ListSource URL: tcs.rwth-aachen.deLanguage: English - Date: 2016-06-02 22:00:42
|
---|
7![Seminar Aachen-K¨ oln-Lille-Siegen on Automorphic Forms University of Siegen, January 21, 2004 Organizer: J. Bruinier, V. Gritsenko, A. Krieg, N-P. Skoruppa Seminar Aachen-K¨ oln-Lille-Siegen on Automorphic Forms University of Siegen, January 21, 2004 Organizer: J. Bruinier, V. Gritsenko, A. Krieg, N-P. Skoruppa](https://www.pdfsearch.io/img/244340a33ba5e47395936f4131048561.jpg) | Add to Reading ListSource URL: www.matha.rwth-aachen.deLanguage: English - Date: 2007-02-05 05:08:33
|
---|
8![HermitCore – A Unikernel for Extreme Scale Computing Stefan Lankes1 , Simon Pickartz1 , Jens Breitbart2 1 2 RWTH Aachen University, Germany HermitCore – A Unikernel for Extreme Scale Computing Stefan Lankes1 , Simon Pickartz1 , Jens Breitbart2 1 2 RWTH Aachen University, Germany](https://www.pdfsearch.io/img/4d20d3e0563c983a0dcf9985624b05f5.jpg) | Add to Reading ListSource URL: hermitcore.orgLanguage: English - Date: 2018-08-12 03:28:57
|
---|
9![KISS – Knowledge-intensive Service Support for Agile Process Management Daniela Feldkamp, Knut Hinkelmann, Barbara Thönssen University of Applied Science Northwestern Switzerland, School of Business Riggenbachstr. 16, KISS – Knowledge-intensive Service Support for Agile Process Management Daniela Feldkamp, Knut Hinkelmann, Barbara Thönssen University of Applied Science Northwestern Switzerland, School of Business Riggenbachstr. 16,](https://www.pdfsearch.io/img/6ee2381bd34d43ae6f4dbc54da5fa75d.jpg) | Add to Reading ListSource URL: sunsite.informatik.rwth-aachen.deLanguage: English - Date: 2007-06-03 11:06:04
|
---|
10![GeCatS Infoday, Selective catalytic transformation of biogenic feedstocks Barthel Engendahl (DSM), Marcus Rose (RWTH Aachen University) The German Catalysis Society (GeCatS) organizes an annual infoday on sele GeCatS Infoday, Selective catalytic transformation of biogenic feedstocks Barthel Engendahl (DSM), Marcus Rose (RWTH Aachen University) The German Catalysis Society (GeCatS) organizes an annual infoday on sele](https://www.pdfsearch.io/img/ef9acd9fadb090fa8e67cda60418d9ed.jpg) | Add to Reading ListSource URL: gecats.orgLanguage: English - Date: 2013-11-27 08:13:20
|
---|