dusko pavlovic 个人学术档案

引用次数

	总计	2019 年至今
引用	3067	725
h 指数	30	13
i10 指数	63	22

200

100

150

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 9 17 10 11 12 20 18 13 64 46 80 97 180 143 200 153 144 165 194 150 113 137 100 113 105 130 123 130 112 179 51

开放获取的出版物数量

查看全部

18 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratory在 nrl.navy.mil 的电子邮件经过验证
John C MitchellProfessor of Computer Science, Stanford University在 Stanford.edu 的电子邮件经过验证
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMU在 cmu.edu 的电子邮件经过验证
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter Institute在 quantinuum.com 的电子邮件经过验证
Michael MisloveTulane University在 tulane.edu 的电子邮件经过验证
James WorrellProfessor of Computer Science, Oxford University在 cs.ox.ac.uk 的电子邮件经过验证
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UK在 cs.bham.ac.uk 的电子邮件经过验证
Jamie VicaryUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon University在 cmu.edu 的电子邮件经过验证
Paul SyversonMathematician, U.S. Naval Research Laboratory在 nrl.navy.mil 的电子邮件经过验证
Radha PoovendranProfessor of ECE, University of Washington在 uw.edu 的电子邮件经过验证
Samson AbramskyProfessor of Computer Science, UCL在 ucl.ac.uk 的电子邮件经过验证
Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University Nijmegen在 ru.nl 的电子邮件经过验证
Trajce DimkovPhD Researcher, University of Twente在 utwente.nl 的电子邮件经过验证
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus在 mpi-sws.org 的电子邮件经过验证
Sava KrsticResearch Scientist, Intel Corp.在 intel.com 的电子邮件经过验证
John LaunchburyChief Scientist, Galois在 galois.com 的电子邮件经过验证
Bertfried FauserKonstanz Germany

关注

dusko pavlovic

Professor at University of Hawaii

在 hawaii.edu 的电子邮件经过验证 - 首页

security semantics networks


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
A derivation system and compositional logic for security protocols A Datta, A Derek, JC Mitchell, D Pavlovic Journal of Computer Security 13 (3), 423-482, 2005	207	2005
A new description of orthogonal bases B Coecke, D Pavlovic, J Vicary Mathematical structures in computer science 23 (3), 555-567, 2013	200	2013
Quantum measurements without sums B Coecke, D Pavlovic Mathematics of Quantum Computation and Quantum Technology, 577-620, 2007	170	2007
A compositional logic for proving security properties of protocols N Durgin, J Mitchell, D Pavlovic Journal of Computer Security 11 (4), 677-721, 2003	168	2003
Distance bounding protocols: Authentication logic analysis and collusion attacks C Meadows, R Poovendran, D Pavlovic, LW Chang, P Syverson Secure localization and time synchronization for wireless sensor and ad hoc …, 2007	115	2007
A derivation system for security protocols and its logical formalization A Datta, A Derek, JC Mitchell, D Pavlovic 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 109-125, 2003	110	2003
Secure protocol composition A Datta, A Derek, JC Mitchell, D Pavlovic Proceedings of the 2003 ACM workshop on Formal methods in security …, 2003	109	2003
Classical and quantum structuralism B Coecke, EO Paquette, D Pavlovic Semantic Techniques in Quantum Computation, 29-69, 2008	108*	2008
A compositional logic for protocol correctness N Durgin, J Mitchell, D Pavlovic Proceedings 14th IEEE Computer Security Foundations Workshop, 2001., 241,242 …, 2001	99	2001
Calculus in coinductive form D Pavlovic, MH Escardó Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	95	1998
An encapsulated authentication logic for reasoning about key distribution protocols I Cervesato, C Meadows, D Pavlovic 18th IEEE Computer Security Foundations Workshop (CSFW'05), 48-61, 2005	70	2005
Predicates and fibrations: From type theoretical to category theoretical presentation of constructive logic. D Pavlovic	61	1992
Deriving, attacking and defending the GDOI protocol C Meadows, D Pavlovic Computer Security–ESORICS 2004: 9th European Symposium on Research in …, 2004	56	2004
Monoidal computer I: Basic computability by string diagrams D Pavlovic Information and computation 226, 94-116, 2013	55	2013
Abstraction and refinement in protocol derivation A Datta, A Derek, JC Mitchell, D Pavlovic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 30-45, 2004	54	2004
Composition and refinement of behavioral specifications D Pavlovic, DR Smith Proceedings 16th Annual International Conference on Automated Software …, 2001	54	2001
Testing semantics: Connecting processes and process logics D Pavlovic, M Mislove, JB Worrell Algebraic Methodology and Software Technology: 11th International Conference …, 2006	51	2006
Quantum and classical structures in nondeterminstic computation D Pavlovic International Symposium on Quantum Interaction, 143-157, 2009	50	2009
Categorical logic of names and abstraction in action calculi D Pavlović Mathematical Structures in Computer Science 7 (6), 619-637, 1997	50	1997
Software development by refinement D Pavlovic, DR Smith Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003	49	2003

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用