Larissa A. Meinicke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2018
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FM | Encoding Fairness in a Synchronous Concurrent Program Algebra. | Ian J. Hayes, Larissa A. Meinicke |
| 2018 | ICFEM | Type Capabilities for Object-Oriented Programming Languages. | Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke |
| 2017 | APLAS | Capabilities for Java: Secure Access to Resources. | Ian J. Hayes, Xi Wu, Larissa A. Meinicke |
| 2016 | FM | An Algebra of Synchronous Atomic Steps. | Ian J. Hayes, Robert J. Colvin, Larissa A. Meinicke, Kirsten Winter, Andrius Velykis |