Victor Khomenko
Orcid: 0000-0001-6422-2006
According to our database1,
Victor Khomenko
authored at least 65 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
1
1
1
1
3
3
1
1
3
2
2
2
1
1
1
3
1
1
1
4
1
2
1
3
4
1
2
2
2
2
2
4
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Bridging the Design Methodologies of Burst-Mode Specifications and Signal Transition Graphs.
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024
2023
Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., May, 2023
2022
Proceedings of the Forum on Specification & Design Languages, 2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020
2019
2018
Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018
2017
Proceedings of the New Generation of CAS, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the 23rd IEEE International Symposium on Asynchronous Circuits and Systems, 2017
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Proceedings of the Modeling in Systems Biology, The Petri Net Approach, 2016
Proceedings of the 14th IEEE International New Circuits and Systems Conference, 2016
2015
Trans. Petri Nets Other Model. Concurr., 2015
ACM Trans. Embed. Comput. Syst., 2015
Proceedings of the 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015
Proceedings of the 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015
2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012
2011
Proceedings of the 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
Proceedings of the Graph Transformations - 5th International Conference, 2010
2009
IEEE Trans. Very Large Scale Integr. Syst., 2009
Fundam. Informaticae, 2009
Proceedings of the Applications and Theory of Petri Nets, 2009
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009
2008
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.
Fundam. Informaticae, 2008
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks.
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008
Proceedings of the 14th IEEE International Symposium on Asynchronous Circuits and Systems, 2008
2007
On the well-foundedness of adequate orders used for construction of complete unfolding prefixes.
Inf. Process. Lett., 2007
Formal Methods Syst. Des., 2007
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT.
Fundam. Informaticae, 2006
Acta Informatica, 2006
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
2004
Fundam. Informaticae, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004
2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the 2003 Design, 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the 2002 Design, 2002
2001
Proceedings of the CONCUR 2001, 2001
2000
Proceedings of the CONCUR 2000, 2000
1999
Proceedings of the Systems for Integrated Computation and Deduction, 1999