Result 1 to 20 of 53 total
Trichotomies in the complexity of minimal inference. (English)
Theory Comput. Syst. 50, No. 3, 446-491 (2012).
1
Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. (English)
LIPICS ‒ Leibniz International Proceedings in Informatics 16. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). xiv, 542~p. (2012).
2
Enumeration complexity of logical query problems with second-order variables. (English)
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12‒15, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPICS ‒ Leibniz International Proceedings in Informatics 12, 189-202, electronic only (2011).
3
Dependence logic with a majority quantifier. (English)
Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12‒14, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPICS ‒ Leibniz International Proceedings in Informatics 13, 252-263, electronic only (2011).
4
Hierarchies in dependence logic. (English)
Comput. Res. Repos. 2011, Article No. 1105.3324 (2011).
5
Complexity issues for the sandwich homogeneous set problem. (English)
Discrete Appl. Math. 159, No. 7, 574-580 (2011).
6
Detection of an anomalous cluster in a network. (English)
Ann. Stat. 39, No. 1, 278-304 (2011).
7
Enumeration complexity of logical query problems with second-order variables (English)
CSL, 189-202 (2011).
8
Dependence logic with a majority quantifier (English)
FSTTCS, 252-263 (2011).
9
Efficient enumeration for conjunctive queries over x-underbar structures. (English)
Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23‒27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 80-94 (2010).
10
SCHNAPS: a generic population-based simulator for public health purposes (English)
SummerSim, 182-189 (2010).
11
Efficient enumeration for conjunctive queries over X-underbar structures (English)
CSL, 80-94 (2010).
12
Trichotomy in the complexity of minimal inference (English)
LICS, 387-396 (2009).
13
Computing the jth solution of a first-order query. (English)
Rev. Inform. Teor. Apl. 42, No. 1, 147-164 (2008).
14
On the counting complexity of propositional circumscription. (English)
Inf. Process. Lett. 106, No. 4, 164-170 (2008).
15
SmartPro: A smart card based digital content protection for professional workflow. (English)
Grimaud, Gilles (ed.) et al., Smart card research and advanced applications. 8th IFIP WG 8.8/11.2 international conference, CARDIS 2008, London, UK, September 8‒11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85892-8/pbk). Lecture Notes in Computer Science 5189, 255-266 (2008).
16
Computing the $j$th solution of a first-order query. (English)
Theor. Inform. Appl. 42, No. 1, 147-164 (2008).
17
Smartpro: A smart card based digital content protection for professional workflow (English)
CARDIS, 255-266 (2008).
18
Laundering and repackaging of multimedia content in content distribution systems (English)
APSCC, 1344-1351 (2008).
19
On acyclic conjunctive queries and constant delay enumeration. (English)
Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11‒15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 208-222 (2007).
20
Result 1 to 20 of 53 total
Start
Contact
Print
General Help
