Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alexej Tovchigrechko

Alexey A. Tovchigrechko

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/HeinerRST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/HeinerRST16
Monika Heiner, Christian Rohr, Martin Schwarick, Alexey A. Tovchigrechko:
MARCIE's Secrets of Efficient Model Checking. Trans. Petri Nets Other Model. Concurr. 11: 286-296 (2016)
2011
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SchwarickT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SchwarickT11
Martin Schwarick, Alexej Tovchigrechko:
IDD-based model validation of biochemical networks. Theor. Comput. Sci. 412(26): 2884-2908 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HeinerST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HeinerST09
Monika Heiner, Martin Schwarick, Alexej Tovchigrechko:
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. Petri Nets 2009: 323-332
2008
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Tovchigrechko2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Tovchigrechko2008
Alexey A. Tovchigrechko:
Efficient symbolic analysis of bounded Petri nets using interval decision diagrams. Brandenburg University of Technology, Cottbus - Senftenberg, Germany, 2008, pp. 1-179

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.