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: Journal=J. Symbolic Computation AND Volume=47
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Abstract interpretation meets convex
Thomas Martin Gawlitza
,
Helmut Seidl
,
Assalé Adjé
,
Stéphane Gaubert
,
Éric Goubault
Journal Symbolic Computation
47
(12), 2012, pp. 1416-1446
Tropical linear-fractional programming and parametric mean payoff games
Stéphane Gaubert
,
Ricardo D. Katz
,
Sergeĭ Sergeev
Journal Symbolic Computation
47
(12), 2012, pp. 1447-1478
Acceleration of the abstract fixpoint computation in numerical program analysis
Olivier Bouissou
,
Yassamine Seladji
,
Alexandre Chapoutot
Journal Symbolic Computation
47
(12), 2012, pp. 1479-1511
Applying abstract acceleration to (co-)reachability analysis of reactive programs
Peter Schrammel
,
Bertrand Jeannet
Journal Symbolic Computation
47
(12), 2012, pp. 1512-1532
Discovering invariants via simple component analysis
Gianluca Amato
,
Maurizio Parton
,
Francesca Scozzari
Journal Symbolic Computation
47
(12), 2012, pp. 1533-1560
Seiten
<
1
2
3
4