Result 1 to 20 of 28 total
A domain-specific language for computing on encrypted data. (Invited talk). (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, 6-24, electronic only (2011).
1
Dualities for algebras of Fitting’s many-valued modal logics. (English)
Fundam. Inform. 106, No. 2-4, 273-294 (2011).
2
A duality for $θ$-valued Łukasiewicz-Moisil algebras and applications. (English)
J. Mult.-Val. Log. Soft Comput. 16, No. 3-5, 303-322 (2010).
3
Dualizability of graphs. (English)
J. Aust. Math. Soc. 89, No. 3, 377-392 (2010).
4
Dualities in full homomorphisms. (English)
Eur. J. Comb. 31, No. 1, 106-119 (2010).
5
Dual multivalued groups. (English)
Russ. Math. Surv. 64, No. 5, 955-957 (2009); translation from Usp. Mat. Nauk 64, No. 5, 183-184 (2009).
6
Applications of finite duality to locally finite varieties of BL-algebras. (English)
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3‒6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 1-15 (2009).
7
Gaps and dualities in Heyting categories. (English)
Commentat. Math. Univ. Carol. 48, No. 1, 9-23 (2007).
8
The class of bipartite 2-edge-colored graphs. (English)
Martínez Moro, Edgar (ed.), V jornadas de matemática discreta y algorítmica. Valladolid: Universidade de Valladolid, Secretariado de Publicaciones e Intercambio Editorial (ISBN 978-84-8448-380-9/pbk). Ciencias (Valladolid) 23, 359-366 (2006).
9
Duality for logics of transition systems. (English)
Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4‒8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 455-469 (2005).
10
Some duality conjectures for finite graphs and their group theoretic consequences. (English)
Proc. Edinb. Math. Soc., II. Ser. 48, No. 2, 389-421 (2005).
11
Natural duality as a tool to study algebras arising from logics. (English)
Di Nola, Antonio (ed.) et al., Lectures on soft computing and fuzzy logic. Heidelberg: Physica-Verlag. Advances in Soft Computing. 173-187 (2001).
12
$Z$-join spectra of $Z$-supercompactly generated lattices. (English)
Appl. Categ. Struct. 9, No.1, 41-63 (2001).
13
On *-autonomous categories of topological vector spaces. (English)
Cah. Topologie Géom. Différ. Catég. 41, No.4, 243-254 (2000).
14
Relating the Connes-Kreimer and Grossman-Larson Hopf algebras built on rooted trees. (English)
Lett. Math. Phys. 51, No.3, 211-219 (2000).
15
Latticial structures in data analysis. (English)
Theor. Comput. Sci. 217, No. 2, 407-436 (1999).
16
Stone duality and representation of stable domain. (English)
Comput. Math. Appl. 34, No.1, 27-41 (1997).
17
Chu. I: Cofree equivalences, dualities and *-autonomous categories. (English)
Math. Struct. Comput. Sci. 7, No.1, 49-73 (1997).
18
Sort vs. Hash Revisited. (English)
IEEE Transactions on Knowledge and Data Engineering 06, No.06, 934-944 (1994).
19
On edge semi-isomorphisms and semi-dualities of graphs. (English)
Graphs Comb. 10, No.4, 337-352 (1994).
20
Result 1 to 20 of 28 total
Start
Contact
Print
General Help
