Biblio

Export 56 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is D  [Clear All Filters]
2016
Nieke, C., and D. Duellmann, "First results from a combined analysis of CERN computing infrastructure metrics", 22nd International Conference on Computing in High Energy and Nuclear Physics CHEP2016, San Francisco, USA, 10/2016. Abstract
2015
Nieke, C., M. Lassnig, L. Menichetti, E. Motesnitsalis, and D. Duellmann, "Analysis of CERN computing infrastructure and monitoring data", 21st International Conference on Computing in High Energy and Nuclear Physics (CHEP2015), Okinawa, Japan, 02/2016, 2015. Abstract
2011
Homoceanu, S., S. Dechand, and W. - T. Balke, "Review Driven Customer Segmentation for Improved E-Shopping Experience", 3rd International Conference on Web Science, Koblenz, Germany, 2011. Abstract  Download: ws.pdf (434.25 KB)
2009
Alrifai, M., P. Dolog, W. - T. Balke, and W. Nejdl, "Distributed Management of Concurrent Web Service Transactions", IEEE Transactions on Services Computing, vol. 2, no. 4: IEEE Computer Society, 2009. Abstract  Download: tsc_journal_paper_finalversion_v6.pdf (596.34 KB)
2008
Diederich, J., and W. - T. Balke, "Automatically Created Concept Graphs using Descriptive Keywords in the Medical Domain", Methods of Information in Medicine (METHODS), vol. 47, no. 3: Schattauer, 2008.  Download: methods08.pdf (310.74 KB)
Diederich, J., and W. - T. Balke, "FacetedDBLP - Navigational Access for Digital Libraries", Bulletin of the IEEE Technical Committee on Digital Libraries (TCDL), vol. 4, no. 1, 2008.  Download: tcdl08.pdf (111.9 KB)
2007
Diederich, J., W. - T. Balke, and U. Thaden, "Demonstrating the Semantic GrowBag: Automatically Creating Topic Facets for FacetedDBLP", ACM IEEE Joint Conference on Digital Libraries (JCDL), Vancouver, BC, Canada, 2007. Abstract  Download: jcdl07.pdf (90.78 KB)
Iofciu, T., J. Diederich, P. Dolog, and W. - T. Balke, "ExpertFOAF Recommends Experts", 1st ExpertFinder Workshop, Berlin, Germany, 2007. Abstract  Download: expert07.pdf (54.95 KB)
Alrifai, M., W. - T. Balke, P. Dolog, and W. Nejdl, "Nonblocking Scheduling for Web Service Transactions", 5th IEEE European Conference on Web Services (ECOWS), Halle (Saale), Germany, 2007. Abstract  Download: ecows07.pdf (372.41 KB)
Diederich, J., and W. - T. Balke, "The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems", 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL), Budapest, Hungary, 2007. Abstract  Download: ecdl07.pdf (240.17 KB)
Diederich, J., and W. - T. Balke, "Topic-Based User Models: Design & Comparison", 10th DELOS Thematic Workshop on Personalized Access, Profile Management, and Context Awareness in Digital Libraries (PersDL), Corfu, Greece, 2007. Abstract  Download: persdl07.pdf (133.94 KB)
2006
Balke, W. - T., and J. Diederich, "A Quality- and Cost-based Selection Model for Multimedia Service Composition in Mobile Environments", 4th IEEE International Conference on Web Services (ICWS), Chicago, IL, USA, 2006. Abstract  Download: icws06.pdf (210.92 KB)
2000
Denker, G., J. Millen, A. Grau, and J. Küster Filipe, "Optimizing Protocol Rewrite Rules of CIL Specifications", Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000. Abstract
1998
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract  Download: 1998ECSD.pdf (255.81 KB)
Denker, G., J. Meseguer, and C. Talcott, "Protocol Specification and Analysis in Maude", Proc1 of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998. Abstract
Denker, G., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. Abstract
1997
Denker, G., and H. - D. Ehrich, "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract  Download: 1997DenkerEhrich.pdf (548.39 KB)
Denker, G., J. Ramos, C. Caleiro, and A. Sernadas, "A Linear Temporal Logic Approach to Objects with Transactions", Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997. Abstract
1996
Kowsari, M., P. Hartel, G. Denker, and H. - D. Ehrich, "A Case Study in Information System Design, The CATC System", FME'96: Industrial Benefit and Advances in Formal Methods, Oxford, UK, March 1996, poster session, 1996. Abstract
Krone, M., M. Kowsari, P. Hartel, G. Denker, and H. - D. Ehrich, "Developing an Information System Using TROLL: an Application Field Study", Proc. 8th Int. Conf. on Advanced Information Systems Engineering (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996. Abstract  Download: 1996CAiSE.pdf (438.58 KB)
Huhn, M., H. Wehrheim, and G. Denker, "Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach", GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996. Abstract
Denker, G., and K. Schwarz, "Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht", Beiträge der GI-Fachtagung Softwaretechnik'96(ST96), Koblenz, 12. - 13. September 1996: Universität Koblenz-Landau, Fachbereich Informatik, pp. 97-104, 1996. Abstract
Denker, G., "Reification - Changing Viewpoint but Preserving Truth", Recent Trends in Data Types Specification, Proc.\ 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers.: Springer, pp. 182-199, 1996. Abstract
Denker, G., "Semantic Ref\/inement of Concurrent Object Systems Based on Serializability", Object Orientation with Parallelism and Persistence: Kluwer Academic Publ., pp. 105-126, 1996. Abstract
Denker, G., and J. Küster Filipe, "Towards a Model for Asynchronously Communicating Objects", Proc1 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996: Institute of Cybernetics, pp. 182-193, 1996. Abstract
1995
Gogolla, M., S. Conrad, G. Denker, R. Herzig, and N. Vlachantonis, "A Development Environment for an Object Specification Language", IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 3, pp. 505-508, June, 1995. Abstract
Denker, G., and H. - D. Ehrich, "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995. Abstract  Download: 1995ISCORE.pdf (1.04 MB)
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract  Download: 1995EMISA.pdf (691.75 KB)
Denker, G., and H. - D. Ehrich, "An Event-Based Semantics for Transactions", Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995. Abstract