Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Introduction to special section on formal methods in pervasive computing.

M. Bakhouya, R. Campbell, A. Coronato, G. Pietro, und A. Ranganathan. TAAS, 7 (1): 6:1-6:9 (2012)

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.

Jörg Desel

Das ist InformatikJ. Desel (Hrsg.) Springer, (2001)

Das ist InformatikJ. Desel (Hrsg.) Springer, (2001)Hilfreiche Hilfe Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale WissenD. Iglezakis. Kath. Universität Eichstätt-Ingolstadt, Aachen, (2007)Hilfreiche Hilfe Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale WissenD. Iglezakis. Kath. Universität Eichstätt-Ingolstadt, Aachen, (2007)

Univ. -Prof. Dr. Gerd de Bruyn University of Stuttgart

Anda Degeratu University of Stuttgart

Daniel Del Gaudio University of Stuttgart

Ph. D. Luiz de Oliveira Chamon University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Formal Design of Ambient Intelligence Applications.A. Coronato, und G. Pietro. IEEE Computer, 43 (12): 60-68 (2010)A System for Semantic-Based Access Control.F. Amato, N. Mazzocca, G. Pietro, und M. Esposito. 3PGCIC, Seite 442-446. IEEE, (2013)Non-Invasive Estimation of Blood Pressure through Genetic Programming - Preliminary Results.G. Sannino, I. Falco, und G. Pietro. BIODEVICES, Seite 241-249. SciTePress, (2015)An Easy Approach for the Classification of Children's Voices based on the Fundamental Frequency Estimation.L. Verde, G. Pietro, und G. Sannino. HEALTHINF, Seite 570-577. SciTePress, (2016)Enhancing EHR Systems Interoperability by Big Data Techniques.N. Cassavia, M. Ciampi, G. Pietro, und E. Masciari. ITBAM, Volume 9832 von Lecture Notes in Computer Science, Seite 34-48. Springer, (2016)GLM-CDS: A Standards-Based Verifiable Guideline Model for Decision Support in Clinical Applications.M. Iannaccone, M. Esposito, und G. Pietro. KR4HC/ProHealth, Volume 8268 von Lecture Notes in Computer Science, Seite 143-157. Springer, (2013)Supporting Tools for Designing-By-Contract in Component-Based Applications.A. Coronato, A. d'Acierno, D. D'Ambrosio, und G. Pietro. Metainformatics, Volume 3511 von Lecture Notes in Computer Science, Seite 1-13. Springer, (2004)Location and Tracking Services for a Meta-UbiComp Environment.A. Coronato, und G. Pietro. Metainformatics, Volume 3511 von Lecture Notes in Computer Science, Seite 179-191. Springer, (2004)The Split-Proxy Approach: A New Architecture for Parallel Video Servers.G. Pietro, und M. Lerro. ACPC, Volume 1557 von Lecture Notes in Computer Science, Seite 327-336. Springer, (1999)An Effective Corpus-Based Question Answering Pipeline for Italian.E. Damiano, R. Spinelli, M. Esposito, und G. Pietro. IIMSS, Volume 76 von Smart Innovation, Systems and Technologies, Seite 80-90. Springer, (2017)