Nadezhda Baklanova

According to our database, Nadezhda Baklanova authored at least 4 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Abstracting an Operational Semantics to Finite Automata.

Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus, Martin Strecker

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015

Provably Correct Graph Transformations with Small-tALC.

Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran

Proceedings of the 11th International Conference on ICT in Education, 2015

2013

A Formal Model of Resource Sharing Conicts in Multithreaded Java.

Nadezhda Baklanova, Martin Strecker

Proceedings of the 9th International Conference on ICT in Education, 2013

2012

Abstraction and Verification of Properties of a Real-Time Java.

Nadezhda Baklanova, Martin Strecker

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012