×
Edit Profile (opens in new tab)

Ornaghi, Mario

Co-Author Distance
Author ID: ornaghi.mario Recent zbMATH articles by "Ornaghi, Mario"
Published as: Ornaghi, Mario; Ornaghi, M.
Documents Indexed: 39 Publications since 1974
1 Contribution as Editor
Biographic References: 1 Publication
Co-Authors: 21 Co-Authors with 39 Joint Publications
413 Co-Co-Authors
all top 5

Co-Authors

1 single-authored
16 Miglioli, Pierangelo
15 Moscato, Ugo
12 Lau, Kung-Kiu
4 Usberti, Gabriele
3 Ferrari, Mauro
3 Fiorentini, Camillo
3 Momigliano, Alberto
2 Miglioli, P. A.
1 Avellone, Alessandro
1 Degli Antoni, Giovanni
1 Flener, Pierre
1 Kreitz, Christoph
1 Küster Filipe Bowles, Juliana
1 Lanzarone, Gaetano Aurelio
1 Marini, Daniele
1 Mundici, Daniele
1 Quazza, Silvia
1 Richardson, Julian
1 Tärnlund, Sten-Åke
1 Wang, Zheng
1 Yatsu, Hirokazu
all top 5

Serials

2 Notre Dame Journal of Formal Logic
2 Annales Societatis Mathematicae Polonae. Series IV
2 The Journal of Logic Programming
2 Journal of Symbolic Computation
2 Logic Journal of the IGPL
1 The Computer Journal. Section A / Section B
1 Studia Logica
1 Pocitace a Umela Inteligencia
1 Journal of Automated Reasoning
1 Journal of Logic and Computation
1 Lecture Notes in Computer Science

Fields

33 Computer science (68-XX)
23 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)
1 Information and communication theory, circuits (94-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

18 Publications have been cited 70 times in 50 Documents Cited by ▼ Year ▼
Some results on intermediate constructive logics. Zbl 0692.03014
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele
19
1989
A constructivism based on classical truth. Zbl 0667.03044
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Usberti, Gabriele
10
1989
An improved refutation system for intuitionistic predicate logic. Zbl 0814.03005
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
8
1994
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Zbl 0874.03009
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
7
1997
Abstract parametric classes and abstract data types defined by classical and constructive logical methods. Zbl 0822.68064
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
3
1994
Steadfast logic programs. Zbl 0937.68020
Lau, Kung-Kiu; Ornaghi, Mario; Tärnlund, Sten-Åke
3
1999
The relationship between logic programs and specifications - the subset example revisited. Zbl 0884.68031
Lau, Kung-Kiu; Ornaghi, Mario
3
1997
Generalized tableau systems for intermediate propositional logics. Zbl 1415.03014
Avellone, Alessandro; Moscato, Ugo; Miglioli, Pierangelo; Ornaghi, Mario
2
1997
Extracting exact time bounds from logical proofs. Zbl 1073.94528
Ferrari, Mauro; Fiorentini, Camillo; Ornaghi, Mario
2
2002
Top-down approach to the synthesis of programs. Zbl 0296.68017
Degli Antoni, G.; Miglioli, P. A.; Ornaghi, M.
2
1974
Specifying compositional units for correct program development in computational logic. Zbl 1080.68563
Lau, Kung-Kiu; Ornaghi, Mario
2
2004
An abstract formalization of correct schemas for program synthesis. Zbl 0959.68013
Flener, Pierre; Lau, Kung-Kiu; Ornaghi, Mario; Richardson, Julian
2
2000
Trees in Kripke models and in an intuitionistic refutation system. Zbl 0472.03048
Miglioli, P.; Moscato, U.; Ornaghi, M.
2
1981
Program construction by refinements preserving correctness. Zbl 0309.68024
Lanzarone, G. A.; Ornaghi, M.
1
1975
PAP: A logic programming system based on a constructive logic. Zbl 0645.68098
Miglioli, P.; Moscato, U.; Ornaghi, M.
1
1988
First order logic as a tool to solve and classify problems. Zbl 0329.68079
Marini, D.; Miglioli, P. A.; Ornaghi, M.
1
1975
Constructive theories with abstract data types for program synthesis. Zbl 0699.03013
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
1
1987
Snapshot generation in a constructive object-oriented modeling language. Zbl 1179.68029
Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario
1
2008
Snapshot generation in a constructive object-oriented modeling language. Zbl 1179.68029
Ferrari, Mauro; Fiorentini, Camillo; Momigliano, Alberto; Ornaghi, Mario
1
2008
Specifying compositional units for correct program development in computational logic. Zbl 1080.68563
Lau, Kung-Kiu; Ornaghi, Mario
2
2004
Extracting exact time bounds from logical proofs. Zbl 1073.94528
Ferrari, Mauro; Fiorentini, Camillo; Ornaghi, Mario
2
2002
An abstract formalization of correct schemas for program synthesis. Zbl 0959.68013
Flener, Pierre; Lau, Kung-Kiu; Ornaghi, Mario; Richardson, Julian
2
2000
Steadfast logic programs. Zbl 0937.68020
Lau, Kung-Kiu; Ornaghi, Mario; Tärnlund, Sten-Åke
3
1999
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic. Zbl 0874.03009
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
7
1997
The relationship between logic programs and specifications - the subset example revisited. Zbl 0884.68031
Lau, Kung-Kiu; Ornaghi, Mario
3
1997
Generalized tableau systems for intermediate propositional logics. Zbl 1415.03014
Avellone, Alessandro; Moscato, Ugo; Miglioli, Pierangelo; Ornaghi, Mario
2
1997
An improved refutation system for intuitionistic predicate logic. Zbl 0814.03005
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
8
1994
Abstract parametric classes and abstract data types defined by classical and constructive logical methods. Zbl 0822.68064
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
3
1994
Some results on intermediate constructive logics. Zbl 0692.03014
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Quazza, Silvia; Usberti, Gabriele
19
1989
A constructivism based on classical truth. Zbl 0667.03044
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario; Usberti, Gabriele
10
1989
PAP: A logic programming system based on a constructive logic. Zbl 0645.68098
Miglioli, P.; Moscato, U.; Ornaghi, M.
1
1988
Constructive theories with abstract data types for program synthesis. Zbl 0699.03013
Miglioli, Pierangelo; Moscato, Ugo; Ornaghi, Mario
1
1987
Trees in Kripke models and in an intuitionistic refutation system. Zbl 0472.03048
Miglioli, P.; Moscato, U.; Ornaghi, M.
2
1981
Program construction by refinements preserving correctness. Zbl 0309.68024
Lanzarone, G. A.; Ornaghi, M.
1
1975
First order logic as a tool to solve and classify problems. Zbl 0329.68079
Marini, D.; Miglioli, P. A.; Ornaghi, M.
1
1975
Top-down approach to the synthesis of programs. Zbl 0296.68017
Degli Antoni, G.; Miglioli, P. A.; Ornaghi, M.
2
1974
all cited Publications top 5 cited Publications
all top 5

Cited by 71 Authors

9 Ferrari, Mauro
7 Fiorentini, Camillo
6 Miglioli, Pierangelo
5 Fiorino, Guido
5 Ornaghi, Mario
4 Avellone, Alessandro
4 Punčochář, Vít
3 Grilletti, Gianluca
3 Moscato, Ugo
3 Pagliani, Piero
3 Quadrellaro, Davide Emilio
2 Järvinen, Jouni
2 Kreitz, Christoph
2 Lau, Kung-Kiu
2 Radeleczki, Sándor
1 Akama, Seiki
1 Alferes, José Júlio
1 Baaz, Matthias
1 Bellin, Gianluigi
1 Bezhanishvili, Nick
1 Buchberger, Bruno
1 Chagrov, Aleksandr Vasil’evich
1 Chandrasekaran, Ramaswamy
1 Ciabattoni, Agata
1 Ciardelli, Ivano A.
1 Colvin, Robert J.
1 Crǎciun, Adrian
1 Dershowitz, Nachum
1 Dyckhoff, Roy
1 Fairtlough, Matt
1 Fermüller, Christian G.
1 Flener, Pierre
1 Foster, Jeffrey S.
1 Gulwani, Sumit
1 Hayes, Ian J.
1 Iemhoff, Rosalie
1 Jebelean, Tudor
1 Khomich, V. I.
1 Korn, Daniel S.
1 Kovács, Laura Ildikó
1 Kutsia, Temur
1 Lang, Timo
1 Mantovani, Paolo
1 Mendler, Michael
1 Moniz Pereira, Luís
1 Nakagawa, Koji
1 Negri, Sara
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Piroi, Florina
1 Popov, Nikolaj
1 Przymusinska, Halina
1 Przymusinski, Teodor C.
1 Ramanayake, Revantha
1 Richardson, Julian
1 Rivieccio, Umberto
1 Robu, Judit
1 Roelofsen, Floris
1 Rosenkranz, Markus
1 Srivastava, Saurabh
1 Stafford, Will
1 Strooper, Paul A.
1 Subramani, Krishnan
1 Villa, Paola
1 Voronkov, Andrei
1 Wang, Haoyu
1 Wang, Yanjing
1 Wang, Yunsong
1 Windsteiger, Wolfgang
1 Wojciechowski, Piotr J.
1 Yang, Fan
1 Zakharyaschev, Michael Viktorovich
all top 5

Cited in 19 Serials

5 Studia Logica
3 Journal of Philosophical Logic
3 Annals of Pure and Applied Logic
3 Journal of Automated Reasoning
3 Journal of Applied Non-Classical Logics
2 Artificial Intelligence
2 The Journal of Symbolic Logic
2 Theoretical Computer Science
2 Archive for Mathematical Logic
1 Mathematical Notes
1 Algebra Universalis
1 Journal of Soviet Mathematics
1 Journal of Symbolic Computation
1 Information and Computation
1 Annals of Mathematics and Artificial Intelligence
1 Theory and Practice of Logic Programming
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 The Review of Symbolic Logic
all top 5

Cited in 7 Fields

38 Mathematical logic and foundations (03-XX)
18 Computer science (68-XX)
5 Order, lattices, ordered algebraic structures (06-XX)
2 Operations research, mathematical programming (90-XX)
1 General algebraic systems (08-XX)
1 Commutative algebra (13-XX)
1 General topology (54-XX)

Citations by Year