Ivana Černá
Impact in
- Software top 2%
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Software Reliability and Analysis Research
-
- Formal Methods in Verification
- Petri Nets in System Modeling
Papers in
-
- Formal Methods in Verification 41
- Petri Nets in System Modeling 6
-
- Logic, programming, and type systems 11
- Advanced Software Engineering Methodologies 10
- Co-authors
- Jǐŕı Barnat (20 shared papers)Călin Belta (10 shared papers)Luboš Brim (19 shared papers)Jana Tůmová (7 shared papers)Boyan Yordanov (3 shared papers)Radek Pelánek (2 shared papers)Pavel Moravec (4 shared papers)David Šafránek (6 shared papers)
- Journals
- IEEE Transactions on Automatic Control (2 papers)Nonlinear Analysis Hybrid Systems (1 paper)Science of Computer Programming (1 paper)Formal Methods in System Design (1 paper)Logical Methods in Computer Science (1 paper)
- Partner nations
- CzechiaUnited StatesUnited Kingdom
In The Last Decade
Ivana Černá
53 papers receiving 467 citations
Peers
Comparison fields: 5 of 47
- Software 162
- Computational Theory and Mathematics 342
- Hardware and Architecture 63
- Artificial Intelligence 212
- Computer Networks and Communications 65
Countries citing papers authored by Ivana Černá
This map shows the geographic impact of Ivana Černá's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Ivana Černá with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ivana Černá more than expected).
Fields of papers citing papers by Ivana Černá
This network shows the impact of papers produced by Ivana Černá. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Ivana Černá. The network helps show where Ivana Černá may publish in the future.
Co-authors
The 25 scholars most cited alongside Ivana Černá, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 56 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2011 | 79 | |
| 2 | 2005 | 37 | |
| 3 | 2013 | 27 | |
| 4 | 2010 | 23 | |
| 5 | Distributed Explicit Fair Cycle Detection | 2003 | 22 |
| 6 | 2005 | 21 | |
| 7 | 2005 | 19 | |
| 8 | 2007 | 18 | |
| 9 | Property Driven Distribution of Nested DFS | 2002 | 18 |
| 10 | 2012 | 17 | |
| 11 | 2010 | 16 | |
| 12 | 2008 | 14 | |
| 13 | 2005 | 12 | |
| 14 | 2015 | 12 | |
| 15 | 2015 | 11 | |
| 16 | 2016 | 11 | |
| 17 | 2006 | 9 | |
| 18 | 2009 | 8 | |
| 19 | Proceedings of the 37th international conference on Current trends in theory and practice of computer science | 2011 | 8 |
| 20 | 2009 | 7 |
About Ivana Černá
Ivana Černá is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Software, Molecular Biology and Computer Networks and Communications, having authored 56 papers that have together received 487 indexed citations. Recurring topics across this work include Formal Methods in Verification (41 papers), Model-Driven Software Engineering Techniques (12 papers), Software Testing and Debugging Techniques (11 papers), Logic, programming, and type systems (11 papers), Advanced Software Engineering Methodologies (10 papers), Gene Regulatory Network Analysis (8 papers), Software Reliability and Analysis Research (6 papers) and Petri Nets in System Modeling (6 papers). The work is most often cited by research in Software (162 citations), Computational Theory and Mathematics (342 citations), Hardware and Architecture (63 citations), Artificial Intelligence (212 citations) and Computer Networks and Communications (65 citations). Ivana Černá has collaborated with scholars based in Czechia, United States and United Kingdom. Frequent co-authors include Jǐŕı Barnat, Călin Belta, Luboš Brim, Jana Tůmová, Boyan Yordanov, Radek Pelánek, Pavel Moravec, David Šafránek, Jiřı Šimša and Martin Chmelík. Their work appears in journals such as IEEE Transactions on Automatic Control, Nonlinear Analysis Hybrid Systems, Science of Computer Programming, Formal Methods in System Design and Logical Methods in Computer Science.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.