2009 |
15 | EE | Andrei Popescu,
Traian-Florin Serbanuta,
Grigore Rosu:
A semantic approach to interpolation.
Theor. Comput. Sci. 410(12-13): 1109-1128 (2009) |
2007 |
14 | EE | Elina Vartiainen,
Virpi Roto,
Andrei Popescu:
Auto-update: a concept for automatic downloading of web content to a mobile device.
Mobility Conference 2007: 683-689 |
13 | EE | Daniel Gâinâ,
Andrei Popescu:
An Institution-Independent Proof of the Robinson Consistency Theorem.
Studia Logica 85(1): 41-73 (2007) |
2006 |
12 | EE | Virpi Roto,
Andrei Popescu,
Antti Koivisto,
Elina Vartiainen:
Minimap: a web page visualization method for mobile phones.
CHI 2006: 35-44 |
11 | EE | Andrei Popescu,
Traian Serbanuta,
Grigore Rosu:
A Semantic Approach to Interpolation.
FoSSaCS 2006: 307-321 |
10 | EE | George Georgescu,
Andrei Popescu:
A common generalization for MV-algebras and Lukasiewicz-Moisil algebras.
Arch. Math. Log. 45(8): 947-981 (2006) |
9 | EE | Daniel Gâinâ,
Andrei Popescu:
An Institution-independent Generalization of Tarski's Elementary Chain Theorem.
J. Log. Comput. 16(6): 713-735 (2006) |
2005 |
8 | EE | Andrei Popescu,
Grigore Rosu:
Behavioral Extensions of Institutions.
CALCO 2005: 331-347 |
7 | EE | George Georgescu,
Andrei Popescu:
Similarity Convergence in Residuated Structures.
Logic Journal of the IGPL 13(4): 389-413 (2005) |
6 | EE | Andrei Popescu:
Lukasiewicz-Moisil Relation Algebras.
Studia Logica 81(2): 167-189 (2005) |
2004 |
5 | EE | George Georgescu,
Andrei Popescu:
Non-dual fuzzy connections.
Arch. Math. Log. 43(8): 1009-1039 (2004) |
4 | EE | George Georgescu,
Andrei Popescu:
Non-commutative fuzzy structures and pairs of weak negations.
Fuzzy Sets and Systems 143(1): 129-155 (2004) |
3 | EE | Andrei Popescu:
A general approach to fuzzy concepts.
Math. Log. Q. 50(3): 265-280 (2004) |
2003 |
2 | EE | George Georgescu,
Andrei Popescu:
Non-commutative fuzzy Galois connections.
Soft Comput. 7(7): 458-467 (2003) |
2002 |
1 | EE | George Georgescu,
Andrei Popescu:
Concept lattices and similarity in non-commutative fuzzy logic.
Fundam. Inform. 53(1): 23-54 (2002) |