Остановите войну!
for scientists:
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 29 matches
- 2013
- Faris Abou-Saleh, Dirk Pattinson:
Comodels and Effects in Mathematical Operational Semantics. FoSSaCS 2013: 129-144 - Guy Avni, Orna Kupferman:
Parameterized Weighted Containment. FoSSaCS 2013: 369-384 - Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev:
On Monadic Parametricity of Second-Order Functionals. FoSSaCS 2013: 225-240 - Benedikt Bollig, Paul Gastin, Benjamin Monmege:
Weighted Specifications over Nested Words. FoSSaCS 2013: 385-400 - Rémi Bonnet, Rohit Chadha:
Bounded Context-Switching and Reentrant Locking. FoSSaCS 2013: 65-80 - Martin Churchill, Peter D. Mosses:
Modular Bisimulation Theory for Computations and Values. FoSSaCS 2013: 97-112 - Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre:
Reachability of Communicating Timed Processes. FoSSaCS 2013: 81-96 - Ranald Clouston:
Generalised Name Abstraction for Nominal Sets. FoSSaCS 2013: 434-449 - Lukasz Czajka:
Partiality and Recursion in Higher-Order Logic. FoSSaCS 2013: 177-192 - Wojciech Czerwinski, Claire David, Katja Losemann, Wim Martens:
Deciding Definability by Deterministic Regular Expressions. FoSSaCS 2013: 289-304 - Fredrik Dahlqvist, Dirk Pattinson:
Some Sahlqvist Completeness Results for Coalgebraic Logics. FoSSaCS 2013: 193-208 - Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
On Unique Decomposition of Processes in the Applied π-Calculus. FoSSaCS 2013: 50-64 - Pietro Di Gianantonio, Abbas Edalat:
A Language for Differentiable Functions. FoSSaCS 2013: 337-352 - Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux:
Type-Based Complexity Analysis for Fork Processes. FoSSaCS 2013: 305-320 - Jonathan Hayman, Tobias Heindel:
Pattern Graphs and Rule-Based Models: The Semantics of Kappa. FoSSaCS 2013: 1-16 - Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp:
Pure Pointer Programs and Tree Isomorphism. FoSSaCS 2013: 321-336 - Michael Huth, Jim Huan-Pu Kuo, Nir Piterman:
Fatal Attractors in Parity Games. FoSSaCS 2013: 34-49 - Prateek Karandikar, Sylvain Schmitz:
The Parametric Ordinal-Recursive Complexity of Post Embedding Problems. FoSSaCS 2013: 273-288 - Shin-ya Katsumata, Tetsuya Sato:
Preorders on Monads and Coalgebraic Simulations. FoSSaCS 2013: 145-160 - Robbert Krebbers, Freek Wiedijk:
Separation Logic for Non-local Control Flow and Block Scope Variables. FoSSaCS 2013: 257-272 - Matteo Mio, Alex Simpson:
A Proof System for Compositional Verification of Probabilistic Concurrent Processes. FoSSaCS 2013: 161-176 - Andrzej S. Murawski, Nikos Tzevelekos:
Deconstructing General References via Game Semantics. FoSSaCS 2013: 241-256 - Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis:
Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013: 113-128 - Sam Staton:
An Algebraic Presentation of Predicate Logic - (Extended Abstract). FoSSaCS 2013: 401-417 - Lutz Straßburger:
Cut Elimination in Nested Sequents for Intuitionistic Modal Logics. FoSSaCS 2013: 209-224 - Nikos Tzevelekos, Radu Grigore:
History-Register Automata. FoSSaCS 2013: 17-33 - Michael Ummels, Christel Baier:
Computing Quantiles in Markov Reward Models. FoSSaCS 2013: 353-368 - Glynn Winskel:
Strategies as Profunctors. FoSSaCS 2013: 418-433 - Frank Pfenning:
Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Lecture Notes in Computer Science 7794, Springer 2013, ISBN 978-3-642-37074-8 [contents]
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-05-24 22:01 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