Paul Andrew Crocker

Contactos

P�gina inicial

Ensino/Teaching

Investigação/Research

Msc

Projectos

Publicações

Some Publications:
These days just look on Google Scholar

E-id authentication and uniform access to cloud storage service providers. J. Gouveia, P. Crocker, S. Melo de Sousa, and R. Azevedo. E-id authentication and uniform access to cloud storage service providers. In Proceedings of the 2013 IEEE 5th International Conference on Cloud Computing Technology and Science (CloudCom), CLOUDCOM '13, 2013. 3. IEEE CS Press (IEEE Xplore) DOI: 10.1109/CloudCom.2013.71 pdf pdf

Criptografia Homomórfica como um Serviço: da Implementação à sua Aplicação. Vitor Pereira, Simão Melo de Sousa, Paul Crocker, Ricardo Azevedo . Proceedings of Inforum'2013. September 2013, Évora.

Secret Sharing for High Security Codes on Smart-Cards, Crocker Paul & Peixinho, Adolfo Proceedings of the European Conference on Informations Warfare 2013, pp45-54

Learning Stochastic Timed Automata from Sample Executions, André de Matos Pedro, Paul Andrew Crocker, Sim�o Melo de Sousa Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. Lecture Notes in Computer Science Volume 7609, 2012, pp 508-523

T3S Tool : Learning stochastic discrete event systems from sample executions 2012 André de Matos Pedro, Paul Crocker, Simão Melo de Sousa. Proceedings of CIAA'2012. Porto, Portugal.

A Secure Architecture for Electronic Ticketing Based on the Portuguese e-ID Card, Paul Crocker,Vasco Nicolau, Proc European Conf. on Information Warfare and Security - ECIW,Tallinn, Estonia, July 2011.

Sniffing with the Portuguese Identity Card for fun and profit, Paul Crocker, Simão Melo de Sousa,Vasco Nicolau, Proc European Conf. on Information Warfare and Security - ECIW, Thessaloniki, Greece,July, 2010.

A Nova Dimensão da Entidade Electrónica em Portugal, Paul Crocker, Simão Melo de Sousa,Vasco Nicolau, Proc AFCEA Congresso Nacional de Segurança e Defesa, Lisboa, Portugal, Vol. 1, pp. 1 - 17, June, 2010.

High-Level Multi-threading Programming in Logtalk. Paulo Moura, Paul Crocker, and Paulo Nunes. Lecture Notes in Computer Science, Vol. 4902, pp.265-281, 2008. (In Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL’08), San Francisco, United States, January, 2008).

Proceedings of CICLOPS 2007 7th International Colloquium on Implementation of Constraint and Logic Programming Systems, Multi-threading programming in Logtalk, Paulo Moura, Paul Crocker and Paulo Nunes, Porto, Portugal, September 2007.

A parallel multikey algorithm for mining textual associations, R. Pereira and P. Crocker, G.Dias LREC-2004, Workshop on Methodologies and Evaluation of Multiword Units in Real-world Applications (MEMURA Workshop), Lisbon, Portugal, May, 2004.

Que Applicação para mais uma norma para troca de Dados ? - A Norma STEP P.A. Crocker, Info CAD/CAM, Junho 1994.

O que é a STEP. A troca de dados na ambiente CIM (Computer Integrated Manufacturing), P.A.Crocker, Info CAD/CAM, Setembro 1994.

Concurrent/Simultaneous Engineering System, Deliverable G0.2 Results of Demonstration of CONSENS. P. A. Crocker e J. Camacho, Espirit III Project 6896. Maio 1995.

A Numerical Study of Knock in Spark Ignition Piston Engines, P. A. Crocker, Thesis (Ph.D.) -- Department of Applied Mathematics, University of Leeds, 1993.

On Shock Waves and Hyperbolic Systems of Conservation Laws, Final Project Report P. A. Crocker, Departament of Applied Mathematics, University of Leeds 1988.