STS Papers

Accepted papers

Published papers

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

  • Hendley, Robert J.; Beale, Russell; Bowers, Chris P.; Georgousopoulos, Christos; Vassiliou, Charalampos; Sergios, Petridis; Möller, Ralf; Karstens, Eric; Spiliotopoulos, Dimitris
    CASAM : Collaborative human-machine annotation of multimedia
    Multimedia Tools and Applications 70 (2): 1277-1308 (2014)
    Publisher DOI
  • Horrocks, Ian; Hubauer, Thomas; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Koubarakis, Manolis; Möller, Ralf; Bereta, Konstantina; Neuenstadt, Christian; Özçep, Özgür Lütfü; Roshchin, Mikhail; Smeros, Panayiotis; Zheleznyakov, Dmitriy
    Addressing streaming and historical data in OBDA systems : optique's approach (statement of interest)
    CEUR Workshop Proceedings (992): Seite 33-40 (2013)
  • Möller, Ralf; Neuenstadt, Christian; Özçep, Özgür Lütfü; Wandelt, Sebastian
    Advances in accessing big data with expressive ontologies
    CEUR Workshop Proceedings (1014): 842-853 (2013)
  • Nafissi, Anahita
    Applying Markov logics for controlling abox abduction
    Open Access
  • Petasis, Georgios; Möller, Ralf; Karkaletsis, Vangelis
    BOEMIE : reasoning-based information extraction
    Natural language processing and automated reasoning 2013 : NLPAR 2013 ; proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), A Corunna, Spain, September 15th, 2013 / ed. by Chitta Baral ... - Aachen : RWTH, 2013. - (CEUR Workshop Proceedings ; 1044). - Seite 60-75
  • Mattsen, Sven; Cuoq, Pascal; Schupp, Sibylle
    Driving a sound static software analyzer with branch-and-bound
    2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM 2013) : Eindhoven, Netherlands, 22 - 23 September 2013 / [sponsors: IEEE Computer Society Technical Council on Software Engineering ... Ed.: Bram Adams ...]. - Piscataway, NJ : IEEE, 2013. - Art.-Nr. 6648185, i.e. Seite 63-68
    Publisher DOI
  • Kamph, Timo; Salden, Peter; Schupp, Sibylle; Kautz, Christian
    Just-in-Time Teaching für Software-Engineering [Just-in-time teaching for software engineering]
    13. Workshop "Software Engineering im Unterricht der Hochschulen", SEUH 2013 : RWTH Aachen, Aachen, Germany, 28 February 2013 through 1 March 2013 / RWTH Aachen. - Aachen, Germany : RWTH Aachen, 2013. - (CEUR workshop proceedings ; 956). - Seite 9-15
  • Botta, Nicola; Mandel, Antoine; Hofmann, Mareen; Schupp, Sibylle; Ionescu, Cezar
    Mathematical specification of an agend-based model of exchange
    Do-form: enabling domain experts to use formalised reasoning : AISB convention 2013 ; University of Exeter, 3rd - 5th April, 2013 ; [... proceedings of one of eight co-located symposia held at the AISB convention 2013 ...] / Manfred Kerber ... (ed.). - New York, NY : Curran, 2013. - Seite 38-48
  • Haeri, Seyed Hossein; Schupp, Sibylle
    Reusable components for lightweight mechanisation of programming languages
    Binder W., Bodden E., Löwe W. (eds) Software Composition. SC 2013. Lecture Notes in Computer Science, vol 8088. Springer, Berlin, Heidelberg
    Publisher DOI
  • Özçep, Özgür Lütfü; Möller, Ralf
    Spatial semantics for concepts?
    CEUR Workshop Proceedings (1014): 816-828 (2013)
  • Rinast, Jonas; Schupp, Sibylle; Gollmann, Dieter
    State space reconstruction for on-line model checking with UPPAAL
    VALID 201 : the Fifth International Conference on Advances in System Testing and Validation Lifecycle : October 27-November 1, 2013, Venice, Italy / IARIA ; VALID 2013 editors: Jos van Rooyen ... - Red Hook, NY : Curran, 2013. - Seite 21-26
  • Calvanese, Diego; Giese, Martin; Haase, Peter; Horrocks, Ian; Hubauer, Thomas; Ioannidis, Yannis E.; Jimenez-Ruiz, Ernesto; Kharlamov, Evgeny; Kllapi, Herald; Klüwer, Johan Wilhelm; Koubarakis, Manolis; Lamparter, Steffen; Möller, Ralf; Neuenstadt, Christian; Nordtveit, T.; Özçep, Özgür Lütfü; Rodriguez-Muro, Mariano; Roshchin, Mikhail; Ruzzi, Marco; Savo, F.; Schmidt, Michael; Soylu, Ahmet; Waaler, Arild; Zheleznyakov, Dmitriy
    The optique project : towards OBDA systems for industry
    CEUR Workshop Proceedings ; Vol. 1080 (2013): Seite ?

2012

2011

2010

2009

2008