Emil Sekerinski
- Artificial Intelligence
- Computational Theory and Mathematics top 10%
- Software top 10%
- Information Systems top 10%
- Hardware and Architecture
- Topics
- Advanced Software Engineering Methodologies (12 papers)Formal Methods in Verification (12 papers)Logic, programming, and type systems (11 papers)
- Journals
- SHILAP Revista de lepidopterologíaEnvironmental PollutionIEEE Transactions on Software Engineering
- Partner nations
- CanadaGermanyUnited Kingdom
In The Last Decade
Emil Sekerinski
27 papers receiving 124 citations
Peers
Comparison fields: 5 of 31
- Artificial Intelligence 65
- Computational Theory and Mathematics 62
- Software 53
- Information Systems 47
- Hardware and Architecture 25
Countries citing papers authored by Emil Sekerinski
This map shows the geographic impact of Emil Sekerinski'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 Emil Sekerinski with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Emil Sekerinski more than expected).
Fields of papers citing papers by Emil Sekerinski
This network shows the impact of papers produced by Emil Sekerinski. 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 Emil Sekerinski. The network helps show where Emil Sekerinski may publish in the future.
Co-authorship network of co-authors of Emil Sekerinski
This figure shows the co-authorship network connecting the top 25 collaborators of Emil Sekerinski. A scholar is included among the top collaborators of Emil Sekerinski based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Emil Sekerinski. Emil Sekerinski is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 0 | |
| 2 | 17 | |
| 3 | 1 | |
| 4 | 1 | |
| 5 | 2 | |
| 6 | 3 | |
| 7 | 3 | |
| 8 | 1 | |
| 9 | 3 | |
| 10 | 10 | |
| 11 | FM 2006: Formal Methods: 14th International Symposium on Formal MethodsHamilton, Canada, August 21-27, 2006Proceedings (Lecture Notes in Computer Science) | 1 |
| 12 | 1 | |
| 13 | Statechart Verification with iState | 2 |
| 14 | 0 | |
| 15 | 3 | |
| 16 | 4 | |
| 17 | Ensuring Correctness of Java Frameworks: A Formal Look at JCF | 5 |
| 18 | Program Development by Refinement: Case Studies Using The B Method | 23 |
| 19 | Formal Methods for Component Software: The Refinement Calculus Perspective | 1 |
| 20 | The Fragile Base Class Problem and Its Solution | 6 |
About Emil Sekerinski
Emil Sekerinski is a scholar working on Software, Computational Theory and Mathematics and Hardware and Architecture, having authored 34 papers that have together received 137 indexed citations. Recurring topics across this work include Advanced Software Engineering Methodologies (12 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (11 papers). The work is most often cited by research in Software (53 citations), Computational Theory and Mathematics (62 citations) and Hardware and Architecture (25 citations). Emil Sekerinski has collaborated with scholars based in Canada, Germany and United Kingdom. Frequent co-authors include Kaisa Sere, Ryszard Janicki, Lu Zhu, Yang Zhou, Fei Zhang, Zhong Li, Jing‐Cheng Han, Elvira Albert, Qianqian Zhang and Mohammad Reza Mousavi. Their work appears in journals such as SHILAP Revista de lepidopterología, Environmental Pollution and IEEE Transactions on Software Engineering.
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.