Nadezhda Baklanova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
1
Active years
2012–2015
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICTERI | Provably Correct Graph Transformations with Small-tALC. | Nadezhda Baklanova, Jon Hal Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran |
| 2015 | ICTERI | Abstracting an Operational Semantics to Finite Automata. | Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker |
| 2015 | ICTERI | Abstracting an Operational Semantics to Finite Automata. | Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker |
| 2013 | ICTERI | A Formal Model of Resource Sharing Conicts in Multithreaded Java. | Nadezhda Baklanova, Martin Strecker |
| 2012 | ICTERI | Abstraction and Verification of Properties of a Real-Time Java. | Nadezhda Baklanova, Martin Strecker |