IMDEA Software, Boadilla del Monte

Facultad de Informática (UPM) -- oficina 3301 Campus de Montegancedo - Pozuelo de Alarcón (Spain es)
Artificial Intelligence
Model Checking Searchable Encryption Secure Multi-party Computation Constraint Logic Programming Runtime Verification Homomorphic Encryption Privacy-Preserving Computation Abstract Interpretation Soundness Temporal Logic
Watch Introduction

Bibliometric indicators

Evolution over the last years of activity

Showing the period - Sept. 2024

1,292
Activity
3%

Total documents

2.46
Impact
3%

Normalized Impact

338
Excellence
3%

Highly Cited Papers (Top 10%)

78.9
Leadership
3%

Leadership (%)

68.0
Mobility & Collaboration
3%

International Collaboration (%)

40
Excellence
3%

Outstanding papers (Top 1%)

10.1
Leadership
3%

Women Leading (%)

5.1
Leadership
3%

Women Leading International (%)

56.7
Open Access
3%

Open Access (%)

Main Research Fields (top 9 by publications)

Indicators:

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Human Resources

Historical perspective

From to Sept. 2024

Current resources

Quick filters

Career Stage
Occasional Junior Researcher Senior Leading
Performance
Standard Good Excellent Outstanding
Gender
Male Female
Reset
0

Personnel

0.0

Papers / Personnel

0

Leading women (%)

0
0

Gender (%)

0

Papers / Permanent researchers

0

Papers / Leading researchers

Career stage

Performance

Years of Activity

ONE Index (distribution)

ONE Index by Main Research Fields

ONE Index vs. Years of Activity

Main authors

ID Name Gender Discipline Career Stage ONE Index Years Activity NDocs RCI HCP Leader Collab.
1 BARTHE, Gilles male Artificial Intelligence Leading researcher 900 30 455 2.15 123 70.6% 56.7%
2 Caballero, Juan male Information Systems, Signal Processing Senior researcher 897 19 86 5.69 42 62.8% 44.2%
3 Strub, Pierre-Yves male Artificial Intelligence Senior researcher 877 24 117 4.54 43 68.4% 64.1%
4 Gorla, Alessandra female Software, Information Systems Senior researcher 851 18 77 5.90 27 20.8% 67.5%
5 Fiore, Dario male Artificial Intelligence Senior researcher 833 18 138 4.08 56 40.6% 65.2%
6 Gotsman, Alexey male Computer Networks and Communications Senior researcher 827 20 92 2.93 32 59.8% 63.0%
7 Nanevski, Aleksandar male Artificial Intelligence Senior researcher 762 24 79 1.93 24 63.3% 41.8%
8 Gomez, Gibran male Information Systems Junior researcher 757 4 10 3.15 5 80.0% 20.0%
9 Vazou, Niki female Artificial Intelligence Researcher 756 14 59 1.32 11 61.0% 39.0%
10 Moreno-Sanchez, Pedro male Information Systems, Artificial Intelligence Researcher 742 27 79 5.27 37 22.8% 55.7%
11 Giunta, Emanuele male Artificial Intelligence Junior researcher 725 3 9 2.40 5 77.8% 44.4%
12 Ganty, Pierre male Computational Theory and Mathematics Senior researcher 720 23 97 0.89 12 66.0% 47.4%
13 Cascudo, Ignacio male Artificial Intelligence Senior researcher 719 17 56 1.90 19 92.9% 57.1%
14 Kolonelos, Dimitris male Artificial Intelligence Junior researcher 717 5 16 4.16 10 31.3% 62.5%
15 Tucker, Ida female Artificial Intelligence Researcher 701 7 14 3.43 6 85.7% 57.1%
16 Sánchez, César male Artificial Intelligence, Computational Theory and Mathematics Leading researcher 696 55 158 1.74 31 74.7% 33.5%
17 Kotzias, Platon male Signal Processing, Computer Networks and Communications Researcher 685 13 27 4.73 12 33.3% 55.6%
18 Lopez-Garcia, Pedro male Artificial Intelligence, Hardware and Architecture Leading researcher 673 32 127 1.81 18 39.4% 14.2%
19 Capretto, Margarita female Information Systems, Artificial Intelligence, Computer Networks and Communications Researcher 645 6 13 1.65 5 69.2% 7.7%
20 Molina, Facundo male Software Researcher 640 10 26 0.71 4 65.4% 38.5%
21 Sebastián González, Silvia female Information Systems Researcher 631 5 8 4.94 3 75.0% 12.5%
22 Vila, Pepe male Artificial Intelligence Researcher 629 8 14 2.20 4 100.0% 42.9%
23 Morales, José F. male Artificial Intelligence Senior researcher 615 28 93 2.04 13 31.2% 17.2%
24 Doudali, Thaleia Dimitra male Computer Networks and Communications Researcher 598 8 19 0.98 1 89.5% 26.3%
25 Macías, Fernando male Software, Information Systems Researcher 597 12 26 1.03 4 61.5% 26.9%
900
One Index
 BARTHE, Gilles PhD   0000-0002-3853-1777 455 docs (1995 - 2024)  
Privacy-Preserving Computation , Searchable Encryption , Security Analysis , Pairing-based Cryptography , Type Inference
897
One Index
 Caballero, Juan PhD   0000-0003-2962-1348 86 docs (2006 - 2023)  
