Wojciech Jamroga
Wojciech Jamroga publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Logic, Reasoning, and Knowledge, Multi-Agent Systems and Negotiation and Formal Methods in Verification.
- World rank
- #869,711 of 1,633,909 ranked researchers
- Rank in Luxembourg
- #423 of 739
- Works
- 52
- Citations
- 96
- Citations per work
- 1.8
What does Wojciech Jamroga research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence53% of their works
- 2Computational Theory and Mathematics15% of their works
- 3Information Systems7% of their works
- 4Sociology and Political Science6% of their works
- 5Signal Processing4% of their works
- 6Management Science and Operations Research4% of their works
Research topics
Which keywords describe Wojciech Jamroga's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Knowledge Representation, Answer Set Programming, Modal Logic, Agent-Based Modeling and Multi-Agent Systems.
- Static Analysis
- Security Policies
- Semantic Web
- Network Formation
- Detection
- Symbolic Model Checker
- Multi-Agent Systems
- Modal Logic
- Knowledge Representation
- Temporal Logic
- Model Checking
- Description Logics
- Answer Set Programming
- Agent-Based Modeling
- Satisfiability Modulo Theories
- Android Malware
- Game Theory
- Ontology
- Formal Verification
- Side-Channel Attacks
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 20 words, with their numbers
- Model Checking273 topics
- Temporal Logic252 topics
- Description Logics172 topics
- Knowledge Representation172 topics
- Answer Set Programming141 topic
- Modal Logic141 topic
- Agent-Based Modeling121 topic
- Multi-Agent Systems121 topic
- Satisfiability Modulo Theories111 topic
- Symbolic Model Checker111 topic
- Android Malware31 topic
- Detection31 topic
- Game Theory31 topic
- Network Formation31 topic
- Ontology31 topic
- Semantic Web31 topic
- Formal Verification21 topic
- Security Policies21 topic
- Side-Channel Attacks21 topic
- Static Analysis21 topic
Where does Wojciech Jamroga work?
Wojciech Jamroga's main affiliation in the publication record is University of Luxembourg, Luxembourg.
How many publications and citations does Wojciech Jamroga have?
Science Explorer counts 52 works and 96 citations for Wojciech Jamroga, ranking #869,711 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.