PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Inverardi, Paola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Comprehensive Setting for Matching and Unification over Iterative Terms.

, , und . Fundam. Inform., 39 (3): 273-304 (1999)

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.

Keine Personen gefunden für den Autorennamen Inverardi, Paola
Eine Person hinzufügen mit dem Namen Inverardi, Paola
 

Weitere Publikationen von Autoren mit dem selben Namen

A Rewriting Strategy to Verify Observational Congruence., und . Inf. Process. Lett., 35 (4): 191-199 (1990)Deadlock-free software architectures for COM/DCOM Applications., und . Journal of Systems and Software, 65 (3): 173-183 (2003)Software architecture-based analysis and testing: a look into achievements and future challenges., , und . Computing, 95 (8): 633-648 (2013)A Comprehensive Setting for Matching and Unification over Iterative Terms., , und . Fundam. Inform., 39 (3): 273-304 (1999)CHOREOS: Large scale choreographies for the future internet., , und . CSMR-WCRE, Seite 391-394. IEEE Computer Society, (2014)A Framework for Analyzing and Testing the Performance of Software Services., , , , , und . ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 206-220. Springer, (2008)An approach to integration testing based on architectural descriptions., , , und . ICECCS, Seite 77-. IEEE Computer Society, (1997)Introduction to Special Issue on Distributed and Mobile Software Engineering., und . Autom. Softw. Eng., 11 (3): 203-205 (2004)Graphical scenarios for specifying temporal properties: an automated approach., , und . Autom. Softw. Eng., 14 (3): 293-340 (2007)PLASTIC: Providing lightweight & adaptable service technology for pervasive information & communication., , , , , und . ASE Workshops, Seite 65-70. IEEE, (2008)