Complexity of higher-order queries
Vu, H
Benedikt, M
ACM International Conference Proceeding Series
208-219
(01 Jan 2011)
Efficient and expressive tree filters
Benedikt, M
Jeffrey, A
FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS
volume 4855
461-+
(2007)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000252795900038&DestLinkType=FullRecord&DestApp=WOS_CPL
XPath Leashed
Benedikt, M
Koch, C
ACM COMPUTING SURVEYS
volume 41
issue 1
(2008)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000263491500003&DestLinkType=FullRecord&DestApp=WOS_CPL
XPath satisfiability in the presence of DTDs
Benedikt, M
Fan, W
Geerts, F
JOURNAL OF THE ACM
volume 55
issue 2
(2008)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000256117000003&DestLinkType=FullRecord&DestApp=WOS_CPL
TOWARDS A CHARACTERIZATION OF ORDER-INVARIANT QUERIES OVER TAME GRAPHS
Benedikt, M
Segoufin, L
JOURNAL OF SYMBOLIC LOGIC
volume 74
issue 1
168-186
(2009)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000263982400009&DestLinkType=FullRecord&DestApp=WOS_CPL
Probabilistic XML via Markov chains
Benedikt, M
Kharlamov, E
Olteanu, D
Senellart, P
Proceedings of the VLDB Endowment
volume 3
issue 1
770-781
(01 Jan 2010)
Physics from computer science: A position statement
Abramsky, S
Coecke, B
INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING
volume 3
issue 3
179-197
(2007)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000258954000003&DestLinkType=FullRecord&DestApp=WOS_CPL
Petri nets, discrete physics, and distributed quantum computation
Abramsky, S
CONCURRENCY, GRAPHS AND MODELS
volume 5065
527-543
(2008)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000257184800033&DestLinkType=FullRecord&DestApp=WOS_CPL
From IF to BI
Abramsky, S
Vaananen, J
SYNTHESE
volume 167
issue 2
207-230
(2009)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000263428200002&DestLinkType=FullRecord&DestApp=WOS_CPL
A game semantics for generic polymorphism
Abramsky, S
Jagadeesan, R
ANNALS OF PURE AND APPLIED LOGIC
volume 133
issue 1-3
3-37
(2005)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000227755900002&DestLinkType=FullRecord&DestApp=WOS_CPL