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="Berger, Martin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Welfare maximization with friends-of-friends network externalities
Sayan Bhattacharya
,
Wolfgang Dvoȓák
,
Monika Henzinger
,
Martin Starnberger
Leibniz International Proceedings in Informatics (LIPIcs)
30
, 2015, pp. 90-102
An observationally complete program logic for imperative higher-order functions
Kohei Honda
,
Nobuko Yoshida
,
Martin Berger
Theoretical Computer Science
517
, 2014, pp. 75-101
On-multiple keyword sponsored search auctions with budgets
Riccardo Colini-Baldeschi
,
Monika Henzinger
,
Stefano Leonardi
,
Martin Starnberger
Lecture Notes in Computer Science
7392
, 2012, pp. 1-12
Mixed-mode oscillations with multiple time scales
Mathieu Desroches
,
John Guckenheimer
,
Bernd Krauskopf
,
Christian Kuehn
,
Hinke M. Osinga
,
Martin Wechselberger
SIAM Review
54
(2), 2012, pp. 211-288
Periodic railway timetabling with event flexibility
Gabrio Caimi
,
Martin Fuchsberger
,
Marco Laumanns
,
Kaspar Schüpbach
Networks
57
(1), 2011, pp. 3-18
Completeness and logical full abstraction in modal logics for typed mobile processes
Martin Berger
,
Kohei Honda
,
Nobuko Yoshida
Lecture Notes in Computer Science
5126
, 2008, pp. 99-111
Descriptive and relative completeness of logics for higher-order functions
Kohei Honda
,
Martin Berger
,
Nobuko Yoshida
Lecture Notes in Computer Science
4052
, 2006, pp. 360-371
Genericity and the
\pi
-calculus
Martin Berger
,
Kohei Honda
,
Nobuko Yoshida
Acta Informatica
42
(2-3), 2005, pp. 83-141
Strong normalisation in the
\pi
-calculus
Nobuko Yoshida
,
Martin Berger
,
Kohei Honda
Information and Computation
191
(2), 2004, pp. 145-202
Notes on a new pseudo-random number generator
Martin Greenberger
Journal of the ACM
8
, 1961, pp. 163-167