7 Search Results for "Cap, Clemens"

Document
DOI: 10.4230/OASIcs.FMBC.2025.8
Formal Verification of a Fail-Safe Cross-Chain Bridge

Authors: Filip Marić, Bernhard Scholz, and Pavle Subotić

Published in: OASIcs, Volume 129, 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)

Abstract
Cross-chain bridges are financial services that interconnect blockchains. High monetary values flow through these bridges, and their security must be safeguarded. However, designing real-world cross-chain bridges is a difficult endeavor. Due to blockchain’s closed-world nature, tokens cannot be transferred from a sender to a receiver chain; on the contrary, they need complex logic that maintains an equilibrium on both chains, even if either the chains or the bridge fail. This paper formally verifies a model of a novel fail-safe cross-chain bridge to ensure correctness. We define formal requirements and prove the bridge is safe using the Isabelle/HOL proof assistant.
Cite as

Filip Marić, Bernhard Scholz, and Pavle Subotić. Formal Verification of a Fail-Safe Cross-Chain Bridge. In 6th International Workshop on Formal Methods for Blockchains (FMBC 2025). Open Access Series in Informatics (OASIcs), Volume 129, pp. 8:1-8:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{maric_et_al:OASIcs.FMBC.2025.8,
  author =	{Mari\'{c}, Filip and Scholz, Bernhard and Suboti\'{c}, Pavle},
  title =	{{Formal Verification of a Fail-Safe Cross-Chain Bridge}},
  booktitle =	{6th International Workshop on Formal Methods for Blockchains (FMBC 2025)},
  pages =	{8:1--8:18},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-371-3},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{129},
  editor =	{Marmsoler, Diego and Xu, Meng},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.FMBC.2025.8},
  URN =		{urn:nbn:de:0030-drops-230342},
  doi =		{10.4230/OASIcs.FMBC.2025.8},
  annote =	{Keywords: Cross-Chain Bridge, Formal Verification, Logic, Security}
}
Document
Position
DOI: 10.4230/TGDK.1.1.5
Knowledge Graphs for the Life Sciences: Recent Developments, Challenges and Opportunities

Authors: Jiaoyan Chen, Hang Dong, Janna Hastings, Ernesto Jiménez-Ruiz, Vanessa López, Pierre Monnin, Catia Pesquita, Petr Škoda, and Valentina Tamma

Published in: TGDK, Volume 1, Issue 1 (2023): Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge, Volume 1, Issue 1

Abstract
The term life sciences refers to the disciplines that study living organisms and life processes, and include chemistry, biology, medicine, and a range of other related disciplines. Research efforts in life sciences are heavily data-driven, as they produce and consume vast amounts of scientific data, much of which is intrinsically relational and graph-structured. The volume of data and the complexity of scientific concepts and relations referred to therein promote the application of advanced knowledge-driven technologies for managing and interpreting data, with the ultimate aim to advance scientific discovery. In this survey and position paper, we discuss recent developments and advances in the use of graph-based technologies in life sciences and set out a vision for how these technologies will impact these fields into the future. We focus on three broad topics: the construction and management of Knowledge Graphs (KGs), the use of KGs and associated technologies in the discovery of new knowledge, and the use of KGs in artificial intelligence applications to support explanations (explainable AI). We select a few exemplary use cases for each topic, discuss the challenges and open research questions within these topics, and conclude with a perspective and outlook that summarizes the overarching challenges and their potential solutions as a guide for future research.
Cite as

