Ramyaa Ramyaa Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp: Pure Pointer Programs and Tree Isomorphism. FoSSaCS 2013: 321-336
2011
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ramyaa Ramyaa, Daniel Leivant: Ramified Corecurrence and Logspace. Electr. Notes Theor. Comput. Sci. 276: 247-261 (2011)
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Leivant, Ramyaa Ramyaa: Implicit complexity for coinductive data: a characterization of corecurrence. DICE 2011: 1-14
2010
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arvind K. Verma, Ramyaa Ramyaa, Suresh Marru, Ye Fan, Raminder Singh: Rationalizing police patrol beats using Voronoi Tessellations. ISI 2010: 165-167
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ramyaa Ramyaa, Daniel Leivant: Feasible Functions over Co-inductive Data. WoLLIC 2010: 191-203

Coauthor Index

1Ye Fan
[c2]
2Martin Hofmann
[c4]
3Daniel Leivant
[j1] [c3] [c1]
4Suresh Marru
[c2]
5Ulrich Schöpp
[c4]
6Raminder Singh
[c2]
7Arvind K. Verma
[c2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 14:24:05 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page