Dmitry Brizhinev

According to our database, Dmitry Brizhinev authored at least 2 papers in 2018.

Collaborative distances:

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

2018

A case study in formal verification of a Java program.

Dmitry Brizhinev, Rajeev Goré

CoRR, 2018

Modelling Hegemonic Power Transition in Cyberspace.

Dmitry Brizhinev, Nathan Ryan, Roger Bradbury

Complex., 2018