Jiaoyan Chen, Hang Dong, Janna Hastings, Ernesto Jiménez-Ruiz, Vanessa López, Pierre Monnin, Catia Pesquita, Petr Škoda, and Valentina Tamma. Knowledge Graphs for the Life Sciences: Recent Developments, Challenges and Opportunities. In Special Issue on Trends in Graph Data and Knowledge. Transactions on Graph Data and Knowledge (TGDK), Volume 1, Issue 1, pp. 5:1-5:33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@Article{chen_et_al:TGDK.1.1.5,
  author =	{Chen, Jiaoyan and Dong, Hang and Hastings, Janna and Jim\'{e}nez-Ruiz, Ernesto and L\'{o}pez, Vanessa and Monnin, Pierre and Pesquita, Catia and \v{S}koda, Petr and Tamma, Valentina},
  title =	{{Knowledge Graphs for the Life Sciences: Recent Developments, Challenges and Opportunities}},
  journal =	{Transactions on Graph Data and Knowledge},
  pages =	{5:1--5:33},
  year =	{2023},
  volume =	{1},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/TGDK.1.1.5},
  URN =		{urn:nbn:de:0030-drops-194791},
  doi =		{10.4230/TGDK.1.1.5},
  annote =	{Keywords: Knowledge graphs, Life science, Knowledge discovery, Explainable AI}
}
Document
DOI: 10.4230/DagSemProc.10041.1
10041 Abstracts Collection – Perspectives Workshop: Digital Social Networks

Authors: Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
From 24.01.2010 to 29.01.2010, the Dagstuhl Seminar 10041 ``Perspectives Workshop: Digital Social Networks'' was held in Schloss Dagstuhl ~--~ Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert. 10041 Abstracts Collection – Perspectives Workshop: Digital Social Networks. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.10041.1,
  author =	{Bry, Francois and Cap, Clemens and Dahm, Ingo and Maintz, Julia and Schaffert, Sebastian},
  title =	{{10041 Abstracts Collection – Perspectives Workshop: Digital Social Networks}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--10},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.1},
  URN =		{urn:nbn:de:0030-drops-25214},
  doi =		{10.4230/DagSemProc.10041.1},
  annote =	{Keywords: Digital Social Media, Social Software, Social Computing}
}
Document
DOI: 10.4230/DagSemProc.10041.3
10041 Manifesto – Perspectives Workshop: Digital Social Media

Authors: Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
This manifesto explains and stresses the importance of “digital social media”, "social software" and "social computing". In particular, it makes the claim that we need a better understanding of how this mix of enabling technology, social behaviour and market practises is challenging our socio-economical and political systems, and puts forward an action plan for the areas of education, fundamental research and applied research, to address these challenges. The goal of this manifesto is to raise awareness for digital social media and to stress the need for research, research funding, and education in a field so far under-represented in public research funding programmes and in education. This manifesto does not cover all aspects of digital social media, or provide a comprehensive treatment of their socio-economical impact. Such issues are beyond the scope of this manifesto. This manifesto is an outcome of a Perspective Workshop held from the 25th to 29th of January 2010 at the research centre Schloss Dagstuhl. The workshop brought together scientists and practitioners from academia and industry, across the fields of social sciences and computer science.
Cite as

Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert. 10041 Manifesto – Perspectives Workshop: Digital Social Media. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.10041.3,
  author =	{Bry, Francois and Cap, Clemens and Dahm, Ingo and Maintz, Julia and Schaffert, Sebastian},
  title =	{{10041 Manifesto – Perspectives Workshop: Digital Social Media}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.3},
  URN =		{urn:nbn:de:0030-drops-25652},
  doi =		{10.4230/DagSemProc.10041.3},
  annote =	{Keywords: Digital Social Media, Social Software, Social Computing}
}
Document
DOI: 10.4230/DagSemProc.10041.2
10041 Executive Summary – Perspectives Workshop: Digital Social Networks

Authors: Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
The Perspective Workshop on “Digital Social Networks” held in between January 25th and 29th, 2010 at the research centre Schloss Dagstuhl focused on technological, socio-economical, and political aspects of digital social networks, and, more generally, digital social media. Digital social media give rise to users and communities to collaboratively generate and exchange content and to interact. They enable social computation, i.e. computations that involve both software and groups of people. They are operated by specific software systems called social software and use information and communication technologies such as the Internet and Web technologies. Digital social media ease and strengthen social interactions by overcoming physical limitations in communication (like distance and synchronicity) and alleviating human limitations like the number of people with whom one can maintain relationships. Digital social media build, and/or rely upon, social networks that might be the primary purpose of the media.
Cite as

