dusko pavlovic

Citado por

	Total	Desde 2019
Citas	3088	746
Índice h	30	13
Índice i10	63	23

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 113 166 83

Acceso público

Ver todo

18 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryDirección de correo verificada de nrl.navy.mil
John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUDirección de correo verificada de cmu.edu
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteDirección de correo verificada de quantinuum.com
Michael MisloveTulane UniversityDirección de correo verificada de tulane.edu
James WorrellProfessor of Computer Science, Oxford UniversityDirección de correo verificada de cs.ox.ac.uk
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKDirección de correo verificada de bham.ac.uk
Jamie VicaryUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
Paul SyversonMathematician, U.S. Naval Research LaboratoryDirección de correo verificada de nrl.navy.mil
Radha PoovendranProfessor of ECE, University of WashingtonDirección de correo verificada de uw.edu
Samson AbramskyProfessor of Computer Science, UCLDirección de correo verificada de ucl.ac.uk
Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenDirección de correo verificada de ru.nl
Trajce DimkovPhD Researcher, University of TwenteDirección de correo verificada de utwente.nl
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
Sava KrsticResearch Scientist, Intel Corp.Dirección de correo verificada de intel.com
John LaunchburyChief Scientist, GaloisDirección de correo verificada de galois.com
Bertfried FauserKonstanz Germany

Seguir

dusko pavlovic

Professor at University of Hawaii

Dirección de correo verificada de hawaii.edu - Página principal

security semantics networks


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	202	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	116	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	62	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
Software development by refinement D Pavlovic, DR Smith Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003	50	2003
Categorical logic of names and abstraction in action calculi D Pavlović Mathematical Structures in Computer Science 7 (6), 619-637, 1997	50	1997

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores