STS Papers

Published papers

2020

2019

2018

2017

2016

2015

2014

2013

  • Nafissi, Anahita
    Applying Markov logics for controlling abox abduction
    Open Access
  • 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)
  • 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, M.; Soylu, Ahmet; Waaler, Arild; Zheleznyakov, Dmitriy
    The optique project : towards OBDA systems for industry
    CEUR Workshop Proceedings ; Vol. 1080 (2013): Seite ?
  • 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
  • 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
  • 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
  • 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)
  • Özçep, Özgür Lütfü; Möller, Ralf
    Spatial semantics for concepts?
    CEUR Workshop Proceedings (1014): 816-828 (2013)
  • 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
  • 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

2012

2011

2010

2009

2008