Germán Puebla
Germán Puebla publishes mostly in Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Parallel Computing and Optimization Techniques.
- World rank
- #181,982 of 1,633,909 ranked researchers
- Rank in Spain
- #3,311 of 45,870
- Works
- 28
- Citations
- 200
- Citations per work
- 7.1
What does Germán Puebla research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence38% of their works
- 2Hardware and Architecture23% of their works
- 3Computational Theory and Mathematics15% of their works
- 4Computer Networks and Communications13% of their works
- 5Software8% of their works
- 6Information Systems3% of their works
Research topics
Which keywords describe Germán Puebla's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Parallel Computing, Performance Optimization, Satisfiability Modulo Theories and Symbolic Model Checker.
- Modal Logic
- Scheduling Algorithms
- Software Fault Localization
- Self-Adaptive Systems
- Distributed Systems
- Symbolic Model Checker
- Performance Optimization
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Parallel Computing
- Satisfiability Modulo Theories
- Autonomic Computing
- Fault Tolerance
- Automated Testing
- Hard Real-Time Systems
- Answer Set Programming
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 18 words, with their numbers
- Model Checking173 topics
- Formal Verification101 topic
- Static Analysis101 topic
- Temporal Logic72 topics
- Parallel Computing61 topic
- Performance Optimization61 topic
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Autonomic Computing41 topic
- Distributed Systems41 topic
- Fault Tolerance41 topic
- Self-Adaptive Systems41 topic
- Automated Testing31 topic
- Software Fault Localization31 topic
- Hard Real-Time Systems21 topic
- Scheduling Algorithms21 topic
- Answer Set Programming11 topic
- Modal Logic11 topic
Where does Germán Puebla work?
Germán Puebla's main affiliation in the publication record is Universidad Politécnica de Madrid, Spain.
How many publications and citations does Germán Puebla have?
Science Explorer counts 28 works and 200 citations for Germán Puebla, ranking #181,982 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.
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.