Fachgruppe Informatik

Letzte Einträge:

2018-10-16 11:09	Multi-cost Bounded Reachability in MDP Hartmanns, A. ; Junges, J. S. L. ; Katoen, J.-P. ; Quatmann, T. Tools and Algorithms for the Construction and Analysis of Systems / Beyer, Dirk (Editor) [0000-0003-4832-7662] ; Cham : Springer International Publishing, 2018, Chapter 19 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-319-89962-6=978-3-319-89963-3 ; doi:10.1007/978-3-319-89963-3, Seiten/Artikel-Nr: 320-339 DOI: 10.1007/978-3-319-89963-3_19 Contribution to a book/Contribution to a conference proceedings 2018
2018-10-15 15:16	Proceedings 23rd EURAS Annual Standardisation Conference "Standards for a Smarter Future" : 13-15 June, Dublin, Ireland Jakobs, K. (Editor) ; O'Connor, R. V. (Editor) Proceedings/Book 2018
2018-10-15 09:27	Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis Schupp, S. A. (Corresponding author) ; Ábrahám, E. Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman, Seiten/Artikel-Nr: 287-302 DOI: 10.1007/978-3-319-89963-3_17 Contribution to a book/Contribution to a conference proceedings 2018
2018-10-11 15:53	Memory-Efficient Sparse Matrix-Matrix Multiplication by Row Merging on Many-Core Architectures Gremse, F. (Corresponding author) ; Küpper, K. ; Naumann, U. SIAM journal on scientific computing 40(4), Seiten/Artikel-Nr.:C429 - C449 DOI: 10.1137/17M1121378 Journal Article 2018
2018-10-11 13:36	An Integrated Learning Analytics Approach for Virtual Vocational Training Centers Lange, P. (Corresponding author) ; Neumann, A. ; Nicolaescu, P. ; Klamma, R. International journal of interactive multimedia and artificial intelligence 5(2), Seiten/Artikel-Nr.:32-38 DOI: 10.9781/ijimai.2018.02.006 Journal Article 2018
2018-10-10 17:58	Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017 Hofmann, T. M. (Corresponding author) ; Mataré, V. ; Neumann, T. ; Schönitz, S. ; ; et al RoboCup 2017: Robot World Cup XXI, Seiten/Artikel-Nr: 486-497 DOI: 10.1007/978-3-030-00308-1_40 Contribution to a book/Contribution to a conference proceedings 2018
2018-10-09 11:47	Analysis of Activity Logging Approaches and Concept for Data Correlations with Learning Styles Judel, S. ; Schroeder, U. (Thesis advisor) ; Röpke, R. C. (Thesis advisor) DOI: 10.18154/RWTH-2018-228803 Master Thesis 2018
2018-10-08 09:12	Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems Schupp, S. ; Ábrahám, E. (Corresponding author) Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer, Seiten/Artikel-Nr: 89-104 DOI: 10.1007/978-3-319-92970-5_6 Contribution to a book/Contribution to a conference proceedings 2018
2018-10-01 09:54	Networking Wireless Energy in Embedded Networks Chandio, Y. ; Bitsch, J. Á. ; Syed, A. A. ; Alizai, M. H. (Corresponding author) ACM Transactions on sensor networks : TOSN 14(2), Seiten/Artikel-Nr.:9 DOI: 10.1145/3185753 Journal Article 2018
2018-10-01 08:44	Fast Corotated FEM using Operator Splitting Kugelstadt, T. ; Koschier, D. ; Bender, J. S. Computer graphics forum 37(8), Seiten/Artikel-Nr.:149-160 DOI: 10.1111/cgf.13520 Journal Article 2018

RWTH

RWTH Aachen - Startseite

Universitätsbibliothek

Kontakt

RWTH Publications

Allgemeines