dusko pavlovic

Geciteerd door

	Alles	Sinds 2018
Citaties	2889	685
h-index	29	13
i10-index	61	22

200

100

150

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 21 9 13 11 19 11 17 56 45 74 107 180 145 199 151 131 166 188 160 107 134 97 113 110 128 150 143 110 44

Openbare toegang

Alles bekijken

15 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

John C MitchellProfessor of Computer Science, Stanford UniversityGeverifieerd e-mailadres voor Stanford.edu
Catherine MeadowsHead, Formal Methods Section, Naval Research LaboratoryGeverifieerd e-mailadres voor nrl.navy.mil
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUGeverifieerd e-mailadres voor cmu.edu
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteGeverifieerd e-mailadres voor quantinuum.com
Michael MisloveTulane UniversityGeverifieerd e-mailadres voor tulane.edu
James WorrellProfessor of Computer Science, Oxford UniversityGeverifieerd e-mailadres voor cs.ox.ac.uk
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKGeverifieerd e-mailadres voor cs.bham.ac.uk
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
Paul SyversonMathematician, U.S. Naval Research LaboratoryGeverifieerd e-mailadres voor nrl.navy.mil
Radha PoovendranProfessor of Electrical and Computer Engineering, University of Washington, SeattleGeverifieerd e-mailadres voor uw.edu
Samson AbramskyProfessor of Computer Science, UCLGeverifieerd e-mailadres voor ucl.ac.uk
Sava KrsticResearch Scientist, Intel Corp.Geverifieerd e-mailadres voor intel.com
John LaunchburyChief Scientist, GaloisGeverifieerd e-mailadres voor galois.com
Wolter PietersProfessor of Work, Organisations and Digital Technology, Radboud University NijmegenGeverifieerd e-mailadres voor ru.nl
Trajce DimkovPhD Researcher, University of TwenteGeverifieerd e-mailadres voor utwente.nl
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusGeverifieerd e-mailadres voor mpi-sws.org
Bertfried FauserKonstanz Germany

Volgen

dusko pavlovic

Professor at University of Hawaii

Geverifieerd e-mailadres voor hawaii.edu - Homepage

security semantics networks


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	197	2005
A new description of orthogonal bases B Coecke, D Pavlovic, J Vicary Mathematical Structures in Computer Science 23 (3), 555-567, 2013	191	2013
A compositional logic for proving security properties of protocols N Durgin, J Mitchell, D Pavlovic Journal of Computer Security 11 (4), 677-721, 2003	170	2003
Quantum measurements without sums B Coecke, D Pavlovic arXiv preprint quant-ph/0608035, 2006	162	2006
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	107	2003
Secure protocol composition A Datta, A Derek, JC Mitchell, D Pavlovic Proceedings of the 2003 ACM workshop on Formal methods in security …, 2003	106	2003
A compositional logic for protocol correctness N Durgin, J Mitchell, D Pavlovic Proceedings 14th IEEE Computer Security Foundations Workshop, 2001., 241,242 …, 2001	94	2001
Classical and quantum structuralism B Coecke, EO Paquette, D Pavlovic Semantic Techniques in Quantum Computation, 29-69, 2008	92	2008
Calculus in coinductive form D Pavlovic, MH Escardó Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	85	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	69	2005
Predicates and fibrations: From type theoretical to category theoretical presentation of constructive logic. D Pavlovic	56	1992
Deriving, attacking and defending the GDOI protocol C Meadows, D Pavlovic Computer Security–ESORICS 2004: 9th European Symposium on Research in …, 2004	55	2004
Composition and refinement of behavioral specifications D Pavlovic, DR Smith Proceedings 16th Annual International Conference on Automated Software …, 2001	53	2001
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	51	2004
Monoidal computer I: Basic computability by string diagrams D Pavlovic Information and computation 226, 94-116, 2013	49	2013
Testing semantics: connecting processes and process logics D Pavlovic, M Mislove, JB Worrell Algebraic Methodology and Software Technology: 11th International Conference …, 2006	49	2006
Software development by refinement D Pavlovic, DR Smith Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th …, 2003	48	2003
Categorical logic of names and abstraction in action calculi D Pavlović Mathematical Structures in Computer Science 7 (6), 619-637, 1997	45	1997
Quantum and Classical Structures in Nondeterminstic Computation. D Pavlovic QI, 143-157, 2009	44	2009

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs