Export 42 results:
Sort by: Author Keyword [ Title  (Asc)] Type Year
Filters: First Letter Of Title is P  [Clear All Filters]
A B C D E F G H I J K L M N O [P] Q R S T U V W X Y Z   [Show ALL]
Hartmann, T., and G. Saake, "Prototypische Ausführung von Objektinteraktionen für die Spezifikationssprache \sc Troll", Workshop Deklarative Programmierung und Spezifikation, Bad Honnef: Bericht Nr. 9412, Univ. Kiel, pp. 56-59, 1994. Abstract
Ehrich, H. - D., "Proving Implementations Correct - Two Alternative Approaches", IFIP Congress 1980: North-Holland Publ. Comp., 1980. Abstract  Download: 1980IFIP.pdf (384.86 KB)
Keßler, K., A. T. Krüger, Y. Ghammad, S. Wulle, W. - T. Balke, and K. Stump, "PubPharm – der Fachinformationsdienst Pharmazie (German)", o-bib - das offene Bibliotheksjournal, vol. 3, no. 3, pp. 1-23, 10/2016.  Download: O-Bib Artikel 2016.pdf (2.98 MB)
Selke, J., C. Lofi, and W. - T. Balke, "Pushing the Boundaries of Crowd-Enabled Databases with Query-Driven Schema Expansion", 38th Int. Conf. on Very Large Data Bases (VLDB), Istanbul, Turkey, in PVLDB 5(6) , 08/12, 2012. Abstract  Download: 267_camera-ready-v3.pdf (1.25 MB)
Homoceanu, S., J. - C. Kalo, and W. - T. Balke, "Putting Instance Matching to the Test. Is Instance Matching Ready for Reliable Data Linking?", 21st International Symposium on Methodologies for Intelligent Systems (ISMIS), Roskilde, Denmark, 2014. Abstract  Download: ismis_homoceanu.pdf (832.92 KB)