( en | de | ru )

 

Disambiguierung von "Stachtiari, Emmanouela"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Summarization Meets Visualization on Online Social Networks.

, , , und . Web Intelligence, Seite 475-478. IEEE Computer Society, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Emmanouela Grypeou

 

Weitere Publikationen von Autoren mit dem selben Namen

Architecture-Based Design: A Satellite On-Board Software Case Study., , , , , und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 260-279. (2016)Summarization Meets Visualization on Online Social Networks., , , und . Web Intelligence, Seite 475-478. IEEE Computer Society, (2011)Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework., , und . ICWS, Seite 319-326. IEEE Computer Society, (2012)Correct-by-Construction Web Service Architecture., , , , und . SOSE, Seite 47-58. IEEE Computer Society, (2014)Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection., , , , und . CRITIS, Volume 7722 von Lecture Notes in Computer Science, Seite 143-154. Springer, (2012)Solving Schedulability as a Search Space Problem with Decision Diagrams., , , und . SSBSE, Volume 12420 von Lecture Notes in Computer Science, Seite 73-87. Springer, (2020)Correct by construction model based design for systems and software. Aristotle University Of Thessaloniki, Greece, (2018)National Archive of PhD Theses: oai:10442/44836.Early validation of system requirements and design through correctness-by-construction., , , , und . J. Syst. Softw., (2018)VeriSolid: Correct-by-Design Smart Contracts for Ethereum., , , und . Financial Cryptography, Volume 11598 von Lecture Notes in Computer Science, Seite 446-465. Springer, (2019)Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources., , , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 275-280. Springer, (2015)