default search action
Mathematical Structures in Computer Science, Volume 25
Volume 25, Number 1, January 2015
- Jean Goubault-Larrecq:
A short proof of the Schröder-Simpson Theorem. 1-5 - Jirí Adámek, Lurdes Sousa
, Jirí Velebil:
Kan injectivity in order-enriched categories. 6-45 - Hendrik Hilberdink:
Inclusions for partiality. 46-82 - Norihiro Kamide:
Embedding theorems for LTL and its variants. 83-134 - Richard Banach, Czeslaw Jeske:
Retrenchment and refinement interworking: the tower theorems. 135-202
Volume 25, Number 2, February 2015
- Miguel E. Andrés, Catuscia Palamidessi
Preface to the special issue on quantitative information flow. 203-206
- Michael R. Clarkson, Fred B. Schneider:
Quantification of integrity. 207-258 - Michele Boreale
A semiring-based trace semantics for processes with applications to information leakage analysis. 259-291 - Michele Boreale
Asymptotic information leakage under one-try attacks. 292-319 - Annabelle McIver
Hidden-Markov program algebra with iteration. 320-360 - Béatrice Bérard, John Mullins, Mathieu Sassolas:
Quantifying opacity. 361-403 - Pasquale Malacaria:
Algebraic foundations for quantitative information flow. 404-428 - Sardaouna Hamadou, Vladimiro Sassone, Mu Yang:
An analysis of trust in anonymity networks in the presence of adaptive attackers. 429-456 - Michael Backes, Boris Köpf:
Quantifying information flow in cryptographic systems. 457-479
Volume 25, Number 3, March 2015
- Ivan Lanese, Davide Sangiorgi:
Preface: Special issue on objects and services. 480-481
- Dave Clarke, Michiel Helvensteijn, Ina Schaefer:
Abstract delta modelling. 482-527 - Mads Dam, Bart Jacobs
Security monitor inlining and certification for multithreaded Java. 528-565 - Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
cJoin: Join with communicating transactions. 566-618 - Laura Bocchi, Emilio Tuosto:
Attribute-based transactions in service oriented computing. 619-665 - Michele Boreale
CaSPiS: a calculus of sessions, pipelines and services. 666-709 - Massimo Bartoletti
Model checking usage policies. 710-763
Volume 25, Number 4, May 2015
- Yuxi Fu, Kazunori Ueda:
Preface. 764
- Xiaocong Zhou, Yong-Ji Li, Wen-Jun Li, Hai-Yan Qiao, Zhongmei Shu:
Bisimulation proof methods in a path-based specification language for polynomial coalgebras. 765-804 - Gang Tan
JNI light: an operational model for the core JNI. 805-840 - Hiroshi Unno
Verification of tree-processing programs via higher-order mode checking. 841-866 - Jacques Garrigue:
A certified implementation of ML with structural polymorphism and recursive types. 867-891 - Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi:
Automatically inferring loop invariants via algorithmic learning. 892-915 - Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano
Context-preserving XQuery fusion. 916-941 - Francisco Javier López-Fraguas
A liberal type system for functional logic programs. 942-977 - Paolo Baldan, Filippo Bonchi
Concurrency cannot be observed, asynchronously. 978-1004
Volume 25, Number 5, June 2015
- Steve Awodey, Nicola Gambino
Introduction - from type theory and homotopy theory to univalent foundations. 1005-1009
- Benedikt Ahrens
Univalent categories and the Rezk completion. 1010-1039 - Jeremy Avigad
Homotopy limits in type theory. 1040-1070 - Bruno Barras, Thierry Coquand, Simon Huber:
A generalization of the Takeuti-Gandy interpretation. 1071-1099 - Benno van den Berg, Ieke Moerdijk:
W-types in homotopy type theory. 1100-1115 - Hugo Herbelin:
A dependently-typed construction of semi-simplicial types. 1116-1131 - Jaap van Oosten:
A notion of homotopy for the effective topos. 1132-1146 - Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren:
A univalent formalization of the p-adic numbers. 1147-1171 - Egbert Rijke, Bas Spitters
Sets in homotopy type theory. 1172-1202 - Michael Shulman:
Univalence for inverse diagrams and homotopy canonicity. 1203-1277 - Vladimir Voevodsky:
An experimental library of formalized Mathematics based on the univalent foundations. 1278-1294
Volume 25, Number 6, September 2015
- Yuxi Fu:
Non-deterministic structures of computation. 1295-1338 - Franco Barbanera, Ugo de'Liguoro:
Sub-behaviour relations for session-based client/server systems. 1339-1381 - Yan Zhang, Zhaohui Zhu, Jinjin Zhang:
On recursive operations over logic LTS. 1382-1431 - Dmitry N. Kozlov
Weak symmetry breaking and abstract simplex paths. 1432-1462
Volume 25, Number 7, October 2015
- Ulrich Berger
Preface to the special issue: Computing with infinite data: topological and logical foundations. 1463-1465
- Peter Aczel, Hajime Ishihara, Takako Nemoto
Generalized geometric theories and set-generated classes. 1466-1483 - Andrej Bauer:
An injection from the Baire space to natural numbers. 1484-1489 - Verónica Becher
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization. 1490-1519 - Verónica Becher
Wadge hardness in Scott spaces and its effectivization. 1520-1545 - Jarryd P. Beck, John Plaice, William W. Wadge:
Multidimensional infinite data in the language Lucid. 1546-1568 - Hannes Diener:
Variations on a theme by Ishihara. 1569-1577 - Martín Escardó:
Constructive decidability of classical continuity. 1578-1589 - Willem L. Fouché
Kolmogorov complexity and the geometry of Brownian motion. 1590-1606 - Reinhold Heckmann:
Spatiality of countably presentable locales (proved with the Baire category theorem). 1607-1625
Volume 25, Number 8, December 2015
- Hajime Ishihara, Tatsuji Kawai:
Completeness and cocompleteness of the categories of basic pairs and concrete spaces. 1626-1648 - Takayuki Kihara
Comparing the Medvedev and Turing degrees of Π0 1 classes. 1649-1668 - Margarita V. Korovina, Oleg V. Kudinov
Positive predicate structures for continuous data. 1669-1684 - Hans-Peter A. Künzi, Manuel Sanchis
Addendum to 'The Katětov construction modified for a T 0-quasi-metric space'. 1685-1691 - Kenji Miyamoto, Helmut Schwichtenberg:
Program extraction in exact real arithmetic. 1692-1704 - Luca Motto Ros
Wadge-like reducibilities on arbitrary quasi-Polish spaces. 1705-1754 - Paulo Oliva, Thomas Powell
A constructive interpretation of Ramsey's theorem via the product of selection functions. 1755-1778 - Massoud Pourmahdian
Effective metric model theory. 1779-1798 - Matthias Schröder
Some hierarchies of QCB 0-spaces. 1799-1823
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.
last updated on 2024-12-19 22:04 CET 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: