???global.info.a_carregar???
Identification

Personal identification

Full name
Paul Crocker

Citation names

  • Crocker, Paul

Author identifiers

Ciência ID
741A-84FD-CF7C
ORCID iD
0000-0001-6824-6136
AuthenticusID
R-000-E32
Google Scholar ID
https://scholar.google.com/citations?user=xPw6P9cAAAAJ&hl=en
Researcher Id
N-6326-2013
Scopus Author Id
23476595500

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
English (Mother tongue)
German Intermediate (B1) Upper intermediate (B2) Intermediate (B1) Upper intermediate (B2) Intermediate (B1)
Education
Degree Classification
1988/10/01 - 1993/06/01
Concluded
 Applied Mathematics (Doctor of Philosophy)
Major in Mathematics
University of Leeds, United Kingdom
"A Numerical Study of Knock in Spark Ignition Piston Engines" (THESIS/DISSERTATION)
Affiliation

Science

Category
Host institution 		Employer
1993/09/01 - 1995/09/01 Researcher (Research) Universidade de Lisboa Instituto Superior Técnico, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
1999/05/28 - Current Assistant Professor (University Teacher) Universidade da Beira Interior, Portugal
1996/10/10 - 1999/05/28 Invited Assistant Professor (University Teacher) Universidade da Beira Interior Departamento de Informática, Portugal
Universidade da Beira Interior Faculdade de Ciências, Portugal

Positions / Appointments

Category
Host institution 		Employer
1999/10/01 - 2001/10/01 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade da Beira Interior, Portugal

Others

Category
Host institution 		Employer
1995/09/01 - 1996/10/01 Systems Support and Development Commerzbank AG, Germany
Projects

Contract

Designation Funders
2017 - Current Collaboratory for Geosciences (C4G)
PINFRA/22151/2016
Researcher
Universidade da Beira Interior, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Ongoing
2020/01/01 - 2024/12/31 Instituto de Telecomunicações
UIDB/50008/2020
10.54499/UIDB/50008/2020
Researcher
Instituto de Telecomunicações Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2019/01/01 - 2022/12/30 Sismicidade e Perigosidade da Margem Atlântica sub-Saariana
PTDC/CTA-GEO/31475/2017
Universidade da Beira Interior, Portugal

FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal

Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal

Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
2019/01/01 - 2019/12/31 Instituto de Telecomunicações
UID/EEA/50008/2019
Instituto de Telecomunicações Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2015 - 2019/10/01 European Plate Observing System (EPOS) - Implementation Phase
epos
Researcher
European Union
Concluded
2014/04/01 - 2015/09/30 Novos métodos para Usar estimativas de GNSS-PWV na Meteorologia de portugal
EXPL/GEO-MET/0413/2013
Researcher
Universidade de Lisboa Instituto Geofísico do Infante Dom Luiz, Portugal

Universidade da Beira Interior, Portugal

Instituto Português do Mar e da Atmosfera, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2012/03/01 - 2015/07/31 SMOG - Estrutura de sistemas convectivos em simulações e observações GNSS de alta resolução
PTDC/CTE-ATM/119922/2010
Researcher
Universidade de Lisboa Instituto Geofísico do Infante Dom Luiz, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

Universidade da Beira Interior, Portugal

Instituto Português do Mar e da Atmosfera, Portugal

Universidade dos Açores, Portugal

Universidade de Lisboa Instituto Dom Luiz, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2013/10/01 - 2014/10/01 Soft SIM Card Development
1928
Principal investigator
Instituto de Telecomunicações, Portugal
 Altice Labs
Concluded
2012/03/01 - 2013/09/01 Privacy, Reliability and Integrity in Cloud Environments
1687
Principal investigator
Instituto de Telecomunicações, Portugal
 Altice Labs
Concluded
2011/01/01 - 2012/12/31 Projecto Estratégico - LA 8 - 2011-2012
PEst-OE/EEI/LA0008/2011
Instituto de Telecomunicações Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2008/01 - 2012/12 MOGGY - A Browser-Based Massive Multiplayer Online Game Engine Architecture
PTDC/EIA/70830/2006
PTDC/EIA/70830/2006
Researcher
Instituto de Telecomunicações, Portugal
 Associação para a Inovação e Desenvolvimento da FCT
