Result 1 to 20 of 132 total
On the algebra of regular sets. (English)
Ann. Math. Artif. Intell. 65, No. 1, 25-60 (2012).
1
Relation algebras, matrices, and multi-valued decision diagrams. (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, 248-263 (2012).
2
Softwaretest-Umfrage 2011 ‒ Erkenntnisziele, Durchführung und Ergebnisse. (German)
Jähnichen, Stefan (ed.) et al., Software Engineering 2012. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-292-5). Lect. Notes Inform. 198, 157-168 (2012).
3
Qualitative assessment of the role of public health education program on HIV transmission dynamics. (English)
Math. Med. Biol. 28, No. 3, 245-270 (2011).
4
Splitting atoms in relational algebras. (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, 331-346 (2011).
5
A first-order calculus for allegories. (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, 74-91 (2011).
6
Relation algebraic approaches to fuzzy relations. (Invited tutorial). (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, 70-73 (2011).
7
Us and them: a social capital perspective on the relationship between the business and IT departments (English)
EJIS 20, No. 3, 255-266 (2011).
8
Unearthing invisible buildings: device focus and device sharing in a collaborative mobile learning activity (English)
IJMBL 3, No. 4, 1-18 (2011).
9
Dedekind categories with cutoff operators (English)
Fuzzy Sets and Systems 173, No. 1, 1-24 (2011).
10
Relation algebraic approaches to fuzzy relations - (Invited tutorial) (English)
RAMICS, 70-73 (2011).
11
A first-order calculus for allegories (English)
RAMICS, 74-91 (2011).
12
Splitting atoms in relational algebras (English)
RAMICS, 331-346 (2011).
13
Guaranteed service virtual channel allocation in nocs for run-time task scheduling (English)
DATE, 419-424 (2011).
14
Fair rate packet arbitration in network-on-chip (English)
SoCC, 278-283 (2011).
15
Embedding mappings and splittings with applications. (English)
Acta Inf. 47, No. 2, 77-110 (2010).
16
Stability of spiky solutions in a reaction-diffusion system with four morphogens on the real line (English)
SIAM J. Math. Analysis 42, No. 6, 2818-2841 (2010).
17
Development and testing of a risk indexing framework to determine field-scale critical source areas of faecal bacteria on grassland (English)
Environmental Modelling and Software 25, No. 4, 503-512 (2010).
18
MOTES2010 - modellbasiertes testen (Vorwort) (English)
GI Jahrestagung (2), 319-320 (2010).
19
Stonian p-ortholattices: a new approach to the mereotopology $RT_{0}$. (English)
Artif. Intell. 173, No. 15, 1424-1440 (2009).
20
Result 1 to 20 of 132 total
Start
Contact
Print
General Help
