Sfoglia per Autore
Planning for Autonomous Planetary Vehicles
2010-01-01 Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F
A PDDL+ Benchmark Problem: The Batch Chemical Plant
2010-06-12 Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F
Solution to the range problem for combinatory logic
2011-01-01 Intrigila, B; Statman, R
Quasi-polynomials, linear Diophantine equations and semi-linear sets
2012-01-01 D'Alessandro, F; Intrigila, B; Varricchio, S
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies
2013-01-01 Della Penna, G; Del Sordo, R; Intrigila, B; Mezzopera, N; Pazienza, Mt
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process
2013-01-01 Cardinale Ciccotti, G; Della Penna, G; Intrigila, B; Magazzeni, D; Orefice, S; Del Sordo, R
On the commutative equivalence of bounded context-free and regular languages: The code case
2015-01-01 D'Alessandro, F; Intrigila, B
On the commutative equivalence of semi-linear sets of Nk
2015-01-01 D'Alessandro, F; Intrigila, B
On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case
2015-01-01 D'Alessandro, F; Intrigila, B
A BPMN-based automated approach for the analysis of healthcare processes
2016-01-01 Antonacci, G; Calabrese, A; D'Ambrogio, A; Giglio, A; Intrigila, B; Ghiron, N
Refutation of sallé's longstanding conjecture
2017-09-03 Intrigila, B; Manzonetto, G; Polonsky, A
Fixed points in lambda calculus. An eccentric survey of problems and solutions
2018-01-01 Intrigila, B; Statman, R
Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness
2018-10-01 Intrigila, B; Luigi, M; Intrigila, B; Mazzucchelli, L
Two factor authentication for e-government services using hardware-like One Time Password generators
2019-01-01 Penna, Gd; Frasca, P; Intrigila, B
Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture
2019-01-29 Intrigila, B; Manzonetto, G; Polonsky, A
Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification
2020-02-20 Alrousan, M; Intrigila, B
A Comparative Analysis of Biometrics Types: Literature Review
2020-12-24 Al Rousan, M; Intrigila, B
A lightweight BPMN extension for business process-oriented requirements engineering
2021-01-01 Intrigila, B; Della Penna, G; D'Ambrogio, A
Data di pubblicazione | Titolo | Autore(i) | Tipo | File |
---|---|---|---|---|
1-gen-2010 | Planning for Autonomous Planetary Vehicles | Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F | Intervento a convegno | |
12-giu-2010 | A PDDL+ Benchmark Problem: The Batch Chemical Plant | Della Penna, G; Intrigila, B; Magazzeni, D; Mercorio, F | Intervento a convegno | |
1-gen-2011 | Solution to the range problem for combinatory logic | Intrigila, B; Statman, R | Articolo su rivista | |
1-gen-2012 | Quasi-polynomials, linear Diophantine equations and semi-linear sets | D'Alessandro, F; Intrigila, B; Varricchio, S | Articolo su rivista | |
1-gen-2013 | A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies | Della Penna, G; Del Sordo, R; Intrigila, B; Mezzopera, N; Pazienza, Mt | Intervento a convegno | |
1-gen-2013 | Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process | Cardinale Ciccotti, G; Della Penna, G; Intrigila, B; Magazzeni, D; Orefice, S; Del Sordo, R | Articolo su rivista | |
1-gen-2015 | On the commutative equivalence of bounded context-free and regular languages: The code case | D'Alessandro, F; Intrigila, B | Articolo su rivista | |
1-gen-2015 | On the commutative equivalence of semi-linear sets of Nk | D'Alessandro, F; Intrigila, B | Articolo su rivista | |
1-gen-2015 | On the commutative equivalence of bounded context-free and regular languages: Thesemi-linear case | D'Alessandro, F; Intrigila, B | Articolo su rivista | |
1-gen-2016 | A BPMN-based automated approach for the analysis of healthcare processes | Antonacci, G; Calabrese, A; D'Ambrogio, A; Giglio, A; Intrigila, B; Ghiron, N | Intervento a convegno | |
3-set-2017 | Refutation of sallé's longstanding conjecture | Intrigila, B; Manzonetto, G; Polonsky, A | Intervento a convegno | |
1-gen-2018 | Fixed points in lambda calculus. An eccentric survey of problems and solutions | Intrigila, B; Statman, R | Articolo su rivista | |
1-ott-2018 | Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness | Intrigila, B; Luigi, M; Intrigila, B; Mazzucchelli, L | Intervento a convegno | |
1-gen-2019 | Two factor authentication for e-government services using hardware-like One Time Password generators | Penna, Gd; Frasca, P; Intrigila, B | Articolo su rivista | |
29-gen-2019 | Degrees of extensionality in the theory of Böhm trees and sallé’s conjecture | Intrigila, B; Manzonetto, G; Polonsky, A | Articolo su rivista | |
20-feb-2020 | Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification | Alrousan, M; Intrigila, B | Articolo su rivista | |
24-dic-2020 | A Comparative Analysis of Biometrics Types: Literature Review | Al Rousan, M; Intrigila, B | Articolo su rivista | |
1-gen-2021 | A lightweight BPMN extension for business process-oriented requirements engineering | Intrigila, B; Della Penna, G; D'Ambrogio, A | Articolo su rivista |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile