default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 59 matches
- 2024
- Daniel Luckhardt, Harsh Beohar, Sebastian Küpper:
On Kleisli liftings and decorated trace semantics. CoRR abs/2411.08770 (2024) - 2023
- Hakan Yildiz
, Axel Küpper, Dirk Thatmann, Sebastian Göndör, Patrick Herbke:
Toward Interoperable Self-Sovereign Identities. IEEE Access 11: 114080-114116 (2023) - Hakan Yildiz, Artur Philipp, Aljoscha Schulte, Axel Küpper, Sebastian Göndör, Sandro Rodriguez Garzon:
Interoperable Selbstsouveräne Identitäten: Ein Digital Markets Act für Endnutzer? HMD Prax. Wirtsch. 60(2): 405-421 (2023) - 2022
- Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow:
Conditional Bisimilarity for Reactive Systems. Log. Methods Comput. Sci. 18(1) (2022) - Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski:
Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic. CMCS 2022: 1-22 - Sebastian Göndör, Hakan Yildiz, Martin Westerkamp, Axel Küpper:
Blade: A Blockchain-supported Architecture for Decentralized Services. CoRR abs/2207.14577 (2022) - Hakan Yildiz, Axel Küpper, Dirk Thatmann, Sebastian Göndör, Patrick Herbke:
A Tutorial on the Interoperability of Self-sovereign Identities. CoRR abs/2208.04692 (2022) - 2021
- Sebastian Houben, Stephanie Abrecht, Maram Akila, Andreas Bär, Felix Brockherde, Patrick Feifel, Tim Fingscheidt, Sujan Sai Gannamaneni, Seyed Eghbal Ghobadi, Ahmed Hammam, Anselm Haselhoff, Felix Hauser, Christian Heinzemann, Marco Hoffmann, Nikhil Kapoor, Falk Kappel, Marvin Klingner, Jan Kronenberger, Fabian Küppers, Jonas Löhdefink, Michael Mlynarski, Michael Mock, Firas Mualla, Svetlana Pavlitskaya, Maximilian Poretschkin, Alexander Pohl, Varun Ravi Kumar, Julia Rosenzweig, Matthias Rottmann, Stefan Rüping, Timo Sämann, Jan David Schneider, Elena Schulz, Gesina Schwalbe, Joachim Sicking, Toshika Srivastava, Serin Varghese, Michael Weber, Sebastian Wirkert, Tim Wirtz, Matthias Woehrle:
Inspect, Understand, Overcome: A Survey of Practical Methods for AI Safety. CoRR abs/2104.14235 (2021) - Harsh Beohar, Barbara König, Sebastian Küpper, Christina Mika-Michalski:
Coalgebraic modal logic and games for coalgebras with side effects. CoRR abs/2110.09911 (2021) - 2020
- Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
Conditional transition systems with upgrades. Sci. Comput. Program. 186 (2020) - Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow:
Conditional Bisimilarity for Reactive Systems. FSCD 2020: 10:1-10:19 - Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow:
Conditional Bisimilarity for Reactive Systems. CoRR abs/2004.11792 (2020) - 2019
- Philip Raschke, Sebastian Zickau, Jacob Leon Kröger, Axel Küpper:
Towards Real-Time Web Tracking Detection with T.EX - The Transparency EXtension. APF 2019: 3-17 - Martin Westerkamp, Sebastian Göndör, Axel Küpper:
Tawki: Towards Self-Sovereign Social Communication. DAPPCON 2019: 29-38 - Sandro Rodriguez Garzon, Thomas Pöllabauer, Sebastian Zickau, Axel Küpper:
Interactive Design of Geofences for Proactive Location-Based Services in Smart Cities. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019: 1184-1187 - Harsh Beohar, Sebastian Küpper:
Bisimulation Maps in Presheaf Categories. MFPS 2019: 5-24 - Harsh Beohar, Sebastian Küpper:
Bisimulation maps in presheaf categories. CoRR abs/1909.01796 (2019) - 2018
- Sebastian Küpper:
Behavioural Analysis of Systems with Weights and Conditions. University of Duisburg-Essen, Germany, Dr. Hut 2018, ISBN 978-3-8439-3444-2, pp. 1-327 - Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann:
A coalgebraic treatment of conditional transition systems with upgrades. Log. Methods Comput. Sci. 14(1) (2018) - Barbara König, Sebastian Küpper:
A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Comput. 22(4): 1103-1120 (2018) - Sandro Rodriguez Garzon, Sebastian Walther, Shaoning Pang, Bersant Deva, Axel Küpper:
Urban air pollution alert service for smart cities. IOT 2018: 9:1-9:8 - 2017
- Ibrahim Tariq Javed, Rebecca Copeland, Noël Crespi, Marc Emmelmann, Andreea Ancuta Corici, Ahmed Bouabdallah, Tuo Zhang, Saad El Jaouhari, Felix Beierle, Sebastian Göndör, Axel Küpper, Kevin Corre, Jean-Michel Crom, Frank Oberle, Ingo Friese, Ana Caldeira, Gil Dias, Nuno Santos, Ricardo Chaves, Ricardo Lopes Pereira:
Cross-domain identity and discovery framework for web calling services. Ann. des Télécommunications 72(7-8): 459-468 (2017) - Harsh Beohar, Sebastian Küpper:
On Path-Based Coalgebras and Weak Notions of Bisimulation. CALCO 2017: 6:1-6:17 - Ingo Friese, Rebecca Copeland, Sebastian Göndör, Felix Beierle, Axel Küpper, Ricardo Lopes Pereira, Jean-Michel Crom:
Cross-domain discovery of communication peers: Identity Mapping and Discovery Services (IMaDS). EuCNC 2017: 1-6 - Filippo Bonchi, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems. TACAS (1) 2017: 535-552 - Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
Conditional transition systems with upgrades. TASE 2017: 1-8 - Barbara König, Sebastian Küpper, Christina Mika:
PAWS: A Tool for the Analysis of Weighted Systems. QAPL@ETAPS 2017: 75-91 - Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva:
Conditional Transition Systems with Upgrades. CoRR abs/1706.02526 (2017) - Harsh Beohar, Sebastian Küpper:
On path-based coalgebras and weak notions of bisimulation. CoRR abs/1705.08715 (2017) - Filippo Bonchi, Barbara König, Sebastian Küpper:
Up-To Techniques for Weighted Systems (Extended Version). CoRR abs/1701.05001 (2017)
skipping 29 more matches
loading more results 
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2025-02-03 04:48 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
