Luı́s Caires
Luı́s Caires publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #277,525 of 7,710,434 ranked researchers
- Rank in Portugal
- #759 of 41,760
- Works
- 95
- Citations
- 2.9k
- Citations per work
- 30.3
What does Luı́s Caires research?
Luı́s Caires's work is mostly in Computer Science (89%), Social Sciences (2%).
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 Sciences8589.1%
- Computer Science8589.1%
- Everything else99.0%
- Social Sciences21.9%
- Social Sciences21.9%
- 1Artificial Intelligence51% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Computer Networks and Communications9% of their works
- 4Information Systems9% of their works
- 5Hardware and Architecture4% of their works
- 6Sociology and Political Science2% of their works
Research topics
- Logic, programming, and type systems
- Formal Methods in Verification
- Logic, Reasoning, and Knowledge
- Security and Verification in Computing
- Distributed systems and fault tolerance
- Advanced Software Engineering Methodologies
- Service-Oriented Architecture and Web Services
- Parallel Computing and Optimization Techniques
Which keywords describe Luı́s Caires's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Answer Set Programming and Modal Logic.
- Performance Optimization
- Semantic Web Services
- Self-Adaptive Systems
- Fault Tolerance
- Side-Channel Attacks
- Modal Logic
- Symbolic Model Checker
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Satisfiability Modulo Theories
- Answer Set Programming
- Security Policies
- Distributed Systems
- Autonomic Computing
- QoS-Aware Middleware
- Parallel 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
- Model Checking1323 topics
- Formal Verification661 topic
- Static Analysis661 topic
- Temporal Logic662 topics
- Satisfiability Modulo Theories411 topic
- Symbolic Model Checker411 topic
- Answer Set Programming251 topic
- Modal Logic251 topic
- Security Policies211 topic
- Side-Channel Attacks211 topic
- Distributed Systems151 topic
- Fault Tolerance151 topic
- Autonomic Computing141 topic
- Self-Adaptive Systems141 topic
- QoS-Aware Middleware121 topic
- Semantic Web Services121 topic
- Parallel Computing101 topic
- Performance Optimization101 topic
Where does Luı́s Caires work?
Luı́s Caires's main affiliation in the publication record is Universidade Nova de Lisboa, Portugal.
How many publications and citations does Luı́s Caires have?
OpenAlex counts 95 works and 2,881 citations for Luı́s Caires, an h-index of 28, ranking #277,525 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 Luı́s Caires. 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.