Outputs

Publications

Book
  1. De Matos Pedro, A.; Crocker, P.A.; De Sousa, S.M.. Learning stochastic timed automata from sample executions. 2012.
    10.1007/978-3-642-34026-0_38
Conference paper
  1. Rui Pedro Bernardo Morais; Paul Andrew Crocker; Simão Melo De Sousa. "Echidna: A New Consensus Algorithm for Efficient State Machine Replication". 2023.
    10.1109/BCCA58897.2023.10338927
  2. Gustavo Adão De Souza; Marcelo Dornbusch Lopes; Anita Maria Da Rocha Fernandes; Valderi Reis Quietinho Leithardt; Paul Andrew Crocker. "Comparison Between Sentiment Analysis Approaches Applied to Digital Games". 2023.
    10.23919/cisti58278.2023.10211536
  3. Luis Carvalho; Hamzeh Mohammadigheymasi; Paul Andrew Crocker; Nasrin Tavakolizadeh; Yahya Moradichaleshtori; R.M.S. Fernandes. "Earthquake Detection and Location in the Cameroon Temporary Network Data Using Deep Learning". 2023.
    10.5194/egusphere-egu23-16438
  4. "Comparison between Different Approaches to Sentiment Analysis in the Context of the Portuguese Language". 2021.
    10.23919/cisti52073.2021.9476501
  5. Crocker, Paul. "Eigenvalue decomposition polarization analysis: A regularized sparsity-based approach". 2021.
    10.5194/egusphere-egu21-15267
  6. Crocker, Paul. "Can user data improve Bike Sharing Systems demand forecasting?". 2021.
    10.1109/conftele50222.2021.9435497
  7. Morais, R; Crocker, PA; de Sousa, SM; Morais, Rui; Crocker, Paul Andrew; Sousa, Simão Melo De. "A tool for implementing privacy in Nano". 2020.
    10.1109/dapps49028.2020.00021
  8. Reis, JS; Crocker, PA; de Sousa, SM. "Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts". 2020.
    10.4230/oasics.fmbc.2020.4
  9. Gaussmann, R; Coelho, D; Fernandes, AMR; Crocker, P; Leithardt, VRQ. "Using Machine Learning for Road Maintenance Cost Estimates in Brazil: a case study in the Federal District". 2020.
    10.23919/cisti49556.2020.9141148
  10. Hodecker, A; Fernandes, AMR; Steffens, A; Crocker, P; Leithardt, VRQ. "Clothing Classification Using Convolutional Neural Networks". 2020.
    10.23919/cisti49556.2020.9141035
  11. Manteigueiro, J.; Crocker, P.; Barrico, C.. "Identity Management and Access Control for the GNSS Community within a European Research Infrastructure". 2020.
    10.1109/COMPSAC48688.2020.00-24
  12. Vieira, P.; Stockman, C.; Crocker, P.. "Blockchain, Facebook and a polygraph". 2020.
    10.34190/EAIR.20.037
  13. Vieira, P; Crocker, P; de Sousa, SM. "e-Learning, Artificial Intelligence, and Block chain". 2019.
    10.34190/eciair.19.042
  14. Crocker, P; Carvalho, T; Nicolau, V. "Securing electronic workflows with digital signatures". 2017.
  15. Crocker, P; Silveira, J; Crocker, Paul. "Applications of Identity Based Cryptography and Sticky Policies With Electronic Identity Cards". 2016.
  16. Crocker, Paul; Crocker, P; Querido, P. "Two Factor Encryption in Cloud Storage Providers Using Hardware Tokens". 2015.
    10.1109%2fGLOCOMW.2015.7414154
  17. Crocker, Paul; dos Santos, N; Crocker, P. "Security of smartphone solutions for implantable cardioverter defibrillator communication". 2015.
  18. Crocker, P; Peixinho, A. "Secret Sharing Framework Based on Digital Certificates". 2014.
  19. Crocker, P.; Peixinho, A.. "Secret sharing framework based on digital certificates". 2014.
  20. Crocker, P.; Peixinho, A.. "Secret sharing for high security codes on smart-cards". 2013.
  21. Gouveia, J.; Crocker, P.A.; De Sousa, S.M.; Azevedo, R.. "E-Id authentication and uniform access to Cloud Storage Service Providers". 2013.
    10.1109/CloudCom.2013.71
  22. Crocker, P.; Nicolau, V.. "A secure architecture for electronic ticketing based on the Portuguese e-ID card". 2011.
  23. Crocker, P.; Nicolau, V.; De Sousa, S.M.. "Sniffing with the portuguese identify card for fun and profit". 2010.
  24. MOURA, PAULO; Crocker, Paul; Nunes, Paulo. "Multi-threading programming in Logtalk". Paper presented in 7th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2007), Porto, 2007.
    Accepted
  25. Crocker, Paul. "A Parallel Multikey Quicksort Algorithm for Mining Multiword Units". 2004.
