Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Fiadeiro, Jos{\'e}"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An interface theory for service-oriented design
José Luiz Fiadeiro
,
Antónia Lopes
Theoretical Computer Science
503
, 2013, pp. 1-30
Software services: Scientific challenge or industrial hype?
José Luiz Fiadeiro
Lecture Notes in Computer Science
3407
, 2005, pp. 1-13
New insights on architectural connectors
Roberto Bruni
,
José Luiz Fiadeiro
,
Ivan Lanese
,
Antónia Lopes
,
Ugo Montanari
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 367-379
Models for the substitution axiom of UNITY logic
Georg Reichwein
,
José Luiz Fiadeiro
Information Processing Letters
48
(4), 1993, pp. 171-176
Specification and verification of database dynamics
José Fiadeiro
,
Amílcar Sernadas
Acta Informatica
25
, 1988, pp. 625-661