The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marianna Rapoport" ( http://dblp.L3S.de/Authors/Marianna_Rapoport )

  Author page on DBLP  Author page in RDF  Community of Marianna Rapoport in ASPL-2

Publication years (Num. hits)
2014-2019 (12)
Publication types (Num. hits)
article(8) inproceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 13 publication records. Showing 12 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marianna Rapoport, Ondrej Lhoták A path to DOT: formalizing fully path-dependent types. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marianna Rapoport, Ondrej Lhoták A Path To DOT: Formalizing Fully-Path-Dependent Types. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Maria Christakis, Philipp Haller, Marianna Rapoport Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Search on Bibsonomy DARTS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták A simple soundness proof for dependent object types. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták A Simple Soundness Proof for Dependent Object Types. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby Who you gonna call? Analyzing Web Requests in Android Applications. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marianna Rapoport, Ondrej Lhoták Mutable WadlerFest DOT. Search on Bibsonomy FTfJP@ECOOP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby Who you gonna call?: analyzing web requests in Android applications. Search on Bibsonomy MSR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marianna Rapoport, Ondrej Lhoták Mutable WadlerFest DOT. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip Type-Based Call Graph Construction Algorithms for Scala. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marianna Rapoport, Ondrej Lhoták, Frank Tip Precise Data Flow Analysis in the Presence of Correlated Method Calls. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip Constructing Call Graphs of Scala Programs. Search on Bibsonomy ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license