This Organisation is not specific to Greece. For more details, please visit OpenAIRE Explore.

arrow_backΕπιστροφή στα αποτελέσματα

shareΚοινοποίηση

codeΕνσωμάτωση

downloadΛήψη

Με την υποστήριξη του OpenAIRE Graph

Τελευταία ενημέρωση εγγραφών στο OpenAIRE: Aug 12, 2026

Βρήκατε κάποιο πρόβλημα; Δώστε μας σχόλια

corporate_fareΟργανισμός

Red Hats Labs

Έργα(9)

assignment_turned_inΈργο
From Data Types to Session Types---A Basis for Concurrency and Distribution
Ολοκληρωμένο
Μαΐ 2013 - Νοε 2020
UK Research and InnovationEPSRCΣυνεισφορά Χρηματοδότη: 3.956.090,00 £ Επιχορήγηση: EP/K034413/1
assignment_turned_inΈργο
DERC: Digital Economy Research Centre
Ολοκληρωμένο
Νοε 2015 - Δεκ 2021
UK Research and InnovationEPSRCΣυνεισφορά Χρηματοδότη: 4.051.360,00 £ Επιχορήγηση: EP/M023001/1
assignment_turned_inΈργο
Turtles: Protocol-Based Foundations for Distributed Multiagent Systems
Ολοκληρωμένο
Σεπ 2022 - Απρ 2023
UK Research and InnovationEPSRCΣυνεισφορά Χρηματοδότη: 214.189,00 £ Επιχορήγηση: EP/N027833/2
assignment_turned_inΈργο
EPSRC Centre for Doctoral Training in Cloud Computing for Big Data
Ολοκληρωμένο
Απρ 2014 - Οκτ 2024
UK Research and InnovationEPSRCΣυνεισφορά Χρηματοδότη: 3.523.120,00 £ Επιχορήγηση: EP/L015358/1
assignment_turned_inΈργο
Conversation-Based Governance for Distributed Systems by Multiparty Session Types
Ολοκληρωμένο
Ιουν 2013 - Ιουν 2018
UK Research and InnovationEPSRCΣυνεισφορά Χρηματοδότη: 1.500.660,00 £ Επιχορήγηση: EP/K011715/1

chevron_left
1
2
chevron_right

Πηγές δεδομένων

Πρόσφατες δημοσιεύσεις

Πρόσφατα ερευνητικά δεδομένα

Πρόσφατο ερευνητικό λογισμικό

Πρόσφατα άλλα ερευνητικά αποτελέσματα

Μητρικοί οργανισμοί

Μη διαθέσιμο

Θυγατρικοί οργανισμοί

Μη διαθέσιμο

Εκδόσεις (1)

corporate_fareΟργανισμός
Red Hats Labs

Ερευνητικό αποτύπωμα

Σύνολο ερευνητικών αποτελεσμάτων

Ερευνητικά αποτελέσματα

Ανοιχτή πρόσβαση

Τελευταία 5 χρόνια

Πεδία επιστήμης

ΣΒΑ

Πηγές δεδομένων

Έργα

Σύνολο ερευνητικών αποτελεσμάτων 9

UK Research and Innovation9