TY - THES U1 - Dissertation / Habilitation A1 - Peters, Martin T1 - Regelbasiertes Reasoning auf massiv paralleler Hardware Y2 - 2015 N1 - Dissertation zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.) am Fachbereich Elektrotechnik/Informatik der Universität Kassel SP - x, 148 S1 - x, 148 ER - TY - CHAP U1 - Buchbeitrag A1 - Rademacher, Florian A1 - Peters, Martin A1 - Sachweh, Sabine T1 - Design of a domain-specific language based on a technology-independent web service framework T2 - Software architecture : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 ; proceedings Y1 - 2015 SP - 15 S1 - 15 PB - Springer International Publishing CY - Cham ER - TY - CHAP U1 - Buchbeitrag A1 - Peters, Martin A1 - Sachweh, Sabine A1 - Zündorf, Albert T1 - Large scale rule-based reasoning using a laptop T2 - The semantic web : latest advances and new domains ; 12th European semantic web conference, ESWC 2015, Portoroz, Slovenia, May 31 - June 4, 2015 ; proceedings Y1 - 2015 SP - 15 S1 - 15 PB - Springer International Publishing CY - Cham ER -