Antónia Lopes
Antónia Lopes publishes mostly in Artificial Intelligence, Information Systems and Computer Networks and Communications, on topics such as Advanced Software Engineering Methodologies, Service-Oriented Architecture and Web Services and Formal Methods in Verification.
- World rank
- #146,363 of 1,633,909 ranked researchers
- Rank in Portugal
- #367 of 9,113
- Works
- 37
- Citations
- 263
- Citations per work
- 7.1
What does Antónia Lopes research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence30% of their works
- 2Information Systems20% of their works
- 3Computer Networks and Communications19% of their works
- 4Computational Theory and Mathematics9% of their works
- 5Software7% of their works
- 6General Health Professions3% of their works
Research topics
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Formal Methods in Verification
- Distributed systems and fault tolerance
- Model-Driven Software Engineering Techniques
- Logic, programming, and type systems
- Advanced Database Systems and Queries
- Software System Performance and Reliability
Which keywords describe Antónia Lopes's research?
The keywords of their largest research topics: Autonomic Computing, Self-Adaptive Systems, QoS-Aware Middleware, Semantic Web Services, Model Checking, Distributed Systems, Satisfiability Modulo Theories and Symbolic Model Checker.
- Static Analysis
- Log Analysis
- Data Stream Management
- Model-Driven Engineering
- Domain-Specific Languages
- Symbolic Model Checker
- Distributed Systems
- Semantic Web Services
- Self-Adaptive Systems
- Autonomic Computing
- QoS-Aware Middleware
- Model Checking
- Satisfiability Modulo Theories
- Consistency
- Fault Tolerance
- Continuous Queries
- Formal Verification
- Performance Prediction
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
- Autonomic Computing161 topic
- Self-Adaptive Systems161 topic
- QoS-Aware Middleware111 topic
- Semantic Web Services111 topic
- Model Checking82 topics
- Distributed Systems72 topics
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Consistency41 topic
- Domain-Specific Languages41 topic
- Fault Tolerance41 topic
- Model-Driven Engineering41 topic
- Continuous Queries31 topic
- Data Stream Management31 topic
- Formal Verification31 topic
- Log Analysis31 topic
- Performance Prediction31 topic
- Static Analysis31 topic
Where does Antónia Lopes work?
Antónia Lopes's main affiliation in the publication record is University of Lisbon, Portugal.
How many publications and citations does Antónia Lopes have?
Science Explorer counts 37 works and 263 citations for Antónia Lopes, ranking #146,363 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.