dusko pavlovic

Dikutip oleh

	Semua	Sejak 2020
Kutipan	3133	637
indeks-h	30	13
indeks-i10	63	19

220

110

165

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420259 9 16 10 12 12 19 18 13 59 49 80 96 177 140 201 152 150 160 215 138 113 142 100 117 104 145 122 130 110 162 88 25

Akses publik

Lihat semua

18 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryEmail yang diverifikasi di nrl.navy.mil
John C MitchellProfessor of Computer Science, Stanford UniversityEmail yang diverifikasi di Stanford.edu
Anupam DattaSnowflake AI Research, Ex-Professor CMUEmail yang diverifikasi di snowflake.com
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteEmail yang diverifikasi di quantinuum.com
Michael MisloveTulane UniversityEmail yang diverifikasi di tulane.edu
James WorrellProfessor of Computer Science, Oxford UniversityEmail yang diverifikasi di cs.ox.ac.uk
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKEmail yang diverifikasi di bham.ac.uk
Jamie VicaryUniversity of CambridgeEmail yang diverifikasi di cl.cam.ac.uk
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cmu.edu
Paul SyversonMathematician, U.S. Naval Research LaboratoryEmail yang diverifikasi di nrl.navy.mil
Radha PoovendranProfessor of ECE, University of WashingtonEmail yang diverifikasi di uw.edu
Samson AbramskyProfessor of Computer Science, UCLEmail yang diverifikasi di ucl.ac.uk
Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenEmail yang diverifikasi di ru.nl
Trajce DimkovPhD Researcher, University of TwenteEmail yang diverifikasi di utwente.nl
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail yang diverifikasi di mpi-sws.org
Sava KrsticResearch Scientist, Intel Corp.Email yang diverifikasi di intel.com
John LaunchburyChief Scientist, GaloisEmail yang diverifikasi di galois.com
Bertfried FauserKonstanz Germany

Ikuti

dusko pavlovic

Professor at University of Hawaii

Email yang diverifikasi di hawaii.edu - Beranda

security semantics networks


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	210	2005
A new description of orthogonal bases B Coecke, D Pavlovic, J Vicary Mathematical structures in computer science 23 (3), 555-567, 2013	203	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	119	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	112	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	100	2001
Calculus in coinductive form D Pavlovic, MH Escardó Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	93	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	71	2005
Predicates and fibrations: From type theoretical to category theoretical presentation of constructive logic. D Pavlovic	65	1992
Deriving, attacking and defending the GDOI protocol C Meadows, D Pavlovic European Symposium on Research in Computer Security, 53-72, 2004	56	2004
Composition and refinement of behavioral specifications D Pavlovic, DR Smith Proceedings 16th Annual International Conference on Automated Software …, 2001	56	2001
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	55	2004
Testing semantics: Connecting processes and process logics D Pavlovic, M Mislove, JB Worrell International Conference on Algebraic Methodology and Software Technology …, 2006	51	2006
Categorical logic of names and abstraction in action calculi D Pavlović Mathematical Structures in Computer Science 7 (6), 619-637, 1997	51	1997
Quantum and classical structures in nondeterminstic computation D Pavlovic International Symposium on Quantum Interaction, 143-157, 2009	50	2009
Software development by refinement D Pavlovic, DR Smith Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003	48	2003

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama