Robert Bernecky
Robert Bernecky publishes mostly in Hardware and Architecture, Computer Networks and Communications and Artificial Intelligence, on topics such as Parallel Computing and Optimization Techniques, Logic, programming, and type systems and Formal Methods in Verification.
- World rank
- #6,725,286 of 7,710,434 ranked researchers
- Rank in Canada
- #175,383 of 183,316
- Works
- 50
- Citations
- 389
- Citations per work
- 7.8
What does Robert Bernecky research?
Robert Bernecky's work is mostly in Computer Science (80%), Engineering (9%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences4488.7%
- Computer Science4079.6%
- Engineering59.1%
- Everything else611.3%
- 1Hardware and Architecture20% of their works
- 2Computer Networks and Communications19% of their works
- 3Artificial Intelligence17% of their works
- 4Computational Theory and Mathematics13% of their works
- 5Information Systems11% of their works
- 6Electrical and Electronic Engineering9% of their works
Research topics
- Parallel Computing and Optimization Techniques
- Logic, programming, and type systems
- Formal Methods in Verification
- Embedded Systems Design Techniques
- Distributed and Parallel Computing Systems
- Software Engineering Research
- Software Testing and Debugging Techniques
- Advanced Software Engineering Methodologies
Which keywords describe Robert Bernecky's research?
The keywords of their largest research topics: High-Performance Computing, Model Checking, Parallel Computing, Performance Optimization, Formal Verification, Static Analysis, Satisfiability Modulo Theories and Symbolic Model Checker.
- Self-Adaptive Systems
- Software Fault Localization
- Refactoring
- Distributed Systems
- Reconfigurable Computing
- Symbolic Model Checker
- Static Analysis
- Performance Optimization
- Model Checking
- High-Performance Computing
- Parallel Computing
- Formal Verification
- Satisfiability Modulo Theories
- High-Level Synthesis
- Code Clone Detection
- Grid Computing
- Automated Testing
- Autonomic Computing
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 18 words, with their numbers
- High-Performance Computing242 topics
- Model Checking222 topics
- Parallel Computing171 topic
- Performance Optimization171 topic
- Formal Verification121 topic
- Static Analysis121 topic
- Satisfiability Modulo Theories101 topic
- Symbolic Model Checker101 topic
- High-Level Synthesis91 topic
- Reconfigurable Computing91 topic
- Code Clone Detection71 topic
- Distributed Systems71 topic
- Grid Computing71 topic
- Refactoring71 topic
- Automated Testing61 topic
- Software Fault Localization61 topic
- Autonomic Computing51 topic
- Self-Adaptive Systems51 topic
Where does Robert Bernecky work?
Robert Bernecky's main affiliation in the publication record is Research Canada, Canada.
How many publications and citations does Robert Bernecky have?
OpenAlex counts 50 works and 389 citations for Robert Bernecky, an h-index of 10, ranking #6,725,286 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Robert Bernecky. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.