Skip to content

Leonid Dworzanski

  • Research Fellow
  • National Research University Higher School of Economics
  • 2h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 20CitationsNumber of citations received by Leonid's publications. Updated daily.

Recent publications

  • CPN tools-assisted simulation and verification of nested Petri nets

    • Dworzański L
    • Lomazova I
    N/AReaders
    7Citations
  • On compositionality of boundedness and liveness for nested petri nets

    • Dworzański L
    • Lomazova I
    N/AReaders
    9Citations

Professional experience

Research Fellow

National Research University Higher School of Economics

September 2011 - Present

Test leader

Motorola

June 2004 - June 2005(a year)

Education

Master

Saint-Petersburg State Polytechnical University

June 1999 - June 2005(6 years)

Co-authors (1)

  • Jesper Angelo
  • Paolo Aceto

Other IDs