Security Analysis , Botnet Detection , Code (set theory) , Intrusion Detection , Source Code Analysis
877
One Index
 Strub, Pierre-Yves PhD   0000-0002-8196-7875 117 docs (2001 - 2024)  
Proof assistant , Privacy-Preserving Computation , Secure Multi-party Computation , Differential Privacy , Implementation
851
One Index
 Gorla, Alessandra PhD   0000-0002-6711-3080 77 docs (2007 - 2024)  
Workaround , Software Architecture , Code (set theory) , Software Reliability Modeling , Self-Adaptive Systems
833
One Index
 Fiore, Dario PhD   0000-0001-7274-6600 138 docs (2007 - 2024)  
Homomorphic Encryption , Secure Multi-party Computation , Searchable Encryption , Privacy-Preserving Computation , Attribute-Based Encryption
827
One Index
 Gotsman, Alexey PhD 92 docs (2005 - 2024)  
Consistency , Transactional Memory , Linearizability , Liveness , Programmer
762
One Index
 Nanevski, Aleksandar PhD   0000-0002-4851-1075 79 docs (2001 - 2023)  
Type theory , Separation Logic , Constraint Logic Programming , Modal Logics , Nonmonotonic Reasoning
757
One Index
 Gomez, Gibran   0000-0002-1510-5599 10 docs (2021 - 2023)  
Cybercrime , Intrusion Detection , Leverage (statistics) , Traffic Analysis , Botnet Detection
756
One Index
 Vazou, Niki PhD   0000-0003-0732-5476 59 docs (2011 - 2024)  
Haskell , Model Checking , Type Inference , Formal Verification , Soundness
742
One Index
 Moreno-Sanchez, Pedro PhD   0000-0003-2315-7839 79 docs (1998 - 2024)  
Blockchain , Searchable Encryption , Homomorphic Encryption , Lattice-based Cryptography , Anonymity
725
One Index
 Giunta, Emanuele   0000-0001-5294-6648 9 docs (2022 - 2024)  
Attribute-Based Encryption , Searchable Encryption , Homomorphic Encryption , Impossibility , Image Encryption
720
One Index
 Ganty, Pierre PhD   0000-0002-3625-6003 97 docs (2002 - 2024)  
Model Checking , Combinatorics on Words , Abstract Interpretation , Synchronizing Automata , Abstraction
719
One Index
 Cascudo, Ignacio PhD   0000-0001-5520-5386 56 docs (2008 - 2024)  
Privacy-Preserving Computation , Secure Multi-party Computation , Searchable Encryption , Homomorphic Encryption , Attribute-Based Encryption
717
One Index
 Kolonelos, Dimitris   0000-0001-6555-0589 16 docs (2020 - 2024)  
Attribute-Based Encryption , Homomorphic Encryption , Searchable Encryption , Zero-Knowledge Proofs , Lattice-based Cryptography
701
One Index
 Tucker, Ida PhD   0000-0003-4895-5896 14 docs (2018 - 2023)  
Homomorphic Encryption , Searchable Encryption , Secure Multi-party Computation , Privacy-Preserving Computation , Attribute-Based Encryption
696
One Index
 Sánchez, César PhD   0000-0003-3927-4773 158 docs (1970 - 2024)  
Runtime Verification , Model Checking , Safety Verification , TRACE (psycholinguistics) , Temporal Logic
685
One Index
 Kotzias, Platon PhD   0000-0003-3375-6069 27 docs (2012 - 2023)  
Security Analysis , Intrusion Detection , Android Malware , Botnet Detection , Behavioral Analysis
673
One Index
 Lopez-Garcia, Pedro PhD   0000-0002-1092-2071 127 docs (1993 - 2024)  
Performance Optimization , Temporal Logic , Abstract Interpretation , Programming Language Semantics , Profiling (computer programming)
645
One Index
 Capretto, Margarita PhD   0000-0003-2329-3769 13 docs (2019 - 2024)  
Blockchain , Implementation , Epoch (astronomy) , Smart Contracts , Smart contract
640
One Index
 Molina, Facundo PhD   0000-0002-2441-1555 26 docs (2015 - 2024)  
Assertion , Software Defect Prediction , Software Reliability Modeling , Requirements Traceability , Testing-Effort Dependent Models
631
One Index
 Sebastián González, Silvia PhD   0000-0001-7675-0535 8 docs (2020 - 2024)  
User Profiling , Artifact (error) , Identification (biology) , Publication , Compromise
629
One Index
 Vila, Pepe PhD 14 docs (2017 - 2021)  
Cache Attacks , Side-Channel Attacks , Eviction , Thrashing , Translation lookaside buffer
615
One Index
 Morales, José F. PhD   0000-0001-9782-8135 93 docs (1997 - 2024)  
Programming Language Semantics , Assertion , Source Code Analysis , Abstract Interpretation , Constraint Logic Programming
598
One Index
 Doudali, Thaleia Dimitra PhD   0000-0002-3197-839X 19 docs (2017 - 2024)  
Performance Optimization , Memory Systems , Heterogeneous Computing , Flash Memory , High-Performance Computing
597
One Index
 Macías, Fernando PhD   0000-0002-6442-6997 26 docs (2013 - 2023)  
Model-Driven Engineering , Metamodeling , Model Transformation , Abstraction , Model Consistency