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="Viswanathan, Ramesh"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Least upper bounds for probability measures and their applications to abstractions
Rohit Chadha
,
Mahesh Viswanathan
,
Ramesh Viswanathan
Information and Computation
234
, 2014, pp. 68-106
Foundations for circular compositional reasoning
Mahesh Viswanathan
,
Ramesh Viswanathan
Lecture Notes in Computer Science
2076
, 2001, pp. 835-847
Standard ML-NJ weak polymorphism and imperative constructs
John Mitchell
,
Ramesh Viswanathan
Information and Computation
127
(2), 1996, pp. 102-116
Effective models of polymorphism, subtyping and recursion
John Mitchell
,
Ramesh Viswanathan
Lecture Notes in Computer Science
1099
, 1996, pp. 170-181