BibSonomy :: author :: Diaconescu ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(80)

<< < 1 | 2 | 3 > >>

Towards introspectable, adaptable and extensible autonomic managers.
Yoann Maurel, Philippe Lalanda, and Ada Diaconescu CNSM, page 1-5. IEEE, (2011)
to dblp by dblp on Dec 27, 2011, 12:00 AM
URL | BibTeX
AutoHome: An Autonomic Management Framework for Pervasive Home Applications.
Johann Bourcier, Ada Diaconescu, Philippe Lalanda, and Julie A. McCann TAAS 6(1):8 (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Semantic Web and Rule Reasoning inside of E-Learning Systems.
Ion-Mircea Diaconescu, Sergey Lukichev, and Adrian Giurca IDC, volume 78 of Studies in Computational Intelligence, page 251-256. Springer, (2007)
to dblp by dblp on Nov 24, 2011, 12:00 AM
URL | BibTeX
Securing On-line Payment using Dynamic Signature Verification.
Valentin Andrei, Sorin Mircea Rusu, Stefan Diaconescu, and Adrian Dinescu LISS 3, page 58-65. SciTePress, (2011)
to dblp by dblp on Oct 20, 2011, 12:00 AM
URL | BibTeX
Towards a Service-Oriented Component Model for Autonomic Management.
Yoann Maurel, Philippe Lalanda, and Ada Diaconescu IEEE SCC, page 544-551. IEEE, (2011)
to dblp by dblp on Oct 19, 2011, 12:00 AM
URL | BibTeX
Grothendieck Inclusion Systems.
Razvan Diaconescu Applied Categorical Structures 19(5):783-802 (2011)
to dblp by dblp on Sep 14, 2011, 12:00 AM
URL | BibTeX
Institution-independent Ultraproducts.
Razvan Diaconescu Fundam. Inform. 55(3-4):321-348 (2003)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Hybridization of Institutions.
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, and Luís Soares Barbosa CALCO, volume 6859 of Lecture Notes in Computer Science, page 283-297. Springer, (2011)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX
Multiword Expression Translation Using Generative Dependency Grammar.
Stefan Diaconescu EsTAL, volume 3230 of Lecture Notes in Computer Science, page 243-254. Springer, (2004)
to dblp by dblp on Aug 10, 2011, 12:00 AM
URL | BibTeX
Structural induction in institutions.
Razvan Diaconescu Inf. Comput. 209(9):1197-1222 (2011)
to dblp by dblp on Aug 9, 2011, 12:00 AM
URL | BibTeX
Behavioural Specification for Hierarchical Object Composition.
Razvan Diaconescu FMCO, volume 3188 of Lecture Notes in Computer Science, page 134-156. Springer, (2003)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Natural Language Agreement Description for Reversible Grammars.
Stefan Diaconescu Australian Conference on Artificial Intelligence, volume 2903 of Lecture Notes in Computer Science, page 161-172. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Contraction Algebras and Unification of Infinite Terms.
Razvan Diaconescu J. Comput. Syst. Sci. 44(1):23-42 (1992)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
On the algebra of structured specifications.
Razvan Diaconescu, and Ionut Tutu Theor. Comput. Sci. 412(28):3145-3174 (2011)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Kripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic.
Denisa Diaconescu Multiple-Valued Logic and Soft Computing 16(3-5):247-263 (2010)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
A General Data Layout for Distributed Consistency in Data Parallel Applications.
Roxana Diaconescu HiPC, volume 2552 of Lecture Notes in Computer Science, page 22-33. Springer, (2002)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
A Generative Dependency Grammar.
Stefan Diaconescu PRICAI, volume 2417 of Lecture Notes in Computer Science, page 605. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
A Category-Based Equational Logic Semantics to Constraint Programming.
Razvan Diaconescu COMPASS/ADT, volume 1130 of Lecture Notes in Computer Science, page 200-221. Springer, (1995)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
An Introduction to Category-based Equational Logic.
Joseph A. Goguen, and Razvan Diaconescu AMAST, volume 936 of Lecture Notes in Computer Science, page 91-126. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Foundations of behavioural specification in rewriting logic.
Razvan Diaconescu Electr. Notes Theor. Comput. Sci. (1996)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100