Anastasia Mavridou and Cited - Free people check

(1 - 8 from 8

)

A Situational Awareness Architecture for the Smart Grid

link.springer.com

by A Mavridou · · Cited by 22 — Anastasia Mavridou &; Mauricio Papa. Conference paper Accesses. 4 Citations. Part of the Lecture Notes of the Institute for Computer Sciences, ... › chapter

All web results to the name "Anastasia Mavridou"

Automated formalization of structured natural language OUCI

ouci.dntb.gov.ua

by D Giannakopoulou · · Cited by 9 — Authors: Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann. Funder National Aeronautics and Space Administration ... › works › lDqKVjY9

Blockchains for Transactive Energy Systems - OSTI.GOV

www.osti.gov

by S Eisele · · Cited by 9 — Anastasia Mavridou. KBR / NASA Ames Research Center. Abstract—The emergence of blockchains and smart contracts have renewed interest in electrical. › pages › servlets › purl

Bridging the Gap Between Requirements and Hal-Inria

hal.inria.fr

by A Mavridou · · Cited by 11 — Anastasia Mavridou 1 Hamza Bourbouh 2 Pierre Loic Garoche 3, 2 Dimitra Giannakopoulou 4 Thomas Pessburger 4 Johann Schumann 2. Détails. 1 KBR / NASA Ames. › hal

Bridging the Gap Between Requirements and Simulink Model ...

hal.archives-ouvertes.fr

by A Mavridou · · Cited by 11 — Anastasia Mavridou, Hamza Bourbouh, Pierre Loic Garoche, Dimitra Giannakopoulou, Thomas Pessburger, et al.. Bridging the Gap Between Requirements and ... › hal

Deadlock Freedom for Asynchronous and Cyclic Process ...

research.rug.nl

by B van den Heuvel · · Cited by 5 — Editors, Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas. Publisher, Open Publishing Association. Pages, › publications › deadlock-freedo...

Modular Transformation of Java Exceptions Modulo Errors

research.utwente.nl

by R Rubbens · · Cited by 1 — Editors, Alberto Lluch Lafuente, Anastasia Mavridou. Publisher, Springer. Pages, Number of pages, 18. › publications › modular-tra...

PSY-TaLiRo: A Python Toolbox for Search-Based Test ...

asu.pure.elsevier.com

by Q Thibeault · · Cited by 1 — Editors, Alberto Lluch Lafuente, Anastasia Mavridou. Publisher, Springer Science and Business Media Deutschland GmbH. Pages, Number of pages, 9. › publications › psy-taliro-...

Related search requests for Anastasia Mavridou

Eduard Baranov
Janos Sztipanovits
Panagiotis Katsaros

Emmanouela Stachtiari
Dimitra Giannakopoulou
Joseph Sifakis

Mauricio Papa
Pierre Loic
Abhishek Dubey

People
Forename "Anastasia" (8576)
Name "Mavridou" (31)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Anastasia Mavridou and Cited Free People Check