Vince Bárány
Vince Bárány publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and semigroups and automata theory.
- World rank
- #1,203,655 of 7,710,434 ranked researchers
- Rank in United Kingdom
- #95,330 of 367,258
- Works
- 27
- Citations
- 593
- Citations per work
- 22.0
What does Vince Bárány research?
Vince Bárány's work is mostly in Computer Science (92%), Mathematics (6%), Biochemistry, Genetics and Molecular Biology (1%).
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 Sciences2798.7%
- Computer Science2592.5%
- Mathematics26.2%
- Life Sciences01.2%
- 1Artificial Intelligence48% of their works
- 2Computational Theory and Mathematics32% of their works
- 3Computer Networks and Communications11% of their works
- 4Geometry and Topology6% of their works
- 5Signal Processing1% of their works
- 6Molecular Biology1% of their works
Research topics
Which keywords describe Vince Bárány's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Automata, Answer Set Programming, Modal Logic and Formal Languages.
- Algorithmic Information Theory
- Fuzzy Logic
- Satisfiability Modulo Theories
- Continuous Queries
- Ontology
- Regular Expressions
- Formal Languages
- Answer Set Programming
- Temporal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Automata
- Modal Logic
- Formal Verification
- Static Analysis
- Semantic Web
- Data Stream Management
- Symbolic Model Checker
- Residuated Lattices
- Computability
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 21 words, with their numbers
- Model Checking333 topics
- Description Logics242 topics
- Knowledge Representation242 topics
- Temporal Logic222 topics
- Automata182 topics
- Answer Set Programming151 topic
- Modal Logic151 topic
- Formal Languages111 topic
- Formal Verification111 topic
- Regular Expressions111 topic
- Static Analysis111 topic
- Ontology91 topic
- Semantic Web91 topic
- Continuous Queries81 topic
- Data Stream Management81 topic
- Satisfiability Modulo Theories71 topic
- Symbolic Model Checker71 topic
- Fuzzy Logic51 topic
- Residuated Lattices51 topic
- Algorithmic Information Theory31 topic
- Computability31 topic
Where does Vince Bárány work?
Vince Bárány's main affiliation in the publication record is University of Oxford, United Kingdom.
How many publications and citations does Vince Bárány have?
OpenAlex counts 27 works and 593 citations for Vince Bárány, an h-index of 13, ranking #1,203,655 of 7,710,434 researchers worldwide on the quality 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 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 Vince Bárány. Posts are plain text and can be reported.