Result 1 to 20 of 123 total
Orders, lattices and relations with applications. (Ordnungen, Verbände und Relationen mit Anwendungen.) 2nd revised and corrected ed. (German)
Leitfäden der Informatik. Wiesbaden: Springer Vieweg (ISBN 978-3-658-00618-1/pbk; 978-3-658-00619-8/ebook). xiv, 392~p. EUR~39.95; \$~59.95; \$~47.99/ebook (2012).
1
Convergence of set-based multi-objective optimization, indicators and deteriorative cycles. (English)
Theor. Comput. Sci. 456, 2-17 (2012).
2
Simple rectangle-based functional programs for computing reflexive-transitive closures. (English)
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 114-129 (2012).
3
Computations on simple games using {\tt RelView}. (English)
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 13th international workshop, CASC 2011, Kassel, Germany, September 5‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23567-2/pbk). Lecture Notes in Computer Science 6885, 49-60 (2011).
4
Contact, closure, topology, and the linking of row and column types of relations. (English)
J. Log. Algebr. Program. 80, No. 6, 339-361 (2011).
5
Special issue: Relations and Kleene algebras in computer science. Selected revised papers based on the presentations at the 11th international conference on relational methods in computer science, RelMiCS 2009 and the 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1‒5, 2009. (English)
J. Log. Algebr. Program. 80, No. 6, 219-375 (2011).
6
A functional, successor list based version of Warshall’s algorithm with applications. (English)
de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 ‒ June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 109-124 (2011).
7
Relational modelling and solution of chessboard problems. (English)
de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 ‒ June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 92-108 (2011).
8
Social networks: Prestige, centrality, and influence. (Invited paper). (English)
de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 ‒ June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 22-39 (2011).
9
A relation-algebraic approach to simple games. (English)
Eur. J. Oper. Res. 210, No. 1, 68-80 (2011).
10
Social networks: prestige, centrality, and influence - (Invited paper) (English)
RAMICS, 22-39 (2011).
11
Relational modelling and solution of chessboard problems (English)
RAMICS, 92-108 (2011).
12
A functional, successor list based version of warshall’s algorithm with applications (English)
RAMICS, 109-124 (2011).
13
Computations on simple games using relview (English)
CASC, 49-60 (2011).
14
Relation-algebraic specification and solution of special university timetabling problems. (English)
J. Log. Algebr. Program. 79, No. 8, 722-739 (2010).
15
On automated program construction and verification. (English)
Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21‒23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 22-41 (2010).
16
Embedding mappings and splittings with applications. (English)
Acta Inf. 47, No. 2, 77-110 (2010).
17
Set-based multi-objective optimization, indicators, and deteriorative cycles (English)
GECCO, 495-502 (2010).
18
On automated program construction and verification (English)
MPC, 22-41 (2010).
19
Contact relations with applications. (English)
Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1‒5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04638-4/pbk). Lecture Notes in Computer Science 5827, 306-321 (2009).
20
Result 1 to 20 of 123 total
Start
Contact
Print
General Help