Francois Bry, Clemens Cap, Ingo Dahm, Julia Maintz, and Sebastian Schaffert. 10041 Executive Summary – Perspectives Workshop: Digital Social Networks. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{bry_et_al:DagSemProc.10041.2,
  author =	{Bry, Francois and Cap, Clemens and Dahm, Ingo and Maintz, Julia and Schaffert, Sebastian},
  title =	{{10041 Executive Summary – Perspectives Workshop: Digital Social Networks}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.2},
  URN =		{urn:nbn:de:0030-drops-25480},
  doi =		{10.4230/DagSemProc.10041.2},
  annote =	{Keywords: Digital Social Media, Social Software, Social Computing}
}
Document
DOI: 10.4230/DagSemProc.10041.4
Gaming as social activity

Authors: Carsten Busch

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
Gaming – no matter, wether it's done analog or digital – is a social kind of acitivity. The GamesLab of HTW in Berlin has made an investigation about Gaming in Germany. Some of the results of an representetive survey are: Only 2 % of all Germans don't like to play analog or digital games; 95 % play at least occasionally board games, 43 % play at least occasionally video games or computer games; 74 % like "playing together with others, because it's communicative and interessing".
Cite as

Carsten Busch. Gaming as social activity. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{busch:DagSemProc.10041.4,
  author =	{Busch, Carsten},
  title =	{{Gaming as social activity}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.4},
  URN =		{urn:nbn:de:0030-drops-25205},
  doi =		{10.4230/DagSemProc.10041.4},
  annote =	{Keywords: Games}
}
Document
DOI: 10.4230/DagSemProc.10041.5
On the locality of virtual networks: Informal learning in the San Francisco Bay Area

Authors: Julia Maintz

Published in: Dagstuhl Seminar Proceedings, Volume 10041, Perspectives Workshop: Digital Social Networks (2010)

Abstract
Since the 1990s, informal and personal networks have gained increasing attention as repositories of learning and innovation. Social network analyses so far largely concentrate on the impact of network structures on innovation processes. The role of social network dynamics and the interrelation of structure and agency in these processes however need to be more intensively analyzed. This research concentrates on learning dynamics in personal online business networks of communication and computing industry professionals based in the San Francisco Bay Area. The technological potential for online global multi-connectivity of the studied LinkedIn networks showed limited realization due to the users’ stickiness to their physical practice communities and localities. Physical social interaction served as the prime motor of network formation and maintenance.
Cite as

Julia Maintz. On the locality of virtual networks: Informal learning in the San Francisco Bay Area. In Perspectives Workshop: Digital Social Networks. Dagstuhl Seminar Proceedings, Volume 10041, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{maintz:DagSemProc.10041.5,
  author =	{Maintz, Julia},
  title =	{{On the locality of virtual networks: Informal learning in the San Francisco Bay Area}},
  booktitle =	{Perspectives Workshop: Digital Social Networks},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10041},
  editor =	{Francois Bry and Clemens Cap and Ingo Dahm and Julia Maintz and Sebastian Schaffert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10041.5},
  URN =		{urn:nbn:de:0030-drops-25199},
  doi =		{10.4230/DagSemProc.10041.5},
  annote =	{Keywords: Innovation, personal online networks, physical space, qualitative social network analysis}
}
  • Refine by Type
  • 7 Document/PDF
  • 2 Document/HTML

  • Refine by Publication Year
  • 1 2025
  • 1 2023
  • 5 2010

  • Refine by Author
  • 4 Maintz, Julia
  • 3 Bry, Francois
  • 3 Cap, Clemens
  • 3 Dahm, Ingo
  • 3 Schaffert, Sebastian
  • Show More...

  • Refine by Series/Journal
  • 1 OASIcs
  • 1 TGDK
  • 5 DagSemProc

  • Refine by Classification
  • 1 Applied computing → Life and medical sciences
  • 1 Computing methodologies → Knowledge representation and reasoning
  • 1 Information systems → Graph-based database models
  • 1 Software and its engineering → Software verification

  • Refine by Keyword
  • 3 Digital Social Media
  • 3 Social Computing
  • 3 Social Software
  • 1 Cross-Chain Bridge
  • 1 Explainable AI
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact