default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Structures in Computer Science, Volume 23
Volume 23, Number 1, February 2013
- Jan Schwinghammer, Lars Birkedal
, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang:
A step-indexed Kripke model of hidden state. 1-54 - Peter Hines:
A categorical analogue of the monoid semiring construction. 55-94 - Joe Mashburn:
A spectral order for infinite-dimensional quantum spaces. 95-130 - Anders Kock, Joachim Kock:
Local fibred right adjoints are polynomial. 131-141 - Yde Venema, Steve Vickers, Jacob Vosmaer:
Generalised powerlocales via relation lifting. 142-199
Volume 23, Number 2, April 2013
- S. Barry Cooper, Elham Kashefi, Prakash Panangaden:
Preface to special issue: Developments In Computational Models 2010. 201-203
- Miklós Bartha:
The monoidal structure of Turing machines. 204-246 - Luca Cardelli:
Two-domain DNA strand displacement. 247-271 - Vincent Danos, Russell Harmer, Glynn Winskel:
Constraining rule-based dynamics with types. 272-289 - Vincent Danos, Nicolas Oury:
Equilibrium and termination II: the case of Petri nets. 290-307 - Lucas Dixon, Aleks Kissinger:
Open-graphs and monoidal theories. 308-359 - Vedran Dunjko, Elham Kashefi:
Extended phase map decompositions for unitaries. 360-385 - Dominik F. Floess, Erika Andersson, Mark Hillery:
Quantum algorithms for testing and learning Boolean functions. 386-398 - Lucien Hardy:
A formalism-local framework for general probabilistic theories, including quantum theory. 399-440 - Damian Markham, Janet Anders, Michal Hajdusek, Vlatko Vedral:
Topological features of good resources for measurement-based quantum computation. 441-453 - Akihito Soeda, Mio Murao:
Comparing the globalness of bipartite unitary operations: delocalisation power, entanglement cost and entangling power. 454-470 - Nicolas Oury, Gordon D. Plotkin:
Multi-level modelling via stochastic multi-level multiset rewriting. 471-503 - Benoît Valiron:
A typed, algebraic, computational lambda-calculus. 504-554
Volume 23, Number 3, June 2013
- Bob Coecke, Dusko Pavlovic, Jamie Vicary:
A new description of orthogonal bases. 555-567 - Vincent Padovani:
Ticket Entailment is decidable. 568-607 - Elloá B. Guedes, Francisco Marcos de Assis, Bernardo Lula Jr.:
Quantum attacks on pseudorandom generators. 608-634 - C. E. Martin, S. A. Curtis:
The algebra of multirelations. 635-674
Volume 23, Number 4, August 2013
- Azer Bestavros, Assaf J. Kfoury:
Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems. 675
- Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal:
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. 676-725 - John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef:
A formal approach to collaborative modelling and co-simulation for embedded systems. 726-750 - Christel Baier, Ernst Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen:
Model checking for performability. 751-795 - Mirco Kuhlmann, Karsten Sohr, Martin Gogolla:
Employing UML and OCL for designing and analysing role-based access control. 796-833 - Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee:
A modular formal semantics for Ptolemy. 834-881 - Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis:
Rigorous implementation of real-time systems - from theory to application. 882-914 - Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near:
Applications and extensions of Alloy: past, present and future. 915-933 - Azer Bestavros, Assaf J. Kfoury, Andrei Lapets:
Postlude: seamless composition and integration - a perspective on formal methods research. 934-943
Volume 23, Number 5, October 2013
- Florian Rabe:
A logical framework combining model and proof theory. 945-1001 - Murdoch James Gabbay, Peter H. Kropholler:
Imaginary groups: lazy monoids and reversible computation. 1002-1031 - Gilles Barthe, David Pichardie, Tamara Rezk:
A certified lightweight non-interference Java bytecode verifier. 1032-1081 - Wouter Pieter Stekelenburg:
Regular functors and relative realisability categories. 1082-1110
Volume 23, Number 6, December 2013
- José Espírito Santo, Ralph Matthes, Koji Nakazawa, Luís Pinto:
Monadic translation of classical sequent calculus. 1111-1162 - Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri:
Deriving session and union types for objects. 1163-1219 - Salman Khan:
Generation and sudden death of entanglement in qubit-qutrit systems with depolarising noise. 1220-1233 - Thomas Streicher:
Krivine's classical realisability from a categorical perspective. 1234-1256 - George Davie, Willem L. Fouché:
On the computability of a construction of Brownian motion. 1257-1265
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 2026-01-22 00:38 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:
