 | 2012 |
|---|
| 34 |       | Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
Simplification Rules for Intuitionistic Propositional Tableaux.
ACM Trans. Comput. Log. 13(2): 14 (2012) |
| 33 | | Nenad Filipovic,
Velibor Isailovic,
Tijana Dukic,
Mauro Ferrari,
Milos Kojic:
Multiscale Modeling of Circular and Elliptical Particles in Laminar Shear Flow.
IEEE Trans. Biomed. Engineering 59(1): 50-53 (2012) |
| 2011 |
|---|
| 32 | | Andrea Moglia,
Giuseppe Turini,
Vincenzo Ferrari,
Mauro Ferrari,
Franco Mosca:
Patient Specific Surgical Simulator for the Evaluation of the Movability of Bimanual Robotic Arms.
MMVR 2011: 379-385 |
| 2010 |
|---|
| 31 | | Loris Bozzato,
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
A Decidable Constructive Description Logic.
JELIA 2010: 51-63 |
| 30 | | Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
fCube: An Efficient Prover for Intuitionistic Propositional Logic.
LPAR (Yogyakarta) 2010: 294-301 |
| 29 | | Loris Bozzato,
Mauro Ferrari:
Composition of Semantic Web Services in a Constructive Description Logic.
RR 2010: 223-226 |
| 28 | | Loris Bozzato,
Mauro Ferrari:
A Note on Semantic Web Services Specification and Composition in Constructive Description Logics
CoRR abs/1007.2364: (2010) |
| 27 | | Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
BCDL\boldsymbol {\cal BC\!D\!L}: Basic Constructive Description Logic.
J. Autom. Reasoning 44(4): 371-399 (2010) |
| 2009 |
|---|
| 26 | | Loris Bozzato,
Mauro Ferrari,
Paola Villa:
Actions Over a Constructive Semantics for Description Logics.
Fundam. Inform. 96(3): 253-269 (2009) |
| 25 | | Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications.
Journal of Applied Non-Classical Logics 19(2): 149-166 (2009) |
| 2008 |
|---|
| 24 | | Loris Bozzato,
Mauro Ferrari,
Paola Villa:
Actions over a Constructive Semantics for ALC.
Description Logics 2008 |
| 23 | | Loris Bozzato,
Mauro Ferrari,
Alberto Trombetta:
Building a Domain Ontology from Glossaries: A General Methodology.
SWAP 2008 |
| 2007 |
|---|
| 22 | | Loris Bozzato,
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
A Constructive Semantics for ALC.
Description Logics 2007 |
| 21 | | Mauro Ferrari,
Camillo Fiorentini,
Alberto Momigliano,
Mario Ornaghi:
Snapshot Generation in a Constructive Object-Oriented Modeling Language.
LOPSTR 2007: 169-184 |
| 2006 |
|---|
| 20 | | Alessandro Avellone,
Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino,
Ugo Moscato:
ESBC: an application for computing stabilization bounds.
Electr. Notes Theor. Comput. Sci. 153(1): 23-33 (2006) |
| 19 | | Mario Ornaghi,
Marco Benini,
Mauro Ferrari,
Camillo Fiorentini,
Alberto Momigliano:
A Constructive Object Oriented Modeling Language for Information Systems.
Electr. Notes Theor. Comput. Sci. 153(1): 55-75 (2006) |
| 2005 |
|---|
| 18 | | Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
On the complexity of the disjunction property in intuitionistic and modal logics.
ACM Trans. Comput. Log. 6(3): 519-538 (2005) |
| 2004 |
|---|
| 17 | | Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
A secondary semantics for Second Order Intuitionistic Propositional Logic.
Math. Log. Q. 50(2): 202-210 (2004) |
| 2003 |
|---|
| 16 | | Mauro Ferrari,
Pierangelo Miglioli,
Mario Ornaghi:
On Uniformly Constructive and Semiconstructive Formal Systems.
Logic Journal of the IGPL 11(1): 1-49 (2003) |
| 15 | | Mauro Ferrari,
Camillo Fiorentini:
A Proof-theoretical Analysis of Semiconstructive Intermediate Theories.
Studia Logica 73(1): 21-49 (2003) |
| 2002 |
|---|
| 14 | | Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics.
LPAR 2002: 175-189 |
| 13 | | Mauro Ferrari,
Camillo Fiorentini,
Guido Fiorino:
Tableau Calculi for the Logics of Finite k-Ary Trees.
TABLEAUX 2002: 115-129 |
| 2001 |
|---|
| 12 | | Mauro Ferrari,
Camillo Fiorentini,
Mario Ornaghi:
Extracting Exact Time Bounds from Logical Proofs.
LOPSTR 2001: 245-266 |
| 11 | | Mauro Ferrari,
Camillo Fiorentini,
Pierangelo Miglioli:
Extracting information from intermediate semiconstructive HA-systems - extended abstract.
Mathematical Structures in Computer Science 11(4): 589-596 (2001) |
| 2000 |
|---|
| 10 | | Alessandro Avellone,
Mauro Ferrari,
Camillo Fiorentini:
A formal framework for synthesis and verification of logic programs.
LOPSTR 2000 |
| 9 | | Alessandro Avellone,
Mauro Ferrari,
Camillo Fiorentini:
A Formal Framework for Synthesis and Verification of Logic Programs.
LOPSTR (LNCS 2042: Selected Papers) 2000: 1-17 |
| 8 | | Agata Ciabattoni,
Mauro Ferrari:
Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics.
TABLEAUX 2000: 160-174 |
| 1999 |
|---|
| 7 | | Alessandro Avellone,
Mauro Ferrari,
Pierangelo Miglioli:
Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics.
Logic Journal of the IGPL 7(4): 447-480 (1999) |
| 1998 |
|---|
| 6 | | Alessandro Avellone,
Mauro Ferrari,
Pierangelo Miglioli:
Synthesis of Programs in Abstract Data Types.
LOPSTR 1998: 81-100 |
| 1997 |
|---|
| 5 | | Mauro Ferrari:
Cut-Free Tableau Calculi for some Intuitionistic Modal Logics.
Studia Logica 59(3): 303-330 (1997) |
| 1996 |
|---|
| 4 | | Alessandro Avellone,
Mauro Ferrari:
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics.
TABLEAUX 1996: 48-64 |
| 1995 |
|---|
| 3 | | Mauro Ferrari,
Pierangelo Miglioli:
A Method to Single out Maximal Propositional Logics with the Disjunction Property I.
Ann. Pure Appl. Logic 76(1): 1-46 (1995) |
| 2 | | Mauro Ferrari,
Pierangelo Miglioli:
A Method to Single out Maximal Propositional Logics with the Disjunction Property II.
Ann. Pure Appl. Logic 76(2): 117-168 (1995) |
| 1993 |
|---|
| 1 | | Mauro Ferrari,
Pierangelo Miglioli:
Counting the Maximal Intermediate Constructive Logics.
J. Symb. Log. 58(4): 1365-1401 (1993) |
Data released under the ODC-BY 1.0 license — See also our legal information page