Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEdward Hermann Haeusler
Edward Hermann Häusler
Person information
- affiliation: PUC-Rio, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j31]Vaston Conçalves da Costa, Edward Hermann Haeusler:
Strong normalization for Np-systems via Mimp-graphs. FLAP 9(1): 135-160 (2022)- [j30]Edward Hermann Haeusler:
Exponentially huge natural deduction proofs are redundant: Preliminary results on M⊃. FLAP 9(1): 287-326 (2022) - [j29]Eduardo N. Giovannini
, Edward Hermann Haeusler, Abel Lassalle-Casanave, Paulo A. S. Veloso:
De Zolt's postulate: an Abstract Approach. Rev. Symb. Log. 15(1): 197-224 (2022) - [c63]Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon:
A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. Description Logics 2022 - [c62]Mariana D. A. Salgueiro, Sérgio Lifschitz, Edward Hermann Haeusler, Veronica dos Santos, Alexandre Plastino:
A Study of Database Models for Social Network Analysis. SBBD 2022: 397-402 - [i19]Lew Gordeev, Edward Hermann Haeusler:
On proof theory in computational complexity: overview. CoRR abs/2201.04118 (2022) - [i18]Edward Hermann Haeusler, José Flávio Cavalcante Barros Junior:
On the horizontal compression of dag-derivations in minimal purely implicational logic. CoRR abs/2206.02300 (2022) - 2021
- [j28]Raphael Marins, Rafael Pereira de Oliveira, Edward Hermann Haeusler, Sérgio Lifschitz, Daniel Schwabe, Ana Carolina Almeida:
Outer-Tuning: an Ontology-based Extensible Framework for Supporting Database Automatic Tuning. J. Inf. Data Manag. 12(2) (2021) - [j27]Bruno Lopes, Cláudia Nalon, Edward Hermann Haeusler:
Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic. ACM Trans. Comput. Log. 22(2): 9:1-9:22 (2021) - [c61]Lorenzo Saraiva, Edward Hermann Haeusler, Vaston G. Costa, Marcos Kalinowski:
Non-Functional Requirements for Quantum Programs. Q-SET@QCE 2021: 89-73 - [c60]Luciana de Sá Silva Perciliano, Veronica dos Santos, Fernanda Baião, Edward Hermann Haeusler, Sérgio Lifschitz, Ana Carolina Almeida:
Inferencing Relational Database Tuning Actions with OnDBTuning Ontology. SBBD 2021: 157-168 - [i17]Edward Hermann Haeusler:
Yet another argument in favour of NP=CoNP. CoRR abs/2101.00003 (2021) - [i16]Bruno Cuconato, Jefferson de Barros Santos, Edward Hermann Haeusler:
A logical framework with a graph meta-language. CoRR abs/2106.13843 (2021) - 2020
- [c59]Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe:
A Case Study Integrating Knowledge Graphs and Intuitionistic Logic. AICOL 2020: 106-124 - [c58]Cristian Tristão, Antonio Basílio de Miranda, Edward Hermann Haeusler, Sérgio Lifschitz:
Relational Text-Type for Biological Sequences. ER (Workshops) 2020: 102-112 - [c57]Bernardo Alkmim, Edward Hermann Haeusler, Daniel Schwabe:
Reasoning over Knowledge Graphs in an Intuitionistic Description Logic. XAILA@JURIX 2020 - [c56]Julio O. Prieto Entenza, Edward Hermann Haeusler, Sérgio Lifschitz:
Efficient Out-of-Core Contig Generation. BSB 2020: 25-37 - [i15]Edward Hermann Haeusler:
Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on M⊃. CoRR abs/2004.10659 (2020) - [i14]Edward Hermann Haeusler:
On the Intrinsic Redundancy in Huge Natural Deduction proofs II: Analysing M⊃ Super-Polynomial Proofs. CoRR abs/2009.09802 (2020) - [i13]Lew Gordeev, Edward Hermann Haeusler:
Proof Compression and NP Versus PSPACE II: Addendum. CoRR abs/2011.09262 (2020) - [i12]Lew Gordeev, Edward Hermann Haeusler:
On proof theory in computer science. CoRR abs/2012.04437 (2020) - [i11]Edward Hermann Haeusler:
Going from the huge to the small: Efficient succinct representation of proofs in Minimal implicational logic. CoRR abs/2012.07833 (2020)
2010 – 2019
- 2019
- [j26]Guilherme F. Lima, Rodrigo C. M. Santos, Roberto Ierusalimschy, Edward Hermann Haeusler, Francisco Sant'Anna:
A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. J. Syst. Archit. 97: 239-257 (2019) - [j25]Lev Gordeev, Edward Hermann Haeusler:
Proof Compression and NP Versus PSPACE. Stud Logica 107(1): 53-83 (2019) - [c55]Uwe Wolter, Alfio Martini, Edward Hermann Häusler:
Indexed and Fibred Structures for Hoare Logic. LSFA 2019: 125-145 - [c54]Ruhan dos Reis, Markus Endler, Vitor Pinheiro de Almeida, Edward Hermann Haeusler:
A Soft Real-Time Stream Reasoning Service for the Internet of Things. ICSC 2019: 166-169 - [c53]Elvismary Molina de Armas, Paulo Cavalcanti Gomes Ferreira, Edward Hermann Haeusler, Maristela Terto de Holanda, Sérgio Lifschitz:
K-mer Mapping and RDBMS Indexes. BSB 2019: 70-82 - [i10]Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler:
Revisiting Counter-model Generation for Minimal Implicational Logic. CoRR abs/1905.02059 (2019) - 2018
- [j24]Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler:
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. Theor. Comput. Sci. 744: 22-36 (2018) - [c52]Bernardo Alkmim, Edward Hermann Haeusler, Alexandre Rademaker:
Utilizing iALC to Formalize the Brazilian OAB Exam. XAILA@JURIX 2018: 42-50 - [c51]Rodrigo C. M. Santos, Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, Edward Hermann Haeusler:
A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. LCTES 2018: 1-18 - [c50]Ana Carolina Almeida, Edward Hermann Haeusler, Sérgio Lifschitz, Rafael Pereira de Oliveira, Daniel Schwabe:
Outer-Tuning: sintonia Fina Automática Baseada em Ontologia. SBBD Companion 2018: 29-34 - [i9]Edward Hermann Haeusler, Alexandre Rademaker:
On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies. CoRR abs/1803.07543 (2018) - 2017
- [j23]Juan Carlos Nieves, Edward Hermann Haeusler, Bruno Lopes Vieira:
Editorial. Computación y Sistemas 21(3) (2017) - [j22]Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana:
Foreword. Log. J. IGPL 25(4): 381-386 (2017) - [j21]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
A Proximity-Based Understanding of Conditionals. Trans. Large Scale Data Knowl. Centered Syst. 34: 123-152 (2017) - [c49]Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker:
Passing the Brazilian OAB Exam: Data Preparation and Some Experiments. JURIX 2017: 89-94 - [c48]Markus Endler, Jean-Pierre Briot, Francisco Silva E. Silva, Vitor Pinheiro de Almeida, Edward Hermann Haeusler:
An Approach for Real-Time Stream Reasoning for the Internet of Things. ICSC 2017: 348-353 - [c47]Guilherme Augusto Ferreira Lima, Roberto Gerson De Albuquerque Azevedo, Sérgio Colcher, Edward Hermann Haeusler:
Converting NCL Documents to Smix and Fixing Their Semantics and Interpretation in the Process. WebMedia 2017: 109-116 - [i8]Christiano Braga, Edward Hermann Haeusler:
Normative Multi-Agent Systems and Kelsenian Jurisprudence. CoRR abs/1709.02018 (2017) - [i7]Pedro Delfino, Bruno Cuconato, Edward Hermann Haeusler, Alexandre Rademaker:
Passing the Brazilian OAB Exam: data preparation and some experiments. CoRR abs/1712.05128 (2017) - 2016
- [c46]Elvismary Molina de Armas, Edward Hermann Haeusler, Sérgio Lifschitz, Maristela Terto de Holanda, Waldeyr Mendes Cordeiro da Silva, Paulo Cavalcanti Gomes Ferreira:
K-mer Mapping and de Bruijn graphs: The case for velvet fragment assembly. BIBM 2016: 882-889 - [c45]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
PUC-Logic. DEXA Workshops 2016: 102-105 - [c44]Mario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler:
Propositional Dynamic Logic for Petri Nets with Iteration. ICTAC 2016: 441-456 - [i6]Lew Gordeev, Edward Hermann Haeusler:
NP vs PSPACE. CoRR abs/1609.09562 (2016) - 2015
- [j20]Uwe Wolter, Alfio Martini, Edward Hermann Haeusler:
Towards a uniform presentation of logical systems by indexed categories and adjoint situations. J. Log. Comput. 25(1): 57-93 (2015) - [c43]Cleyton Slaviero, Edward Hermann Haeusler:
Exploring concurrency on computational thinking tools. IHC 2015: 28:1-28:10 - [c42]Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. PAAMS (Special Sessions) 2015: 75-86 - [c41]Rafael Pereira de Oliveira, Sérgio Lifschitz, Ana Carolina Almeida, Edward Hermann Haeusler:
Projeto e implementação do framework Outer-tuning: auto sintonia e ontologia para bancos de dados relacionais [Design of the Outer-tuning framework: self-tuning and ontology for relational databases]. SBSI 2015: 171-178 - [c40]Edward Hermann Haeusler:
Finiteness and Computation in Toposes. DCM 2015: 61-77 - [c39]Hugo Daniel Macedo, Edward Hermann Haeusler, Alex de V. Garcia:
Defining Effectiveness Using Finite Sets A Study on Computability. WEIT 2015: 91-106 - [c38]Jefferson de Barros Santos, Bruno Lopes Vieira, Edward Hermann Haeusler:
A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. WEIT 2015: 165-179 - [c37]Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev:
On Strong Normalization in Proof-Graphs for Propositional Logic. LSFA 2015: 181-196 - 2014
- [j19]Cécilia Englander, Edward Hermann Haeusler, Luiz Carlos Pereira:
Finitely many-valued logics and natural deduction. Log. J. IGPL 22(2): 333-354 (2014) - [j18]Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Propositional dynamic logic for Petri nets. Log. J. IGPL 22(5): 721-736 (2014) - [j17]Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler:
Specifying ubiquitous systems through the algebra of contextualized ontologies. Knowl. Eng. Rev. 29(2): 171-185 (2014) - [c36]Vitor Pinheiro de Almeida, Markus Endler, Edward Hermann Haeusler:
A framework for customizing the mobile and remote monitoring of patients with chronic diseases. Healthcom 2014: 329-334 - [c35]Edward Hermann Haeusler:
How Many Times Do We Need an Assumption to Prove a Tautology in Minimal Logic: An Example on the Compression Power of Classical Reasoning. LANMR 2014: 1-12 - [c34]Edward Hermann Haeusler, Mauricio Ayala-Rincón:
On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions. LATIN 2014: 202-213 - [c33]Edward Hermann Haeusler:
Propositional Logics Complexity and the Sub-Formula Property. DCM 2014: 1-16 - [c32]Edward Hermann Haeusler:
How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning. LANMR (Selected Papers) 2014: 31-46 - [c31]Cécilia Englander, Gilles Dowek, Edward Hermann Haeusler:
Yet Another Bijection Between Sequent Calculus and Natural Deduction. LSFA 2014: 107-124 - [c30]Cláudia Nalon, Bruno Lopes, Gilles Dowek, Edward Hermann Haeusler:
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. LSFA 2014: 125-141 - [i5]Edward Hermann Haeusler, Alexandre Rademaker:
An Intuitionisticaly based Description Logic. CoRR abs/1402.0225 (2014) - [i4]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
PUC-Logic. CoRR abs/1402.1535 (2014) - [i3]Edward Hermann Haeusler:
How many times do we need and assumption ? CoRR abs/1405.0541 (2014) - [i2]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
Intuitionistic PUC-Logic for Constructive Counterfactuals. CoRR abs/1405.5279 (2014) - [i1]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler, Luiz Carlos Pereira:
PUC-Logic embedding of Lewis' Deontic Logics. CoRR abs/1405.7285 (2014) - 2013
- [c29]Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev:
Proof-graphs for Minimal Implicational Logic. DCM 2013: 16-29 - [c28]Bruno Lopes, Mario R. F. Benevides, Edward Hermann Haeusler:
Extending Propositional Dynamic Logic for Petri Nets. LSFA 2013: 67-83 - 2012
- [j16]Edward Hermann Haeusler:
A celebration of Alan Turing's achievements in the year of his centenary. Int. Trans. Oper. Res. 19(3): 487-491 (2012) - 2011
- [j15]Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker:
Constructive Description Logics Hybrid-Style. Electron. Notes Theor. Comput. Sci. 273: 21-31 (2011) - [j14]Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira:
Propositional proof compressions and DNF logic. Log. J. IGPL 19(1): 62-86 (2011) - [c27]Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker:
Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops 2011: 345-349 - [e3]Edward Hermann Haeusler, Luis Fariñas del Cerro:
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010. Electronic Notes in Theoretical Computer Science 269, Elsevier 2011 [contents] - 2010
- [j13]Christiano Braga, Edward Hermann Haeusler:
Lightweight analysis of access control models with description logic. Innov. Syst. Softw. Eng. 6(1-2): 115-123 (2010) - [j12]Alexandre Rademaker, Edward Hermann Haeusler:
Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning. J. Univers. Comput. Sci. 16(20): 3016-3042 (2010) - [j11]Luiz Carlos Pereira, Edward Hermann Haeusler, Vaston G. Costa, Wagner Sanz:
A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic. Stud Logica 96(1): 95-108 (2010) - [c26]Cécilia Englander, Edward Hermann Haeusler:
On the 2-Categorical View of Proofs. ISoLA (1) 2010: 502-518 - [c25]Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker:
Intuitionistic Logic and Legal Ontologies. JURIX 2010: 155-158 - [c24]Edward Hermann Haeusler, Luis Fariñas del Cerro:
Preface. LSFA 2010: 1-2
2000 – 2009
- 2009
- [j10]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Preface. Log. J. IGPL 17(5): 487-488 (2009) - [c23]Luiz Carlos Castro Guedes, Edward Hermann Haeusler:
Action Algebras and Model Algebras in Denotational Semantics. Semantics and Algebraic Specification 2009: 227-249 - [c22]Edward Hermann Haeusler, Alexandre Rademaker:
Is It Important to Explain a Theorem? A Case Study on UML and ALCQI\mathcal{ALCQI}. ER Workshops 2009: 34-44 - [c21]Vaston G. Costa, Wagner Sanz, Edward Hermann Haeusler, Luiz Carlos Pereira:
Peirce's Rule in a Full Natural Deduction System. LSFA 2009: 5-18 - [c20]Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler:
A Topos-Theoretic Approach to Counterfactual Logic. LSFA 2009: 33-47 - 2008
- [c19]Isabel Cafezeiro, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler:
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing. ISoLA 2008: 519-533 - [c18]Isabel Cafezeiro, Edward Hermann Haeusler, Alexandre Rademaker:
Ontology and Context. PerCom 2008: 417-422 - [c17]Alexandre Rademaker, Edward Hermann Haeusler:
Toward Short and Structural -Reasoning Explanations: A Sequent Calculus Approach. SBIA 2008: 167-176 - [e2]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2007, Ouro Preto, Brazil, August 28-29, 2007. Electronic Notes in Theoretical Computer Science 205, Elsevier 2008 [contents] - 2007
- [j9]Fernando Náufel do Amaral, Edward Hermann Haeusler:
Using the Internal Logic of a Topos to Model Search Spaces for Problems. Log. J. IGPL 15(5-6): 457-474 (2007) - [j8]Alfio Martini, Uwe Wolter, Edward Hermann Haeusler:
Fibred and Indexed Categories for Abstract Model Theory. Log. J. IGPL 15(5-6): 707-739 (2007) - [j7]Vaston G. Costa, Edward Hermann Haeusler, Eduardo Sany Laber, Loana Tito Nogueira:
A note on the size of minimal covers. Inf. Process. Lett. 102(2-3): 124-126 (2007) - [c16]Isabel Cafezeiro, Edward Hermann Haeusler:
Semantic Interoperability via Category Theory. ER (Tutorials, Posters, Panels & Industrial Contributions) 2007: 197-202 - [c15]Isabel Cafezeiro, Edward Hermann Haeusler:
Algebraic Framework for Reverse Engineering on Specifications. LAPTEC 2007: 1-12 - [c14]Mauricio Ayala-Rincón, Edward Hermann Haeusler:
Preface. LSFA 2007: 1-3 - 2006
- [c13]Fernando Náufel do Amaral, Carlos Bazílio, Geiza Maria Hamazaki da Silva, Alexandre Rademaker, Edward Hermann Haeusler:
An Ontology-based Approach to the Formalization of Information Security Policies. EDOC Workshops 2006: 1 - [c12]Alexandre R. Duarte, Celso C. Ribeiro, Sebastián Urrutia, Edward Hermann Haeusler:
Referee Assignment in Sports Leagues. PATAT 2006: 158-173 - 2005
- [j6]Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso:
Exploring Computational Contents of Intuitionist Proofs. Log. J. IGPL 13(1): 69-93 (2005) - [c11]Marcelo da Silva Corrêa, Edward Hermann Haeusler:
On the Selective Lambek Calculus. LACL 2005: 67-83 - [c10]D. R. Vasconcelos, Edward Hermann Haeusler, Mario R. F. Benevides:
Defining Agents Via Strategies: Towards a View of MAS as Games. WRAC 2005: 299-311 - [c9]Carlos Bazílio, Edward Hermann Haeusler, Markus Endler:
Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems. SBMF 2005: 189-207 - 2004
- [c8]Aluízio Haendchen Filho, Nuno Caminada, Edward Hermann Haeusler, Arndt von Staa:
Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems. FAABS 2004: 72-91 - [c7]Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa:
Using Ontologies to Formalize Services Specifications in Multi-agent Systems. FAABS 2004: 92-110 - [c6]Christian Jacques Rentería, Edward Hermann Haeusler:
A Natural Deduction System for Keisler's Quantification. WoLLIC 2004: 229-240 - 2002
- [j5]Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
9th Workshop on Logic, Language, Information and Computation. Log. J. IGPL 10(6): 679-688 (2002) - [c5]Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277 - [c4]Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
Preface: WoLLIC 2002. WoLLIC 2002: 313-314 - [e1]Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002. Electronic Notes in Theoretical Computer Science 67, Elsevier 2002 [contents] - 2001
- [j4]Alex de V. Garcia, Edward Hermann Haeusler:
Code migration and program maintainability A categorical perspective. Inf. Process. Lett. 79(5): 249-254 (2001) - 2000
- [j3]Fernando Náufel do Amaral, Edward Hermann Haeusler:
A logic-based approach for real-time object-oriented software development. RITA 7(1): 69-88 (2000) - [c3]Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST 2000: 407-421
1990 – 1999
- 1999
- [c2]Edward Hermann Haeusler, Marcus Felipe M. C. Da Fontoura:
Using transition systems to formalize a pattern for time dependable applications. WORDS (Jan.) 1999: 216-227 - 1997
- [j2]Edward Hermann Haeusler, Marcelo da Silva Corrêa:
A Concrete Categorical Model for the Lambek Syntactic Calculus. Math. Log. Q. 43: 49-59 (1997) - 1995
- [c1]Luiz Carlos Castro Guedes, Edward Hermann Haeusler, José Lucas Rangel:
Object Oriented Semantics Directed Compiler Generation: A Prototype. TAPSOFT 1995: 807-808 - 1993
- [j1]Luiz Carlos Pereira, Edward Hermann Haeusler:
A Formalization of Sambin's Normalization for GL. Math. Log. Q. 39: 133-142 (1993)
Coauthor Index
Bruno Lopes 0001
aka: Bruno Lopes Vieira
aka: Bruno Lopes Vieira