Evgeny Erofeev

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 26

Top Topics

Transition Systems

Parameterized Complexity

Top Venues

ATAED@Petri Nets/ACSD

Trans. Petri Nets Other Model. Concurr.

Publications

Ronny Tredup, Evgeny Erofeev
On the parameterized complexity of the synthesis of Boolean nets with restricted place environments. Theor. Comput. Sci. 890 (2021)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Ronny Tredup, Evgeny Erofeev
The Complexity of Boolean State Separation. ICTAC (2020)
Evgeny Erofeev, Ronny Tredup
Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm. ICTAC (2020)
Ronny Tredup, Evgeny Erofeev
The Complexity of Boolean State Separation (Technical Report). CoRR (2020)
Eike Best, Raymond R. Devillers, Evgeny Erofeev, Harro Wimmel
Target-oriented Petri Net Synthesis. Fundam. Informaticae 175 (1-4) (2020)
Ronny Tredup, Evgeny Erofeev
On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency. ICE (2020)
Ronny Tredup, Evgeny Erofeev
On the Parameterized Complexity of Synthesizing Boolean Petri Nets With Restricted Dependency (Technical Report). CoRR (2020)
Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski
Generating all minimal petri net unsolvable binary words. Discret. Appl. Math. 274 (2020)
Ronny Tredup, Evgeny Erofeev
-Restricted Boolean Net Synthesis. TAMC (2020)
Eike Best, Raymond R. Devillers, Evgeny Erofeev
A New Property of Choice-Free Petri Net Systems. Petri Nets (2020)
Evgeny Erofeev, Vadim Arykov, Michael Stepanenko, Aleksei Voevodin, Aleksei Kogai, Vladimir Kurikalov
28 GHz Single-Chip Transmit RF Front-End MMIC for Multichannel 5G Wireless Communications. Symmetry 12 (7) (2020)
Ronny Tredup, Evgeny Erofeev
On the Complexity of Synthesis of nop-Free Boolean Petri Nets. ATAED@Petri Nets (2020)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. CoRR (2019)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. CoRR (2019)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems. ATAED@Petri Nets/ACSD (2019)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
Reversing Transitions in Bounded Petri Nets. Fundam. Informaticae 157 (4) (2018)
Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems. ATAED@Petri Nets/ACSD (2018)
Evgeny Erofeev, Harro Wimmel
Reachability Graphs of Two-Transition Petri Nets. ATAED@Petri Nets/ACSD (2017)
Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev
Reversing Transitions in Bounded Petri Nets. CS&P (2016)
Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski
Generating All Minimal Petri Net Unsolvable Binary Words. Stringology (2016)
Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel
Characterising Petri Net Solvable Binary Words. Petri Nets (2016)
Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski
Conditions for Petri Net Solvable Binary Words. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Irina B. Virbitskaite, Elena N. Bozhenkova, Evgeny Erofeev
Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures. CS&P (2015)
Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski
On Binary Words Being Petri Net Solvable. ATAED@Petri Nets/ACSD (2015)
Evgeny Erofeev
Formalisms for concurrency and distribution. Joint Workshop of the German Research Training Groups in Computer Science (2014)