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: Author="Fiore, Marcelo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Analytic functors between presheaf categories over groupoids
Marcelo Fiore
Theoretical Computer Science
546
, 2014, pp. 120-131
Discrete generalised polynomial functors
Marcelo Fiore
Lecture Notes in Computer Science
7392
, 2012, pp. 214-226
Second-order algebraic theories
Marcelo Fiore
,
Ola Mahmoud
Lecture Notes in Computer Science
6281
, 2010, pp. 368-380
On the construction of free algebras for equational systems
Marcelo Fiore
,
Chung-Kil Hur
Theoretical Computer Science
410
(18), 2009, pp. 1704-1729
A congruence rule format for name-passing process calculi
Marcelo Fiore
,
Sam Staton
Information and Computation
207
(2), 2009, pp. 209-236
Equational systems and free constructions
Marcelo Fiore
,
Chung-Kil Hur
Lecture Notes in Computer Science
4596
, 2007, pp. 607-618
Comparing operational models of name-passing process calculi
Marcelo Fiore
,
Sam Staton
Information and Computation
204
(4), 2006, pp. 524-560
An objective representation of the Gaussian integers
Marcelo Fiore
,
Tom Leinster
Journal Symbolic Computation
37
(6), 2004, pp. 707-716
An objective representation of the Gaussian integers
Marcelo Fiore
,
Tom Leinster
Journal Symbolic Computation
37
(6), 2004, pp. 707-716
Domains in
H
Marcelo P. Fiore
,
Giuseppe Rosolini
Theoretical Computer Science
264
(2), 2001, pp. 171-193
Fibred models of processes: Discrete, continuous, and hybrid systems
Marcelo P. Fiore
Lecture Notes in Computer Science
1872
, 2000, pp. 457-473
A coinduction principle for recursive data types based on bisimulation
Marcelo P. Fiore
Information and Computation
127
(2), 1996, pp. 186-198