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
Hilfe
Suche: Series=Proceedings in Informatics AND YEAR=2000
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A complete characterization of complete intersection-type theories
M. Dezani-Ciancaglini
,
F. Honsell
,
F. Alessi
Proceedings in Informatics
8
, 2000, pp. 287-301
Intersection types and topologies in lambda calculus
Silvia Ghilezan
Proceedings in Informatics
8
, 2000, pp. 303-304
A minimal system of disjuncitve properties for strictness analysis
Grzegorz Grudziński
Proceedings in Informatics
8
, 2000, pp. 305-321
A polar type system
Trevor Jim
Proceedings in Informatics
8
, 2000, pp. 323-338
Characterizing strongly normalizing terms of a
\lambda
-calculus with generalized applications via intersection types
R. Matthes
Proceedings in Informatics
8
, 2000, pp. 339-353
What entailment can do for type theory
Robert K. Meyer
Proceedings in Informatics
8
, 2000, pp. 355-355
Graph transformations on the UML metamodel
M. Gogolla
Proceedings in Informatics
8
, 2000, pp. 359-371
From trees to graphs: Defining the semantics of diagram languages with graph transformation
Gregor Engels
,
Reiko Heckel
Proceedings in Informatics
8
, 2000, pp. 373-382
Which graphs for visual modeling?
F. Parisi-Presicce
Proceedings in Informatics
8
, 2000, pp. 383-386
Can graph grammars make formal methods more human?
Mauro Pezzè
,
Luciano Baresi
Proceedings in Informatics
8
, 2000, pp. 387-393
Parsing context-sensitive NCE graph grammars
Y. Adachi
,
S. Kobayashi
Proceedings in Informatics
8
, 2000, pp. 395-401
A graph-grammar based approach to the specification of hypermedia application dynamics
Giorgio Busatto
,
Pieter Jan't Hoen
Proceedings in Informatics
8
, 2000, pp. 403-409
Graphical operational semantics
Andrea Corradini
,
Reiko Heckel
,
Ugo Montanari
Proceedings in Informatics
8
, 2000, pp. 411-418
Formalizing the development of agent-based systems using graph processes
Ralph Depke
,
Reiko Heckel
Proceedings in Informatics
8
, 2000, pp. 419-426
A proposal for consistent integration of visual computing with visual development of software components
H. Ehrig
,
G. Taentzer
Proceedings in Informatics
8
, 2000, pp. 427-433
A visual modeling technique for controlling graph transformations
S. Gruner
,
M. Kurt
,
G. Taentzer
Proceedings in Informatics
8
, 2000, pp. 435-442
A generic model for diagram syntax and semantics
Berthold Hoffmann
,
Mark Minas
Proceedings in Informatics
8
, 2000, pp. 443-449
A graph rewriting semantics for the polyadic
\pi
-calculus
Barbara König
Proceedings in Informatics
8
, 2000, pp. 451-458
Generic and polymorphic graph transformations - Supporting the definition of visual languages
Manfred Münch
,
Andy Schürr
Proceedings in Informatics
8
, 2000, pp. 459-466
Rule-based and visual model evolution using GenGEd
J. Padberg
,
C. Ermel
,
R. Bardohl
Proceedings in Informatics
8
, 2000, pp. 467-475
OpenSESAME: A tool's concept
M. Walter
Proceedings in Informatics
8
, 2000, pp. 477-483
Branching-time probabilisitc model checking
R. Cleaveland
,
S. Purushothaman Iyer
Proceedings in Informatics
8
, 2000, pp. 487-499
Are stochastic process algebras good for performance and dependability evaluation?
Boudewijn R. Haverkort
Proceedings in Informatics
8
, 2000, pp. 501-510
Temporal rewards for performance evaluation
Jeroen Voeten
Proceedings in Informatics
8
, 2000, pp. 511-522
Amalgamation of transition sequences in the PEPA formalism
Jane Hillston
,
Joanna Tomasik
Proceedings in Informatics
8
, 2000, pp. 523-534
Seiten
<
1
2
3
>