×

zbMATH — the first resource for mathematics

Veloso, Paulo Augusto S.

Compute Distance To:
Author ID: veloso.paulo-augusto-s Recent zbMATH articles by "Veloso, Paulo Augusto S."
Published as: Veloso, Paulo A. S.; Veloso, P. A. S.; Veloso, Paulo Augusto S.; Veloso, Paulo
External Links: MGP · ResearchGate · dblp
Documents Indexed: 77 Publications since 1977
Biographic References: 1 Publication

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 101 times in 56 Documents Cited by Year
On pushout consistency, modularity and interpolation for logical specifications. Zbl 0900.68305
Veloso, Paulo A. S.
8
1996
Fork algebras. Zbl 0961.03060
Haeberer, Armando; Frias, Marcelo; Baum, Gabriel; Veloso, Paulo
7
1997
Logical specification and implementation. Zbl 0551.68024
Maibaum, T. S. E.; Sadler, M. R.; Veloso, P. A. S.
6
1984
On the Modularization Theorem for logical specifications. Zbl 0875.68631
Veloso, Paulo A. S.; Maibaum, Thomas S. E.
6
1995
Some remarks on multiple-entry finite automata. Zbl 0402.68046
Veloso, Paulo A. S.; Gill, Arthur
5
1979
On graph reasoning. Zbl 1187.68355
de Freitas, Renata; Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio
5
2009
On vague notions and modalities: a modular approach. Zbl 1205.03032
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio; de Freitas, Renata; Benevides, Mario; Delgado, Carla
4
2010
Reasoning with graphs. Zbl 1262.03045
de Freitas, Renata P.; Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio
3
2006
Some remarks on conservative extensions: a Socratic dialogue. Zbl 0744.68103
Veloso, Paulo A. S.; Veloso, Sheila R. M.
3
1991
Yet another cautionary note on conservative extensions: A simple case with a computing flavour. Zbl 0751.03013
Veloso, Paulo A. S.
3
1992
A finite axiomatization for fork algebras. Zbl 0873.03052
Frias, Marcelo F.; Haeberer, Armando M.; Veloso, Paulo A. S.
3
1997
Characterizing the regular prefix codes and right power-bounded languages. Zbl 0411.68067
Veloso, P. A. S.
3
1979
On local modularity variants and \(\Pi\)-institutions. Zbl 0996.68113
Veloso, P. A. S.; Veloso, S. R. M.
3
2001
Squares in fork arrow logic. Zbl 1030.03018
de Freitas, Renata P.; Viana, Jorge P.; Benevides, Mario R. F.; Veloso, Sheila R. M.; Veloso, Paulo A. S.
3
2003
On positive relational calculi. Zbl 1157.03039
de Freitas, Renata; Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio
3
2007
Comparing data type specifications via their normal forms. Zbl 0488.68026
Remy, J. L.; Veloso, P. A. S.
2
1982
A finitary relational algebra for classical first order logic. Zbl 0745.03057
Veloso, Paulo A. S.; Haeberer, Armando M.
2
1991
Fork algebras are representable. Zbl 0831.03036
Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.; Veloso, Paulo A. S.
2
1995
Ultrafilter logic and generic reasoning. Zbl 0884.03024
Carnielli, W. A.; Veloso, P. A. S.
2
1997
On a graph approach to modal logics. Zbl 1335.03022
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
2
2014
On special functions and theorem proving in logics for ‘generally’. Zbl 1031.03018
Veloso, Sheila R. M.; Veloso, Paulo A. S.
2
2002
On local modularity and interpolation in entailment systems. Zbl 1043.68075
Veloso, Paulo A. S.; Fiadeiro, José L.; Veloso, Sheila R. M.
2
2002
On fork arrow logic and its expressive power. Zbl 1128.03011
Veloso, Paulo A. S.; de Freitas, Renata P.; Viana, Petrucio; Benevides, Mario; Veloso, Sheila R. M.
2
2007
Logics for qualitative reasoning. Zbl 1083.03037
Veloso, Paulo A. S.; Carnielli, Walter A.
2
2004
On a graph calculus for algebras of relations. Zbl 1155.03313
de Freitas, R.; Veloso, P. A. S.; Veloso, S. R. M.; Viana, P.
2
2008
PDL for structured data: a graph-calculus approach. Zbl 1407.68340
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2014
Problem decomposition and reduction: Applicability, soundness, completeness. Zbl 0482.68091
Veloso, P. A. S.; Veloso, S. R. M.
1
1982
Specification of data bases through rewriting rules. Zbl 0522.68096
Furtado, A. L.; Veloso, P. A. S.
1
1983
Some connections between logic and computer science. Zbl 0978.03028
Veloso, Paulo A. S.
1
1999
Definition-like extensions by sorts. Zbl 0834.68079
Meré, María Claudia; Veloso, Paulo A. S.
1
1995
Some bounds on quasi-initialised finite automata. Zbl 0391.68030
Veloso, Paulo A. S.
1
1977
On ultrafilter logic and special functions. Zbl 1058.03037
Veloso, Paulo A. S.; Veloso, Sheila R. M.
1
2004
On modalities for vague notions. Zbl 1105.03305
Benevides, Mario; Delgado, Carla; Freitas, Renata P.; Veloso, Paulo A. S.; Veloso, Sheila R. M.
1
2004
On graph calculi for multi-modal logics. Zbl 1343.03016
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2015
A tool for analysing logics. Zbl 1347.03111
Veloso, Sheila R. M.; Veloso, Paulo A. S.; Veloso, Paula M.
1
2011
A new, simpler proof of the modularisation theorem for logical specifications. Zbl 0798.03032
Veloso, Paulo A. S.
1
1993
On fork relations and programming. Zbl 1111.68399
Veloso, Paulo Augusto S.
1
1999
An alternative view of default reasoning and its logic. Zbl 1041.03025
Sette, A. M.; Carnielli, Walter A.; Veloso, Paulo A. S.
1
1999
\({\mathcal N}{\mathcal U}{\mathcal L}\): Natural deduction for ultrafilter logic. Zbl 1046.03032
Rentería, Christian Jacques; Haeusler, Edward Hermann; Veloso, Paulo A. S.
1
2003
Natural deduction for ‘generally’. Zbl 1132.03010
Vana, Leonardo B.; Veloso, Paulo A. S.; Veloso, Sheila R. M.
1
2007
Positive fork graph calculus. Zbl 1211.03097
de Freitas, Renata; Veloso, Sheila R. M.; Veloso, Paulo A. S.; Viana, Petrucio
1
2009
On graph calculi for multi-modal logics. Zbl 1343.03016
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2015
On a graph approach to modal logics. Zbl 1335.03022
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
2
2014
PDL for structured data: a graph-calculus approach. Zbl 1407.68340
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Benevides, Mario R. F.
1
2014
A tool for analysing logics. Zbl 1347.03111
Veloso, Sheila R. M.; Veloso, Paulo A. S.; Veloso, Paula M.
1
2011
On vague notions and modalities: a modular approach. Zbl 1205.03032
Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio; de Freitas, Renata; Benevides, Mario; Delgado, Carla
4
2010
On graph reasoning. Zbl 1187.68355
de Freitas, Renata; Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio
5
2009
Positive fork graph calculus. Zbl 1211.03097
de Freitas, Renata; Veloso, Sheila R. M.; Veloso, Paulo A. S.; Viana, Petrucio
1
2009
On a graph calculus for algebras of relations. Zbl 1155.03313
de Freitas, R.; Veloso, P. A. S.; Veloso, S. R. M.; Viana, P.
2
2008
On positive relational calculi. Zbl 1157.03039
de Freitas, Renata; Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio
3
2007
On fork arrow logic and its expressive power. Zbl 1128.03011
Veloso, Paulo A. S.; de Freitas, Renata P.; Viana, Petrucio; Benevides, Mario; Veloso, Sheila R. M.
2
2007
Natural deduction for ‘generally’. Zbl 1132.03010
Vana, Leonardo B.; Veloso, Paulo A. S.; Veloso, Sheila R. M.
1
2007
Reasoning with graphs. Zbl 1262.03045
de Freitas, Renata P.; Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio
3
2006
Logics for qualitative reasoning. Zbl 1083.03037
Veloso, Paulo A. S.; Carnielli, Walter A.
2
2004
On ultrafilter logic and special functions. Zbl 1058.03037
Veloso, Paulo A. S.; Veloso, Sheila R. M.
1
2004
On modalities for vague notions. Zbl 1105.03305
Benevides, Mario; Delgado, Carla; Freitas, Renata P.; Veloso, Paulo A. S.; Veloso, Sheila R. M.
1
2004
Squares in fork arrow logic. Zbl 1030.03018
de Freitas, Renata P.; Viana, Jorge P.; Benevides, Mario R. F.; Veloso, Sheila R. M.; Veloso, Paulo A. S.
3
2003
\({\mathcal N}{\mathcal U}{\mathcal L}\): Natural deduction for ultrafilter logic. Zbl 1046.03032
Rentería, Christian Jacques; Haeusler, Edward Hermann; Veloso, Paulo A. S.
1
2003
On special functions and theorem proving in logics for ‘generally’. Zbl 1031.03018
Veloso, Sheila R. M.; Veloso, Paulo A. S.
2
2002
On local modularity and interpolation in entailment systems. Zbl 1043.68075
Veloso, Paulo A. S.; Fiadeiro, José L.; Veloso, Sheila R. M.
2
2002
On local modularity variants and \(\Pi\)-institutions. Zbl 0996.68113
Veloso, P. A. S.; Veloso, S. R. M.
3
2001
Some connections between logic and computer science. Zbl 0978.03028
Veloso, Paulo A. S.
1
1999
On fork relations and programming. Zbl 1111.68399
Veloso, Paulo Augusto S.
1
1999
An alternative view of default reasoning and its logic. Zbl 1041.03025
Sette, A. M.; Carnielli, Walter A.; Veloso, Paulo A. S.
1
1999
Fork algebras. Zbl 0961.03060
Haeberer, Armando; Frias, Marcelo; Baum, Gabriel; Veloso, Paulo
7
1997
A finite axiomatization for fork algebras. Zbl 0873.03052
Frias, Marcelo F.; Haeberer, Armando M.; Veloso, Paulo A. S.
3
1997
Ultrafilter logic and generic reasoning. Zbl 0884.03024
Carnielli, W. A.; Veloso, P. A. S.
2
1997
On pushout consistency, modularity and interpolation for logical specifications. Zbl 0900.68305
Veloso, Paulo A. S.
8
1996
On the Modularization Theorem for logical specifications. Zbl 0875.68631
Veloso, Paulo A. S.; Maibaum, Thomas S. E.
6
1995
Fork algebras are representable. Zbl 0831.03036
Frias, Marcelo F.; Baum, Gabriel A.; Haeberer, Armando M.; Veloso, Paulo A. S.
2
1995
Definition-like extensions by sorts. Zbl 0834.68079
Meré, María Claudia; Veloso, Paulo A. S.
1
1995
A new, simpler proof of the modularisation theorem for logical specifications. Zbl 0798.03032
Veloso, Paulo A. S.
1
1993
Yet another cautionary note on conservative extensions: A simple case with a computing flavour. Zbl 0751.03013
Veloso, Paulo A. S.
3
1992
Some remarks on conservative extensions: a Socratic dialogue. Zbl 0744.68103
Veloso, Paulo A. S.; Veloso, Sheila R. M.
3
1991
A finitary relational algebra for classical first order logic. Zbl 0745.03057
Veloso, Paulo A. S.; Haeberer, Armando M.
2
1991
Logical specification and implementation. Zbl 0551.68024
Maibaum, T. S. E.; Sadler, M. R.; Veloso, P. A. S.
6
1984
Specification of data bases through rewriting rules. Zbl 0522.68096
Furtado, A. L.; Veloso, P. A. S.
1
1983
Comparing data type specifications via their normal forms. Zbl 0488.68026
Remy, J. L.; Veloso, P. A. S.
2
1982
Problem decomposition and reduction: Applicability, soundness, completeness. Zbl 0482.68091
Veloso, P. A. S.; Veloso, S. R. M.
1
1982
Some remarks on multiple-entry finite automata. Zbl 0402.68046
Veloso, Paulo A. S.; Gill, Arthur
5
1979
Characterizing the regular prefix codes and right power-bounded languages. Zbl 0411.68067
Veloso, P. A. S.
3
1979
Some bounds on quasi-initialised finite automata. Zbl 0391.68030
Veloso, Paulo A. S.
1
1977
all top 5

