Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218.
Abramsky, S
Aceto, L
Ingólfsdóttir, A
Inf. Comput.
volume 165
119-122
(2001)
What Makes Alan Turing a Great Scientist? - Introduction to the Special Theme.
Dowek, G
Abramsky, S
ERCIM News
volume 2012
(2012)
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality
Abramsky, S
Brandenburger, A
CoRR
volume abs/1102.0264
(2011)
A Structural Approach to Reversible Computation
Abramsky, S
CoRR
volume abs/1111.7154
(2011)
Sequentiality vs. Concurrency in Games and Logic
Abramsky, S
CoRR
volume abs/1111.7159
(2011)
Geometry of Interaction and Linear Combinatory Algebras.
Abramsky, S
Haghverdi, E
Scott, P
Math. Struct. Comput. Sci.
volume 12
625-665
(2002)
IONIZED ABSORBERS AS EVIDENCE FOR SUPERNOVA-DRIVEN COOLING OF THE LOWER GALACTIC CORONA
Fraternali, F
Marasco, A
Marinacci, F
Binney, J
ASTROPHYSICAL JOURNAL LETTERS
volume 764
issue 2
(2013)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000314817700003&DestLinkType=FullRecord&DestApp=WOS_CPL
LTL model checking of interval Markov chains
Benedikt, M
Lenhardt, R
Worrell, J
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume 7795 LNCS
32-46
(05 Mar 2013)
Introduction to special issue on monte carlo methods in statistics
Doucet, A
Robert, C
ACM Transactions on Modeling and Computer Simulation
volume 23
issue 1
(01 Jan 2013)