default search action
Search 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
no 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 946 matches
- 2024
- Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix:
On the Hardness of Analyzing Quantum Programs Quantitatively. ESOP (2) 2024: 31-58 - Luís Caires, Bernardo Toninho:
The Session Abstract Machine. ESOP (1) 2024: 206-235 - Liang-Ting Chen, Hsiang-Shang Ko:
A Formal Treatment of Bidirectional Typing. ESOP (1) 2024: 115-142 - Cyril Cohen, Enzo Crance, Assia Mahboubi:
Trocq: Proof Transfer for Free, With or Without Univalence. ESOP (1) 2024: 239-268 - Cyril Cohen, Enzo Crance, Assia Mahboubi:
Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence. ESOP (1) 2024: 269-274 - Andrea Colledan, Ugo Dal Lago:
Circuit Width Estimation via Effect Typing and Linear Dependency. ESOP (2) 2024: 3-30 - Yotam Dvir, Ohad Kammar, Ori Lahav:
A Denotational Approach to Release/Acquire Concurrency. ESOP (2) 2024: 121-149 - Thiago Felicissimo:
Generic bidirectional typing for dependent type theories. ESOP (1) 2024: 143-170 - Thiago Felicissimo:
Artifact report: Generic bidirectional typing for dependent type theories. ESOP (1) 2024: 171-175 - Hiroya Fujinami, Ichiro Hasuo:
Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. ESOP (2) 2024: 90-118 - Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni:
Monadic Intersection Types, Relationally. ESOP (1) 2024: 22-51 - Liye Guo, Cynthia Kop:
Higher-Order LCTRSs and Their Termination. ESOP (2) 2024: 331-357 - Jason Z. S. Hu, Brigitte Pientka:
Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis. ESOP (1) 2024: 52-82 - Jack Hughes, Dominic Orchard:
Program Synthesis from Graded Types. ESOP (1) 2024: 83-112 - Shachar Itzhaky, Sharon Shoham, Yakir Vizel:
Hyperproperty Verification as CHC Satisfiability. ESOP (2) 2024: 212-241 - Hrutvik Kanabar, Kacper Korban, Magnus O. Myreen:
Verified Inlining and Specialisation for PureCake. ESOP (2) 2024: 275-301 - Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini:
A Modular Soundness Theory for the Blackboard Analysis Architecture. ESOP (2) 2024: 361-390 - Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard:
Definitional Functoriality for Dependent (Sub)Types. ESOP (1) 2024: 302-331 - Théo Laurent, Meven Lennon-Bertrand, Kenji Maillard:
Artifact Description - Definitional Functoriality for Dependent (Sub)Types. ESOP (1) 2024: 332-337 - Pierre Lermusiaux, Benoît Montagu:
Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. ESOP (2) 2024: 391-420 - Elaine Li, Felix Stutz, Thomas Wies:
Deciding Subtyping for Asynchronous Multiparty Sessions. ESOP (1) 2024: 176-205 - Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang:
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) 2024: 3-21 - Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman:
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. ESOP (2) 2024: 302-330 - Raphaël Monat, Aymeric Fromherz, Denis Merigoux:
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. ESOP (2) 2024: 421-450 - Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza:
Maximal Quantified Precondition Synthesis for Linear Array Loops. ESOP (2) 2024: 245-274 - Loïc Pujet, Nicolas Tabareau:
Observational Equality Meets CIC. ESOP (1) 2024: 275-301 - Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol:
Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) 2024: 150-179 - Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol:
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) 2024: 180-184 - Léo Stefanesco, Azalea Raad, Viktor Vafeiadis:
Specifying and Verifying Persistent Libraries. ESOP (2) 2024: 185-211 - Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang:
Reconciling Partial and Local Invertibility. ESOP (2) 2024: 59-89
skipping 916 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 2024-10-21 13:17 CEST 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