Cited by 73 Authors

15 Veloso, Paulo Augusto S.
12 Veloso, Sheila R. M.
7 de Freitas, Renata P.
6 Benevides, Mario R. F.
6 Viana, Petrucio
4 Diaconescu, Răzvan
3 Britz, Katarina
3 Formisano, Andrea
3 Lutz, Carsten
3 Omodeo, Eugenio Giovanni
3 Varzinczak, Ivan Jóse
3 Wolter, Frank
2 Brzozowski, Janusz Antoni
2 Konev, Boris
2 Maibaum, Thomas Stephen Edward
2 Shallit, Jeffrey O.
2 Tarlecki, Andrzej
2 Temperini, Marco
1 Aiello, Marco
1 Aiguier, Marc
1 Arrazola Ramírez, José Ramón Enrique
1 Askounis, Dimitris
1 Barbier, Franck
1 Berghammer, Rudolf
1 Bezhanishvili, Guram
1 Bloch, Isabelle
1 Botoeva, Elena
1 Cantone, Domenico
1 Carballido, José Luis
1 Demey, Lorenz
1 Desharnais, Jules
1 Dimitrakos, Theo
1 D’Ottaviano, Itala M. Loffredo
1 Fiadeiro, José Luiz
1 Goranko, Valentin F.
1 Gyuris, Viktor
1 Hill, Gillian
1 Jirásková, Galina
1 Jürgensen, Helmut
1 Kahl, Wolfram
1 Kao, Jui-Yi
1 Kappes, Martin
1 Klaeren, Herbert A.
1 Koutras, Costas D.
1 Leung, Hing-Man
1 Malcher, Andreas
1 Mikulás, Szabolcs
1 Mossakowski, Till
1 Nicolosi Asmundo, Marianna
1 Orłowska, Ewa S.
1 Osorio, Mauricio A.
1 Panangaden, Prakash
1 Petria, Marius
1 Rampersad, Narad
1 Renardel de Lavalette, Gerard R.
1 Ryzhikov, Vladislav
1 Sain, Ildikó
1 Sannella, Donald T.
1 Schmidt, Gunther
1 Simon, András
1 Smessaert, Hans
1 Ströhlein, Thomas
1 Vana, Leonardo Bruno
1 Verbrugge, Clark
1 Viana, Jorge P.
1 Vickers, Steven
1 Walther, Dirk
1 Winter, Michael
1 Wotschke, Detlef
1 Xu, Zhi
1 Zakharyaschev, Michael Viktorovich
1 Zikos, Yorgos
1 Zou, Chenglong

Citations by Year