Local Network Patterns in Protein-Protein Interfaces
Luo, Q
Hamer, R
Reinert, G
Deane, C
PLoS ONE
volume 8
issue 3
(08 Mar 2013)
Reachability and connectivity queries in constraint databases
Benedikt, M
Grohe, M
Libkin, L
Segoufin, L
104-115
(2000)
Strong Complementarity and Non-locality in Categorical Quantum Mechanics.
Coecke, B
Duncan, R
Kissinger, A
Wang, Q
LICS
245-254
(2012)
Efficient Information Exchange in the Random Phone-Call Model.
Berenbrink, P
Czyzowicz, J
Elsässer, R
Gasieniec, L
ICALP (2)
volume 6199
127-138
(2010)
A Fully Complete PER Model for ML Polymorphic Types.
Abramsky, S
Lenisa, M
CSL
volume 1862
140-155
(2000)
Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus.
Abramsky, S
Lenisa, M
CSL
volume 2142
443-457
(2001)
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference.
Abramsky, S
Zvesper, J
CMCS
volume 7399
1-19
(2012)
Preprocessing of Min Ones Problems: A Dichotomy.
Kratsch, S
Wahlström, M
ICALP (1)
volume 6198
653-665
(2010)
Axiomatizing Fully Complete Models for ML Polymorphic Types.
Abramsky, S
Lenisa, M
MFCS
volume 1893
141-151
(2000)
Game Semantics: Achievements and Prospects.
Abramsky, S
ICALP
volume 1853
1-1
(2000)