Parte II: Risultati della ricerca


Sezione D - Produzione scientifica

Altra tipologia

Le pubblicazioni visualizzate in questo quadro sono ordinate per Classificazione, Titolo. Vengono visualizzati gli autori appartenenti al Dipartimento. Per consultare la lista completa delle informazioni relative alle pubblicazioni cliccare sul nome autori. Il campo "Provenienza del dato", se presente, indica il CRIS di Ateneo di provenienza del dato.

N.ClassificazionePubblicazione
1. Software

Della Mea V (2011) "ICFMachine"

Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: ING-INF/05 Provenienza del dato: UGOV UDINE
2. Altro

VERMIGLIO R (2011) "An age-structured population dynamics model for several species with finite life-span"

Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/08 Provenienza del dato: UGOV UDINE
3. Altro

C. Piazza (2011) "Composing FOCoRe Hybrid Automata"

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV UDINE
4. Altro

Furio Honsell, Marina Lenisa, Ivan Scagnetto (2011) "LLF – A Logical-Logical Framework"

Lingua: ENG Co-autori stranieri: Si SSD di afferenza degli autori del Dipartimento: INF/01 Provenienza del dato: UGOV UDINE
5. Altro

Parlamento F. (2011) "Truth-value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality"

Lingua: ENG Co-autori stranieri: No SSD di afferenza degli autori del Dipartimento: MAT/01 Provenienza del dato: UGOV UDINE

Sezione E - Internazionalizzazione



Sezione F - Docenti senza produzione scientifica


Sezione G - Bandi competitivi


Sezione H - Responsabilità e riconoscimenti scientifici