Conference poster
  1. Crocker, Paul; Manteigueiro, J; Bos, MS; Fernandes, RMS. Corresponding author: Crocker, Paul. "FAIR Data for GNSS Data Exchange Within the European Plate Observing System and Beyond.". Paper presented in AGU Fall Meeting, San Francisco, USA, 2019.
  2. Bos, MS; Crocker, Paul; Couto, R; Fernandes, RMS; Cardoso, R; Valentim, H; Manteigueiro, J; Pereira, F ; Rodrigues, A. Corresponding author: Bos, MS. "The C4G/UBI contribution for the EPOS GNSS Products Dissemination". Paper presented in WEGENER 2018, Grenoble, France, 2018.
  3. Fernandes, RMS; Bos, MS; Bruyninx, C ; Crocker, Paul; Dousa, J ; Walpersdorf, A; Socquet, A; et al. Corresponding author: Fernandes, RMS. "EPOS- GNSS-Current status of service and product implementation". Paper presented in EGU General Assembly, Vienna, Austria, 2018.
  4. Fernandes, RMS; Bos, MS; Bruyninx, C ; Crocker, Paul; Dousa, J ; Walpersdorf, A; Socquet, A; et al. Corresponding author: Fernandes, RMS. "The Contribution for Improving GNSS Data and Derived Products for Solid Earth Sciences Promoted by EPOS-IP". Paper presented in AGU Fall Meeting, New Orleans, USA, 2017.
  5. Fernandes, RMS; Bos, MS; Carine Bruyninx; Crocker, Paul; Jan Dousa; Socquet, A; Walpersdorf, A; et al. Corresponding author: Fernandes, RMS. "EPOS-GNSS ¿ Improving the infrastructure for GNSS data and products in Europe". Paper presented in EGU General Assembly, Vienna, Austria, 2017.
Journal article
  1. Darlan Noetzold; Anubis Graciela de Moraes Rossetto; Luís Augusto Silva; Paul Andrew Crocker; Valderi R. Q. Leithardt. "JVM optimization: An empirical analysis of JVM configurations for enhanced web application performance". SoftwareX (2024): http://dx.doi.org/10.1016/j.softx.2024.101933.
    10.1016/j.softx.2024.101933
  2. Carvalho, L.; Mohammadigheymasi, H.; Crocker, P.; Tavakolizadeh, N.; Moradichaleshtori, Y.; Fernandes, R.. "Application of the pair-input deep learning model for seismicity reassessment in Cameroon". Acta Geophysica (2024): http://www.scopus.com/inward/record.url?eid=2-s2.0-85210370624&partnerID=MN8TOARS.
    10.1007/s11600-024-01475-4
  3. Rui Morais; Paul Crocker; Valderi Leithardt. "Nero: A Deterministic Leaderless Consensus Algorithm for DAG-Based Cryptocurrencies". Algorithms (2023): https://doi.org/10.3390/a16010038.
    10.3390/a16010038
  4. Humberto Jorge De Moura Costa; Cristiano André Da Costa; Rodolfo Stoffel Antunes; Rodrigo Da Rosa Righi; Paul Andrew Crocker; Valderi Reis Quietinho Leithardt. "ID-Care: A Model for Sharing Wide Healthcare Data". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3249109.
    10.1109/ACCESS.2023.3249109
  5. "A new European service to share GNSS Data and Products". Annals of Geophysics 65 3 (2022): DM317-DM317. http://dx.doi.org/10.4401/ag-8776.
    10.4401/ag-8776
  6. Carolina Tavares Duarte; LEITHARDT, V. R. Q.; VALDERI LEITHARDT; VALDERI REIS QUIETINHO LEITHARDT; VALDERI R. Q. LEITHARDT;; Crocker, Paul; Jorge Luis Victória Barbosa; Daniel Hernadez de La Iglesia; Pedro Miguel Silva. "Study on the Context of Fake News in Portuguese Language Countries,Uma Proposta de Solução Abordando o Contexto de Notícias Falsas em Países de Língua Portuguesa". RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao 2022 E47 (2022): 199-211. http://www.scopus.com/inward/record.url?eid=2-s2.0-85127591830&partnerID=MN8TOARS.
    Published
  7. Mohammadigheymasi, Hamzeh; Crocker, Paul; Fathi, Maryam; Almeida, Eduardo; Silveira, Gracra; Gholami, Ali; Schimmel, Martin; Silveira, Graça. "Sparsity-promoting approach to polarization analysis of seismic signals in the time-frequency domain". IEEE Transactions on Geoscience and Remote Sensing (2022): 1-1. http://dx.doi.org/10.1109/tgrs.2022.3141580.
    10.1109/tgrs.2022.3141580
  8. Lima, Ligia; Fernandes, Anita; James Roberto Bombasar; Da Silva, Bruno Alves; Crocker, Paul; LEITHARDT, VALDERI; Roberta Rodrigues de Lima; et al. "An Empirical Comparison of Portuguese and Multilingual BERT Models for Auto-Classification of NCM Codes in International Trade". Big Data and Cognitive Computing (2022): http://hdl.handle.net/10400.26/38766.
    10.3390/bdcc6010008
  9. Pereira, Fábio; Crocker, Paul; LEITHARDT, VALDERI; Fábio Pereira; Paul Crocker; Valderi R.Q. Leithardt. "PADRES: Tool for PrivAcy, Data REgulation and Security". SoftwareX (2022): http://hdl.handle.net/10400.26/38401.
    10.1016/j.softx.2021.100895
  10. Duarte, C.T.; Leithardt, V.R.Q.; Crocker, P.; Barbosa, J.L.V.; Iglesia, D.H.L.; Silva, L.A.. "Study on the Context of Fake News in Portuguese Language Countries,Uma Proposta de Solução Abordando o Contexto de Notícias Falsas em Países de Língua Portuguesa". RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao 2022 E47 (2022): 199-211. http://www.scopus.com/inward/record.url?eid=2-s2.0-85127591830&partnerID=MN8TOARS.
  11. Alisson Steffens Henrique; Anita Maria da Rocha Fernandes; Rodrigo Lyra; Valderi Reis Quietinho Leithardt; Sérgio D. Correia; Paul Crocker; Rudimar Luis Scaranto Dazzi. "Classifying Garments from Fashion-MNIST Dataset Through CNNs". Advances in Science, Technology and Engineering Systems Journal 6 1 (2021): 989-994. https://doi.org/10.25046%2Faj0601109.
    10.25046/aj0601109
  12. Crocker, Paul. "Estimated Maintenance Costs of Brazilian Highways Using Machine Learning Algorithms". Journal of Information Systems Engineering and Management (2020): http://dx.doi.org/10.29333/jisem/8427.
    10.29333/jisem/8427
  13. Saraiva, Daniel; Leithardt, Valderi; Paula, Diandre De; Mendes, André Sales; Villarrubia Gonzalez, Gabriel; Crocker, Paul Andrew; Daniel A. F. Saraiva; et al. "PRISEC: Comparison of Symmetric Key Algorithms for IoT Devices". Sensors 19 19 (2019): 4312-4312. http://hdl.handle.net/10400.6/9258.
    10.3390/s19194312
  14. Moura, P.; Crocker, P.; Nunes, P.. "High-level multi-threading programming in logtalk". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4902 LNCS (2007): 265-281. http://www.scopus.com/inward/record.url?eid=2-s2.0-38549122545&partnerID=MN8TOARS.
