Old Web
English
Sign In
Acemap
>
authorDetail
>
Igor Khmelnitsky
Igor Khmelnitsky
Université Paris-Saclay
Computer science
Petri net
Recursion
Theoretical computer science
Expressivity
2
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
2021
ATVA | Automated Technology for Verification and Analysis
Igor Khmelnitsky
Daniel Neider
Rajarshi Roy
Xuan Xie
Benoît Barbot
Benedikt Bollig
Alain Finkel
Serge Haddad
Martin Leucker
Lina Ye
Show All
Source
Cite
Save
Citations (0)
Coverability and Termination in Recursive Petri Nets
2019
Applications and Theory of Petri Nets
Alain Finkel
Serge Haddad
Igor Khmelnitsky
Show All
Source
Cite
Save
Citations (1)
1