Braylin induces a potent vasorelaxation, involving distinct mechanisms in superior mesenteric and iliac arteries of rats
Santos, W. A., Dourado, K. M. C., Araújo, F. A., Jesus, R. L. C., Moraes, R. A., Oliveira, S. C. D. S., Alves, Q. L., Simões, L. O., Casais-e-Silva, L. L., Costa, R. S., Velozo, E. S., Silva, D. F.
Published in Naunyn-Schmiedeberg's archives of pharmacology (01.03.2021)
Published in Naunyn-Schmiedeberg's archives of pharmacology (01.03.2021)
Get full text
Journal Article
Chemical composition, in vitro larvicidal and antileishmanial activities of the essential oil from Citrus reticulata Blanco fruit peel
Oliveira, A. C. S. D., Fernandes, C. C., Santos, L. S., Candido, A. C. B. B., Magalhães, L. G., Miranda, M. L. D.
Published in Brazilian journal of biology (2023)
Published in Brazilian journal of biology (2023)
Get full text
Journal Article
Identification and characterization of the doublesex gene of Nasonia
Oliveira, D.C.S.G, Werren, J.H, Verhulst, E.C, Giebel, J.D, Kamping, A, Beukeboom, L.W, van de Zande, L
Published in Insect molecular biology (01.06.2009)
Published in Insect molecular biology (01.06.2009)
Get full text
Journal Article
The essence of the Iterator pattern
GIBBONS, JEREMY, OLIVEIRA, BRUNO C. d. S.
Published in Journal of functional programming (01.07.2009)
Published in Journal of functional programming (01.07.2009)
Get full text
Journal Article
MRI: Modular reasoning about interference in incremental programming
OLIVEIRA, BRUNO C. D. S., SCHRIJVERS, TOM, COOK, WILLIAM R.
Published in Journal of functional programming (01.11.2012)
Published in Journal of functional programming (01.11.2012)
Get full text
Journal Article
Taming the Merge Operator
HUANG, XUEJING, ZHAO, JINXU, OLIVEIRA, BRUNO C. D. S.
Published in Journal of functional programming (01.01.2021)
Published in Journal of functional programming (01.01.2021)
Get full text
Journal Article
Rapidly Evolving Mitochondrial Genome and Directional Selection in Mitochondrial Genes in the Parasitic Wasp Nasonia (Hymenoptera: Pteromalidae)
Oliveira, Deodoro C. S. G., Raychoudhury, Rhitoban, Lavrov, Dennis V., Werren, John H.
Published in Molecular biology and evolution (01.10.2008)
Published in Molecular biology and evolution (01.10.2008)
Get full text
Journal Article
Transfers of mitochondrial DNA to the nuclear genome in the wasp Nasonia vitripennis
Viljakainen, L, Oliveira, D.C.S.G, Werren, J.H, Behura, S.K
Published in Insect molecular biology (01.02.2010)
Published in Insect molecular biology (01.02.2010)
Get full text
Journal Article
Data mining cDNAs reveals three new single stranded RNA viruses in Nasonia (Hymenoptera: Pteromalidae)
Oliveira, D.C.S.G, Hunter, W.B, Ng, J, Desjardins, C.A, Dang, P.M, Werren, J.H
Published in Insect molecular biology (01.02.2010)
Published in Insect molecular biology (01.02.2010)
Get full text
Journal Article
Formalization of a Polymorphic Subtyping Algorithm
Zhao, Jinxu, C. d. S. Oliveira, Bruno, Schrijvers, Tom
Published in Interactive Theorem Proving (2018)
Published in Interactive Theorem Proving (2018)
Get full text
Book Chapter
Scrap your boilerplate reloaded
HINZE, Half, LÖH, Andres, OLIVEIRA, Bruno C. D. S
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Conference Proceeding
Scala for generic programmers: Comparing Haskell and Scala support for generic programming
OLIVEIRA, BRUNO C. D. S., GIBBONS, JEREMY
Published in Journal of functional programming (01.07.2010)
Published in Journal of functional programming (01.07.2010)
Get full text
Journal Article
Direct Foundations for Compositional Programming
Fan, Andong, Huang, Xuejing, Xu, Han, Sun, Yaozhu, Bruno C d S Oliveira
Published in arXiv.org (12.05.2022)
Published in arXiv.org (12.05.2022)
Get full text
Paper
Journal Article
Resolution as Intersection Subtyping via Modus Ponens
Marntirosian, Koar, Schrijvers, Tom, Bruno C d S Oliveira, Karachalias, Georgios
Published in arXiv.org (15.10.2020)
Published in arXiv.org (15.10.2020)
Get full text
Paper
Journal Article