Result 1 to 20 from 137 total
Branching time? pruning time! (English)
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 393-407 (2012).
1
Two local strategy iteration schemes for parity game solving. (English)
Int. J. Found. Comput. Sci. 23, No. 3, 669-685 (2012).
2
Fuzzy neural gas for unsupervised vector quantization. (English)
Rutkowski, Leszek (ed.) et al., Artificial intelligence and soft computing. 11th international conference, ICAISC 2012, Zakopane, Poland, April 29‒May 3, 2012. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-29346-7/pbk). Lecture Notes in Computer Science 7267. Lecture Notes in Artificial Intelligence, 350-358 (2012).
3
Ramsey-based analysis of parity automata. (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 64-78 (2012).
4
Solving parity games by a reduction to SAT. (English)
J. Comput. Syst. Sci. 78, No. 2, 430-440 (2012).
5
Accelerating agent-based ecosystem models using the cell broadband engine. (English)
Varbanescu, Ana Lucia (ed.) et al., Computer architecture. ISCA 2010 international workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19‒23, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24321-9/pbk). Lecture Notes in Computer Science 6161, 1-12 (2011).
6
Size-change termination and satisfiability for linear-time temporal logics. (English)
Tinelli, Cesare (ed.) et al., Frontiers of combining systems. 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24363-9/pbk). Lecture Notes in Computer Science 6989. Lecture Notes in Artificial Intelligence, 28-39 (2011).
7
Formal language constrained reachability and model checking propositional dynamic logics. (English)
Delzanno, Giorgio (ed.) et al., Reachability problems. 5th international workshop, RP 2011, Genoa, Italy, September 28‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24287-8/pbk). Lecture Notes in Computer Science 6945, 45-57 (2011).
8
Exact incremental analysis of timed automata with an SMT-solver. (English)
Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21‒23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 177-192 (2011).
9
More on balanced diets. (English)
J. Funct. Program. 21, No. 2, 135-157 (2011).
10
The modal $μ$-calculus caught off guard. (English)
Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 149-163 (2011).
11
Automata theory and logic. (Automatentheorie und Logik.) (German)
eXamen.press. Berlin: Springer (ISBN 978-3-642-18089-7/pbk; 978-3-642-18090-3/ebook). x, 240~p. EUR~29.95; SFR~40.50 (2011).
12
Exact incremental analysis of timed automata with an SMT-solver (English)
FORMATS, 177-192 (2011).
13
Formal language constrained reachability and model checking propositional dynamic logics (English)
RP, 45-57 (2011).
14
An experts’ perspective on enterprise architecture goals, framework adoption and benefit assessment (English)
EDOCW, 304-313 (2011).
15
Size-change termination and satisfiability for linear-time temporal logics (English)
FroCos, 28-39 (2011).
16
The modal {$\it μ$}-calculus caught off guard (English)
TABLEAUX, 149-163 (2011).
17
Extracting cross references from life science databases for search result ranking (English)
CIKM, 1253-1258 (2011).
18
Extended computation tree logic. (English)
Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 67-81 (2010).
19
A CTL-based logic for program abstractions. (English)
Dawar, Anuj (ed.) et al., Logic, language, information and computation. 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13823-2/pbk). Lecture Notes in Computer Science 6188. Lecture Notes in Artificial Intelligence, 19-33 (2010).
20
Result 1 to 20 from 137 total
Start
Contact
Print
General Help
