I. Vukotić
0000-0003-0472-3516
Publication & Citation Trends
Publications
0 total
Constraints on simplified dark matter models involving an s-channel mediator with the ATLAS detector in pp collisions at s=13\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgree OA
Cited by 7
Semantic Scholar
Factors associated with conflict and styles of conflict management among health professionals OA
Cited by 4
Semantic Scholar
Attitudes and factors associated with adverse patient outcomes as perceived by nurses and medical doctors OA
Cited by 0
Semantic Scholar
Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models
Cited by 0
Semantic Scholar
Asphalion: trustworthy shielding against Byzantine faults OA
Cited by 10
Semantic Scholar
University of Birmingham Asphalion
Cited by 0
Semantic Scholar
Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq OA
Cited by 54
Semantic Scholar
University of Birmingham Velisarios
Cited by 0
Semantic Scholar
Formally verified differential dynamic logic OA
Cited by 60
Semantic Scholar
Research Topics
Particle physics theoretical and experimental studies
(1568)
High-Energy Particle Collisions Research
(1265)
Particle Detector Development and Performance
(724)
Quantum Chromodynamics and Particle Interactions
(593)
Dark Matter and Cosmic Phenomena
(199)
Affiliations
Université Paris-Sud
University of Geneva
Obayashi (Japan)
Universidade Federal do Rio de Janeiro
The Abdus Salam International Centre for Theoretical Physics (ICTP)