( en | de | ru )

 

Disambiguierung von "Turini, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Flexible Environment for Program Development Based on a Symbolic Interpreter.

, , , , , , , und . ICSE, Seite 251-264. IEEE Computer Society, (1979)

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.

Franco Nüske

Franco Nüske

Franco Kämmer

Franco Caldarone

Franco Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

The Sharing of Partial Results in Nondeterministic Computations., , und . AIMSA, Seite 93-103. North-Holland, (1986)Measuring Discrimination in Socially-Sensitive Decision Records., , und . SDM, Seite 581-592. SIAM, (2009)Spreadviews., , und . DEXA, Seite 525-530. Springer-Verlag, Wien, (1991)A Survey Of Methods For Explaining Black Box Models., , , , und . CoRR, (2018)MuTACLP: A Language for Temporal Reasoning with Multiple Theories., , , und . Computational Logic: Logic Programming and Beyond, Volume 2408 von Lecture Notes in Computer Science, Seite 1-40. Springer, (2002)A High Level Analysis Tool for Concurrent Programs., und . ICPP, Seite 293-302. IEEE Computer Society, (1983)Association Analysis of Semi-structured Data for Discrimination Discovery in Business., und . DMIN, Seite 193-199. CSREA Press, (2010)A framework for specifying and verifying the behaviour of open systems., , und . J. Log. Algebraic Methods Program., 63 (2): 215-240 (2005)RSF: A Formalism for Executable Requirement Specifications., , , und . IEEE Trans. Software Eng., 16 (11): 1235-1246 (1990)An Exploration of Learning Processes as Process Maps in FLOSS Repositories., , und . CoRR, (2023)