Christoph Meinel

ORCID: 0000-0002-3212-6201
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Cloud Computing and Resource Management
  • Formal Methods in Verification
  • Access Control and Trust
  • History and advancements in chemistry
  • Service-Oriented Architecture and Web Services
  • Physics and Engineering Research Articles
  • Complexity and Algorithms in Graphs
  • Advanced Graph Theory Research
  • Caching and Content Delivery
  • Blockchain Technology Applications and Security
  • Digital Innovation in Industries
  • IoT and Edge/Fog Computing
  • Cryptography and Data Security
  • Distributed and Parallel Computing Systems
  • Design Education and Practice
  • Peer-to-Peer Network Technologies
  • Web Data Mining and Analysis
  • Cloud Data Security Solutions
  • History of Science and Natural History
  • German Literature and Culture Studies
  • Advanced Data Storage Technologies
  • Mobile Agent-Based Network Management
  • Software Testing and Debugging Techniques
  • Public Administration and Political Analysis
  • Advanced Database Systems and Queries

Hasso Plattner Institute
2015-2024

University of Potsdam
2015-2024

Berlin Heart (Germany)
2020

Bundesdruckerei (Germany)
2018

University of Regensburg
1992-2017

Universität Trier
1998-2011

Humboldt-Universität zu Berlin
1987-2011

Technische Universität Braunschweig
2011

Friedrich Schiller University Jena
2011

Deutsche Nationalbibliothek
1998-2011

Service-oriented Architectures deliver a flexible infrastructure to allow independently developed software components communicate in seamless manner. In the scope of organisational workflows, SOA provides suitable foundation execute business processes as an orchestration multiple independent services. Along with increased connectivity, corresponding security risks rise exponentially. However, requirements are usually defined on technical level, rather than level that would provide...

10.1109/ares.2009.90 article EN 2009-01-01

OBDD's are the state-of-the-art data structure for Boolean function manipulation. Basic tasks of manipulation such as equivalence test, satisfiability tautology test and single synthesis steps can be performed efficiently in terms fixed ordered OBDD's. The bottleneck most OBDD-applications is size represented functions since total computation merely remains tractable long OBDD-representations remain reasonable size. Since it well known that restricted FBDD's (free BDD's, i.e., BDD's on each...

10.1109/12.324545 article EN IEEE Transactions on Computers 1994-01-01

With a suitable algorithm for ranking the expertise of user in collaborative tagging system, we will be able to identify experts and discover useful relevant resources through them. We propose that level with respect particular topic is mainly determined by two factors. Firstly, an expert should possess high quality collection resources, while Web resource depends on users who have assigned tags it. Secondly, one tends interesting or before other do. graph-based algorithm, SPEAR...

10.1145/1571941.1572046 article EN 2009-07-19

(1983). Theory or Practice? The Eighteenth-Century Debate on the Scientific Status of Chemistry. Ambix: Vol. 30, No. 3, pp. 121-132.

10.1179/amb.1983.30.3.121 article EN Ambix 1983-11-01

In this paper, we study and compare three different but related types of metadata about Web documents: social annotations provided by readers documents, hyperlink anchor text authors search queries users trying to find documents. We introduce a large research data set called CABS120k, which have created for from variety information sources such as AOL500k, the Open Directory Project, del.icio.us/Yahoo!, Google WWW in general. use investigate several characteristics said including length,...

10.1109/wiiat.2008.341 article EN 2008-12-01
Coming Soon ...