BENINI, MARCO
BENINI, MARCO
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
A Constructive Mathematics approach for Natural Language formal grammars
2009-01-01 Benini, Marco; Gobbo, Federico
A Constructive Modeling Language for Object Oriented Information Systems
2005-01-01 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A Constructive Modeling Language for Object Oriented Information Systems
2006-01-01 Ornaghi, M; Benini, Marco; Ferrari, Mauro; Fiorentini, C; Momigliano, A.
A general syntax for nonrecursive Higher Inductive Types
2020-01-01 Girardi, Marco; Zunino, Roberto; Benini, Marco
A general syntax for nonrecursive higher inductive types
2020-01-01 Girardi, M.; Zunino, R.; Benini, M.
A Mathematical Derivation of a Risk Assessment Procedure
2010-01-01 Benini, Marco; Sicari, SABRINA SOPHY
A Mathematical Framework for Risk Assessment
2007-01-01 Benini, Marco; Sicari, SABRINA SOPHY
A Model for Short-Term Content Adaptation
2005-01-01 Benini, Marco; Trombetta, Alberto; Acquaviva, M.
A Power Conservative Underwater Localization Protocol
2008-01-01 Sicari, SABRINA SOPHY; Benini, Marco
A proof-theoretical semantics for homotopy type theory
2020-01-01 Benini, Marco; Bonacina, Roberta
Abstract Mathematics for Actual Computation: Hilbert's Program in the 21st Century
2014-01-01 Benini, Marco
Adaptive Strategies in Web-Based Learning Systems: A Comparative Survey
2005-01-01 Acquaviva, M; Benini, Marco
Adpositional argumentation: how logic originates in natural argumentative discourse
2022-01-01 Gobbo, Federico; Benini, Marco; Wagemans, Jean H. M.
Algorithms and their explanations
2014-01-01 Benini, Marco; Gobbo, Federico
An Ad-Hoc Semantics to Study Structural Properties of Types
2021-01-01 Benini, Marco; Bonacina, Roberta
Annotation with adpositional argumentation
2020-01-01 Gobbo, Federico; Benini, Marco; Wagemans, Jean H. M.
Assessing the risk to intercept VoIP calls
2008-01-01 Benini, Marco; Sicari, SABRINA SOPHY
Barendregt's Lambda-Cube in Isabelle
1995-01-01 Benini, Marco
Complex Arguments in Adpositional Argumentation
2021-01-01 Gobbo, F.; Benini, M.; Wagemans, J. H. M.
Computer Arithmetic: Logic, Calculation and Rewriting
1999-01-01 Benini, Marco; Nowotka, D.; Pulley, C.