Paulo Fernandes
Paulo Fernandes publishes mostly in Computational Theory and Mathematics, Software and Education, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Advanced Software Engineering Methodologies.
- World rank
- #618,999 of 1,633,909 ranked researchers
- Rank in Brazil
- #9,445 of 38,702
- Works
- 20
- Citations
- 50
- Citations per work
- 2.5
What does Paulo Fernandes research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics22% of their works
- 2Software13% of their works
- 3Education9% of their works
- 4Industrial and Manufacturing Engineering9% of their works
- 5Automotive Engineering4% of their works
- 6Management Information Systems4% of their works
Research topics
- Formal Methods in Verification
- Software Reliability and Analysis Research
- Advanced Software Engineering Methodologies
- Cellular Automata and Applications
- Petri Nets in System Modeling
- Software System Performance and Reliability
- Software Testing and Debugging Techniques
- Transportation and Mobility Innovations
Which keywords describe Paulo Fernandes's research?
The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Automated Testing, Autonomic Computing, Cellular Automata and Computation.
- Software Fault Localization
- Self-Adaptive Systems
- Petri Nets
- Log Analysis
- Computation
- Autonomic Computing
- Software Reliability Modeling
- Symbolic Model Checker
- Model Checking
- Architecture-Based Approach
- Automated Testing
- Cellular Automata
- Deadlock Prevention
- Performance Prediction
- Ridesharing
- Shared Autonomous Vehicles
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.
All 16 words, with their numbers
- Model Checking31 topic
- Symbolic Model Checker31 topic
- Architecture-Based Approach21 topic
- Software Reliability Modeling21 topic
- Automated Testing11 topic
- Autonomic Computing11 topic
- Cellular Automata11 topic
- Computation11 topic
- Deadlock Prevention11 topic
- Log Analysis11 topic
- Performance Prediction11 topic
- Petri Nets11 topic
- Ridesharing11 topic
- Self-Adaptive Systems11 topic
- Shared Autonomous Vehicles11 topic
- Software Fault Localization11 topic
Where does Paulo Fernandes work?
Paulo Fernandes's main affiliation in the publication record is Pontifícia Universidade Católica do Rio Grande do Sul, Brazil.
How many publications and citations does Paulo Fernandes have?
Science Explorer counts 20 works and 50 citations for Paulo Fernandes, ranking #618,999 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised 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.
Other researchers named Paulo Fernandes
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.