Preprint
  1. Rui Fernandes; Carine Bruyninx; Luis Carvalho; Paul Crocker; Gael Janex; Juliette Legrand; Jean-Luc Menut; Anne Socquet; Mathilde Vergnolle. "EPOS-GNSS – Operational Advancements in EPOS GNSS Data and Product Services". 2024. https://doi.org/10.5194/egusphere-egu24-13367.
    10.5194/egusphere-egu24-13367
Thesis / Dissertation
  1. Almeida, Eduardo Rodrigues. "Development of a Python Library for Processing Seismic Time Series". Master, 2021. http://hdl.handle.net/10400.6/11823.
  2. Pereira, Fábio André de Sousa. "EPOS Security & GDPR Compliance". Master, 2020. http://hdl.handle.net/10400.6/10811.
  3. Manteigueiro, José Pedro da Paula. "Authentication and Identity Management for the EPOS Project". Master, 2020. http://hdl.handle.net/10400.6/11011.
  4. Paiva, Rui David Teixeira. "Format and Order Revealing Encryption". Master, 2018. http://hdl.handle.net/10400.6/9838.
  5. Marques, André Lousa. "Monitoring Architecture for Real Time Systems". Master, 2016. http://hdl.handle.net/10400.6/6366.
  6. Santos, Nuno Miguel Alves dos. "Security and Privacy for Implantable Cardioverter Defibrillators". Master, 2014. http://hdl.handle.net/10400.6/5731.
  7. Peixinho, Adolfo Barbosa do Amaral. "Digital certificates and threshold cryptography". Master, 2013. http://hdl.handle.net/10400.6/3704.
  8. Gouveia, João José Teles. "Mecanismos de autenticação em serviços baseados em Cloud". Master, 2013. http://hdl.handle.net/10400.6/1934.
  9. Silveira, João Pedro Cipriano. "Aplicações de criptografia baseada em identidade com cartões de identificação eletrónica". Master, 2013. http://hdl.handle.net/10400.6/1931.
  10. Bento, Fábio André de Oliveira. "Parallelization and implementation of methods for image reconstruction". Master, 2013. http://hdl.handle.net/10400.6/3702.
  11. Nicolau, Vasco André Gonçalves. "Ticket-ID, arquitectura móvel para a integração de serviços de comércio electrónico, comunicação NFC e a segurança do cartão de cidadão". Master, 2010. http://hdl.handle.net/10400.6/3766.

Other

Other output
  1. Sparsity-promoting approach to polarization analysis of seismic signals in the time-frequency domain. 2021. Mohammadigheymasi, H.; Crocker, P.; Fathi, M.; Almeida, E.; Silveira, G.; Gholami, A.; Schimmel, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85132050950&partnerID=MN8TOARS.
    10.36227/techrxiv.14910063
  2. Delegated RingCT: faster anonymous transactions. 2020. Morais, R; Crocker, PA; de Sousa, SM.
  3. Adamastor: a New Low Latency and Scalable Decentralized Anonymous Payment System. 2020. Morais, R.; Crocker, P.A.; de Sousa, S.M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85182175600&partnerID=MN8TOARS.
    10.48550/arXiv.2011.14159
  4. Tezla, an intermediate representation for static analysis of Michelson smart contracts*. 2020. Reis, J.S.; Crocker, P.; de Sousa, S.M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-85171030661&partnerID=MN8TOARS.
    10.48550/arxiv.2005.11839
  5. GLASS, a Tool for Quality-Controlled GNSS Data and Products Dissemination.. 2019. Paul Crocker; Jan Dousa; Mathilde Vergnolle; Carine Bruyninx; Machiel Bos; Rui Fernandes. https://doi.org/10.1002/essoar.10500270.1.
    10.1002/essoar.10500270.1