Victor Khomenko

Citado por

	Total	Desde 2019
Citas	1638	302
Índice h	21	9
Índice i10	48	9

120

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 31 56 36 44 73 108 90 100 51 90 68 92 82 95 95 83 82 74 45 48 81 40 14

Acceso público

Ver todo

21 artículos

5 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

a yakovlevNewcastle UniversityDirección de correo verificada de newcastle.ac.uk
Andrey MokhovVisiting Fellow at Newcastle University, UKDirección de correo verificada de ncl.ac.uk
Tim StraznyDirección de correo verificada de informatik.uni-oldenburg.de
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiDirección de correo verificada de helsinki.fi
Jordi CortadellaUniversitat Politècnica de CatalunyaDirección de correo verificada de upc.edu
Sylvie ThiebauxThe Australian National University & LAAS-CNRS, University of ToulouseDirección de correo verificada de anu.edu.au
Patrik HaslumAustralian National UniversityDirección de correo verificada de anu.edu.au
Blai Bonet (ORCID: 0000-0001-8212-...Universitat Pompeu Fabra, Universidad Simón Bolívar, Caracas, VenezuelaDirección de correo verificada de usb.ve
Alex BystrovLecturer in Electronic Engineering, Newcastle University, UKDirección de correo verificada de ncl.ac.uk
Alexander RomanovskySenior Research Investigator and Emeritus Professor, Newcastle University, UKDirección de correo verificada de ncl.ac.uk
Josep CarmonaProfessor, Universitat Politècnica de CatalunyaDirección de correo verificada de cs.upc.edu
César RodríguezCadence & Associate Professor, University of Paris 13, FranceDirección de correo verificada de lipn.fr
Loïg JezequelUniversité de Nantes, LS2NDirección de correo verificada de ls2n.fr
Danil SokolovMember of Technical Staff at Renesas Electronics

Seguir

Victor Khomenko

School of Computing, Newcastle University

Dirección de correo verificada de ncl.ac.uk - Página principal

Petri net unfoldings Asynchronous circuits Formal verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Model checking based on prefixes of Petri net unfoldings V Khomenko Newcastle University, 2003	118	2003
Canonical prefixes of Petri net unfoldings V Khomenko, M Koutny, W Vogler Acta Informatica 40, 95-118, 2003	110	2003
Logic synthesis for asynchronous circuits based on STG unfoldings and incremental SAT V Khomenko, M Koutny, A Yakovlev Fundamenta Informaticae 70 (1-2), 49-73, 2006	91	2006
Detecting State Coding Conflicts in STG Unfoldings Using SAT V Khomenko, M Koutny, A Yakovlev ACSD'03, 51-60, 2003	75	2003
Towards an efficient algorithm for unfolding Petri nets V Khomenko, M Koutny CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001	72	2001
Branching processes of high-level Petri nets V Khomenko, M Koutny Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	62	2003
Parallelisation of the Petri net unfolding algorithm K Heljanko, V Khomenko, M Koutny Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	60	2002
Workcraft – A Framework for Interpreted Graph Models I Poliakov, V Khomenko, A Yakovlev Applications and Theory of Petri Nets: 30th International Conference, PETRI …, 2009	56	2009
Merged processes: a new condensed representation of Petri net behaviour V Khomenko, A Kondratyev, M Koutny, W Vogler Acta Informatica 43 (5), 307-330, 2006	55	2006
Algebra of Parameterised Graphs A Mokhov, V Khomenko ACM Transactions on Embedded Computing Systems 13 (4s), 2014	41	2014
LP deadlock checking using partial order dependencies V Khomenko, M Koutny International Conference on Concurrency Theory, 410-425, 2000	40	2000
Canonical prefixes of Petri net unfoldings V Khomenko, M Koutny, W Vogler Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	34	2002
Recent advances in unfolding technique B Bonet, P Haslum, V Khomenko, S Thiébaux, W Vogler Theoretical Computer Science 551, 84-101, 2014	31	2014
Diagnosability under Weak Fairness V Germanos, S Haar, V Khomenko, S Schwoon ACSD'14, 132-141, 2014	30	2014
Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design A Madalinski, A Bystrov, K V., A Yakovlev DATE'03, 926-931, 2003	30	2003
Detecting state coding conflicts in STGs using integer programming V Khomenko, M Koutny, A Yakovlev Proceedings of the conference on Design, Automation and Test in Europe, 338, 2002	28	2002
Improved parallel composition of labelled Petri nets A Alekseyev, V Khomenko, A Mokhov, D Wist, A Yakovlev 2011 Eleventh International Conference on Application of Concurrency to …, 2011	25	2011
Output-Determinacy and Asynchronous Circuit Synthesis V Khomenko, M Schaefer, W Vogler ACSD'07, 147-156, 2007	23	2007
STG decomposition strategies in combination with unfolding V Khomenko, M Schaefer, W Vogler, R Wollowski Acta Informatica 46, 433-474, 2009	22	2009
Workcraft: Ten years later D Sokolov, V Khomenko, A Mokhov This asynchronous world. Essays dedicated to Alex Yakovlev on the occasion …, 2016	21	2016

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores