Shane Ó Conchúir

Shane Ó Conchúir

(Previously) Specialist, University of California San Francisco
shaneoconnor.tech üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 962
Computational biology LIMS Bioinformatics Concurrency theory Bigraphs
Michele Sevegnani

Michele Sevegnani

Senior Lecturer, School of Computing Science, University of Glasgow
glasgow.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 571
Bigraphs Digital Twin IoT Formal Methods Multi-perspective modelling and verification
Gian Perrone

Gian Perrone

Nav Technologies, Inc.
nav.com üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 387
Concurrency Formal Methods Process Calculi Refinement Bigraphs
Zakaria BENZADRI

Zakaria BENZADRI

University of Constantine 2 –Abdelhamid Mehri, LIRE Laboratory, Constantine, ALGERIA
univ-constantine2.dz üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 184
Cloud Computing Formal Methods Bigraphs SoS
Espen Højsgaard

Espen Højsgaard

espen.dk
hojsgaard.dk üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 172
bigraphs concurrency programming languages types
amal gassara

amal gassara

ReDCAD, University of Sfax, BP 1173, 3038 Sfax, Tunisia
redcad.org üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 91
Computer science software architecture Graphs Bigraphs
Dominik Grzelak

Dominik Grzelak

Software Technology Group, Technische Universität Dresden
tu-dresden.de üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 61
Model-Driven Software Development Reactive Systems Bigraphs Formal Methods Statistical Computing
oussama kamel

oussama kamel

Faculty of Medicine, University Constantine 3 Salah Boubnider
univ-constantine3.dz üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 43
Cloud computing Bigraphs Formal methods
Luke Whittington

Luke Whittington

University of Essex
essex.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Alıntılanma sayısı: 37
Intelligent Environments Bigraphs