Evgeny Erofeev

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