1. OPUS

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 486 (Search time: 0.008 seconds).
Item hits:
Issue DateTitleAuthor(s)
2008WS-BPEL extension for semantic web services (BPEL4SWS), version 1.0Karastoyanova, Dimka; Van Lessen, Tammo; Leymann, Frank; Nitzsche, Joerg; Wutke, Daniel
2008Abstract syntax of WS-BPEL 2.0Kopp, Oliver; Mietzner, Ralph; Leymann, Frank
2010Shortest paths and negative cycle detection in graphs with negative weights. I, The Bellman-Ford-Moore algorithm revisitedLewandowski, Stefan
2010On the iterated hairpin completionKopecki, Steffen
2010Methods for coreference visualization and annotationBurkovski, Andre; Heidemann, Gunther; Kobdani, Hamidreza; Schütze, Hinrich
2011WS-BPEL extension for compliance fragments (BPEL4CFrags), Version 1.0Görlach, Katharina; Kopp, Oliver; Leymann, Frank; Schumm, David; Strauch, Steve
2009Fragments of first-order logic over infinite wordsDiekert, Volker; Kufleitner, Manfred
2010Rankers over infinite wordsDartois, Luc; Kufleitner, Manfred; Lauser, Alexander
2010A language-agnostic framework for the analysis of the syntactic structure of process fragmentsMancioppi, Michele; Danylevych, Olha; Papazoglou, Mike P.; Leymann, Frank
2010Complexity results and the growths of hairpin completions of regular languagesDiekert, Volker; Kopecki, Steffen

Discover