Kai Engelhardt

Процитировано

	Все	Начиная с 2020 г.
Статистика цитирования	3823	1070
h-индекс	10	4
i10-индекс	10	4

260

130

195

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202534 25 34 43 47 62 44 45 52 82 180 173 209 230 213 235 240 239 245 245 201 210 210 207 215 27

Общий доступ

Просмотреть все

1 статья

0 статей

доступно

недоступно

На основе финансирования

Соавторы

Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesПодтвержден адрес электронной почты в домене cse.unsw.edu.au
Yoram MosesTechnionПодтвержден адрес электронной почты в домене ee.technion.ac.il
Gerwin KleinProofcraft and UNSWПодтвержден адрес электронной почты в домене unsw.edu.au
Gernot HeiserProfessor of Computer Science, University of New South WalesПодтвержден адрес электронной почты в домене unsw.edu.au
Michael NorrishAustralian National UniversityПодтвержден адрес электронной почты в домене anu.edu.au
Dhammika ElkaduweUniversity of Peradeniya (www.pdn.ac.lk)Подтвержден адрес электронной почты в домене ce.pdn.ac.lk
Kevin ElphinstoneUniversity of New South WalesПодтвержден адрес электронной почты в домене cse.unsw.edu.au
June AndronickCEO and co-founcer, ProofcraftПодтвержден адрес электронной почты в домене proofcraft.systems
David CockSenior Researcher, ETH ZurichПодтвержден адрес электронной почты в домене cse.unsw.edu.au
Peter GammieANUПодтвержден адрес электронной почты в домене anu.edu.au
Toby MurraySchool of Computing and Information Systems, University of MelbourneПодтвержден адрес электронной почты в домене unimelb.edu.au
Rob SisonSchool of Computer Science and Engineering, UNSW SydneyПодтвержден адрес электронной почты в домене unsw.edu.au
Kaile SuIIIS, Griffith UniversityПодтвержден адрес электронной почты в домене griffith.edu.au
Tony HoskingAustralian National UniversityПодтвержден адрес электронной почты в домене anu.edu.au
Chenyi ZhangOracle Labs AustraliaПодтвержден адрес электронной почты в домене oracle.com
Ralf HuuckNICTA, UNSWПодтвержден адрес электронной почты в домене cse.unsw.edu.au

Kai Engelhardt

n.a.

Подтвержден адрес электронной почты в домене acm.org

concurrency verification autonomy synchronous languages security


Название По числу цитат По году По названию	Процитировано Процитировано	Год
seL4: Formal verification of an OS kernel G Klein, K Elphinstone, G Heiser, J Andronick, D Cock, P Derrin, ... Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009	2921	2009
Data Refinement: Model-oriented proof methods and their comparison WP de Roever, K Engelhardt Cambridge University Press, 1998	606	1998
Knowledge and the logic of local propositions K Engelhardt, R van der Meyden, Y Moses Proceedings of the 7th conference on Theoretical aspects of rationality and …, 1998	75	1998
COVERN: A logic for compositional verification of information flow control T Murray, R Sison, K Engelhardt 2018 IEEE European Symposium on Security and Privacy (EuroS&P), 16-30, 2018	48	2018
Relaxing safely: verified on-the-fly garbage collection for x86-TSO P Gammie, AL Hosking, K Engelhardt ACM SIGPLAN Notices 50 (6), 99-109, 2015	37	2015
Model checking knowledge and linear time: PSPACE cases K Engelhardt, P Gammie, R Van Der Meyden Logical Foundations of Computer Science: International Symposium, LFCS 2007 …, 2007	20	2007
A refinement theory that supports reasoning about knowledge and time for synchronous agents K Engelhardt, R van der Meyden, Y Moses International Conference on Logic for Programming Artificial Intelligence …, 2001	17	2001
A program refinement framework supporting reasoning about knowledge and time K Engelhardt, R van der Meyden, Y Moses Foundations of Software Science and Computation Structures, 114-129, 2000	17	2000
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers (Preliminary Report) K Engelhardt, R van der Meyden, K Su	17*
Intransitive noninterference in nondeterministic systems K Engelhardt, R Van Der Meyden, C Zhang Proceedings of the 2012 ACM conference on Computer and communications …, 2012	16	2012
Generalizing Abadi & Lamport's method to solve a problem posed by A. Pnueli K Engelhardt, WP de Roever International Symposium of Formal Methods Europe, 294-313, 1993	9	1993
Safe composition of distributed programs communicating over order-preserving imperfect channels K Engelhardt, Y Moses International Workshop on Distributed Computing, 32-44, 2005	8	2005
Single-bit messages are insufficient in the presence of duplication K Engelhardt, Y Moses International Workshop on Distributed Computing, 25-31, 2005	6	2005
Model-oriented data refinement K Engelhardt Christian-Albrechts-Universität zu Kiel, 1997	6	1997
Simulation of specification statements in Hoare logic K Engelhardt, WP de Roever International Symposium on Mathematical Foundations of Computer Science, 324-335, 1996	6	1996
Causing communication closure: safe program composition with reliable non-FIFO channels K Engelhardt, Y Moses Distributed Computing 22 (2), 73-91, 2009	3	2009
Causing communication closure: Safe program composition with non-FIFO channels K Engelhardt, Y Moses International Symposium on Distributed Computing, 229-243, 2005	3	2005
A better composition operator for quantitative information flow analyses K Engelhardt European Symposium on Research in Computer Security, 446-463, 2017	2	2017
Knowledge and the logic of local propositions R van der Meyden, K Engelhardt, Y Moses Theoretical Aspects of Rationality and Knowledge, Proc. of TARK, 1998	2	1998
Towards a practitioners' approach to Abadi and Lamport's method K Engelhardt, WP de Roever Formal aspects of computing 7, 550-575, 1995	2	1995

В данный момент система не может выполнить эту операцию. Повторите попытку позднее.

Статьи 1–20

Ссылок за год

Повторяющиеся цитирования

Объединенные цитирования

СоавторыСоавторы

Подписаться

Процитировано

Соавторы