TaDA: A Logic for Time and Data Abstraction von da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Gardner, Philippa

Volltext

A perspective on specifying and verifying concurrent modules von Dinsdale-Young, Thomas, da Rocha Pinto, Pedro, Gardner, Philippa

Volltext

Modular Termination Verification for Non-blocking Concurrency von da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Gardner, Philippa, Sutherland, Julian

Volltext

Abstract Specifications for Concurrent Maps von Xiong, Shale, Pinto, Pedro da Rocha, Ntzik, Gian, Gardner, Philippa

Volltext

Fault-Tolerant Resource Reasoning von Ntzik, Gian, da Rocha Pinto, Pedro, Gardner, Philippa

Volltext

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper) von da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Gardner, Philippa

Volltext

Reasoning with time and data abstractions von da Rocha Pinto, Pedro

Volltext bestellen

A simple abstraction for complex concurrent indexes von da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Dodds, Mike, Gardner, Philippa, Wheelhouse, Mark

Volltext

Caper: Automatic Verification for Fine-Grained Concurrency von Dinsdale-Young, Thomas, da Rocha Pinto, Pedro, Andersen, Kristoffer Just, Birkedal, Lars

Volltext

Fracture Incidence of WaveOne and Reciproc Files during Root Canal Preparation of up to 3 Posterior Teeth: A Prospective Clinical Study von Bueno, Clóvis Stephano Pereira, DDS, MSc, Oliveira, Daniel Pinto de, DDS, MSc, PhD, Pelegrine, Rina Andrea, DDS, MSc, PhD, Fontana, Carlos Eduardo, DDS, MSc, PhD, Rocha, Daniel Guimarães Pedro, DDS, MSc, PhD, Bueno, Carlos Eduardo da Silveira, DDS, MSc, PhD

Volltext

Biodiversity thresholds in invertebrate communities: The responses of dung beetle subgroups to forest loss von Pinto Leite, Clarissa Machado, Mariano-Neto, Eduardo, Rocha, Pedro Luís Bernardo da

Volltext

Regional distribution patterns can predict the local habitat specialization of arachnids in heterogeneous landscapes of the Atlantic Forest von Porto, Tiago Jordão, Pinto‐da‐Rocha, Ricardo, Rocha, Pedro Luís Bernardo, Andersen, Alan

Volltext

Serotype-associated immune response and network immunoclusters in children and adults during acute Dengue virus infection von Henrique Ferreira Sucupira, Pedro, Silveira Ferreira, Milene, Santos Coutinho-da-Silva, Mikelly, Alves Bicalho, Kelly, Carolina Campi-Azevedo, Ana, Pedro Brito-de-Sousa, Joaquim, Peruhype-Magalhães, Vanessa, Rios, Maria, Konduru, Krishnamurthy, Teixeira-Carvalho, Andréa, Grazziela Alves Coelho-dos-Reis, Jordana, Ribeiro do Valle Antonelli, Lis, Bortolo de Rezende, Vitor, Ludolf Ribeiro de Melo, Fernanda, Couto Garcia, Cristiana, Carla Silva-Andrade, Jesuanne, Artur da Costa-Rocha, Ismael, Alves da Rocha, Lucia, Aprigio Silva, Valderjane, Damasceno Pinto, Sérgio, Araújo de Melo, Sabrina, Guimarães Costa, Allyson, de Souza Gomes, Matheus, Rodrigues Amaral, Laurence, Luiz Lima Bertarini, Pedro, Cristina da Silva Furtado, Erilene, Vieira Pinto da Silva, Eliana, Alves Ramos, Bruna, Barros dos Santos, Éder, Nazaré Oliveira Freitas, Maria, Maria Caetano Faria, Ana, Fernando da Costa Vasconcelos, Pedro, de Souza Bastos, Michele, Carício Martins, Livia, Assis Martins-Filho, Olindo, Sobreira Silva Araújo, Márcio

Volltext

Green manure (Crotalaria juncea L.) enhances Origanum vulgare L. biomass accumulation, essential oil yield, and phytochemical properties von Assis, Rafael M A DE, Santos, Jandeilson P Dos, Honorato, Alan DA Cunha, Rocha, João Pedro M, Carvalho, Alexandre A DE, Bertolucci, Suzan Kelly V, Pinto, José Eduardo B P

Volltext

Pharmacological NF‐κB inhibition decreases cisplatin chemoresistance in muscle‐invasive bladder cancer and reduces cisplatin‐induced toxicities von Gil da Costa, Rui M., Levesque, Christine, Bianchi‐Frias, Daniella, Chatterjee, Payel, Lam, Hung‐Ming, Santos, Carlos, Coleman, Ilsa M., Ferreirinha, Pedro, Vilanova, Manuel, Pinto da Cunha, Nazaré, Carvalho, Hugo, Moreira‐Pais, Alexandra, Faustino‐Rocha, Ana, Neto, Tiago, Batista da Costa, José, Wright, Jonathan L., Ferreira, Rita, Oliveira, Paula A., Mendes, Joaquim, Bastos, Margarida M. S. M., Colaço, Bruno, Lopes, Carlos, Black, Peter C., Sweeney, Christopher J., Nelson, Peter S.

Volltext

A straightforward method for microplastic extraction from organic-rich freshwater samples von Monteiro, Silvia S., Rocha-Santos, Teresa, Prata, Joana C., Duarte, Armando C., Girão, Ana Violeta, Lopes, Pedro, Cristovão, Tiago, da Costa, João Pinto

Volltext

Lightning under Different Land Use and Cover, and the Influence of Topography in the Carajás Mineral Province, Eastern Amazon von Santos, Ana Paula Paes dos, Ferreira, Douglas Batista da Silva, Nascimento Júnior, Wilson da Rocha, Souza-Filho, Pedro Walfir Martins e, Pinto Júnior, Osmar, Lima, Francisco José Lopes de, Bourscheidt, Vandoir, Mattos, Enrique Vieira, Costa, Claudia Priscila Wanzeler da, Nogueira Neto, Antônio Vasconcelos, Tedeschi, Renata Gonçalves

Volltext

Real‐time monitoring by proton relaxometry of radical polymerization reactions of acrylamide in aqueous solution von Rodrigues, Elton Jorge da Rocha, Neto, Roberto Pinto Cucinelli, Sebastião, Pedro José Oliveira, Tavares, Maria Inês Bruno

Volltext

Intrastent HeROgraft deployment as a catheter-sparing procedure von Veterano, Carlos, Guedes da Rocha, Henrique, Almeida, Paulo, Rego, Duarte, Sá Pinto, Pedro, Almeida, Rui

Volltext

COVID-19 cross-sectional study in Maricá, Brazil: The impact of vaccination coverage on viral incidence von Frauches, Thiago Silva, Costa, Carlos Alberto de Senna, Rodrigues, Claudia dos Santos, de Azevedo, Marcelo Costa Velho Mendes, Ferreira, Michelle de Moraes, Ramos, Hanna Beatriz Vieira da Silva, de Souza Junior, Wilson Rodrigues, Costa, Andréa Ribeiro, Camargo, Adriana Cardoso, Alonso, Adriana Halfeld, dos Santos, Fábio Álvaro, Oliveira, Hércules da Silva, Coelho, Janaína Guimarães, Sobral, Joyce Florentina da Silva, Rodrigues, Luciane Cardoso dos Santos, Ferreira, Marcio Martins Casaes, Laureano, Patricia, da Paz Fernandes, Raquel Adalgiza, Santos, Renata da Silva, dos Santos, Rose Mary Carvalho, Milagres, Sanderson, dos Santos, Vanessa Cristina Conceição, Silva, Jussara Teixeira, da Silva, Tatiana Martins, da Rocha, Malu Gabriela Costa, de São Carlos, Andreia Edwirges, de Araújo Ramos, Amorim Mourão, Bastos, Fernanda Martins de Almeida, Francisco, Daina Raylle, Rosa, Sabrina dos Santos, Linhares, Layla Corrêa, Organista, Raissa Rodrigues, Bastos, Leandro, Pinto, Maria Magdalena Kelly, do Nascimento, Jean Pablo Lima, da Silveira, João Pedro Moura, dos Santos, Mateus Quintanilha, da Silva, Nathaly Santos, Ferreira, Nayra Cristina dos Santos, Reis, Rafael Brito Ramirez, de Oliveira, Ruan Fonseca, Sá, Valdinei de Oliveira, Hammes, Thyago Ramos de Siqueira, Monteiro, Juliano de Oliveira, Cardoso, Pedro Henrique, Arruda, Mônica Barcellos, Alvarez, Patricia, Maia, Richard Araujo, Ribeiro, Liane de Jesus, Ferreira, Orlando Costa, Santos, Aline, de Almeida, Alberto Carlos Melo, Garcia, Lauro, Pansera, Celso, Tanuri, Amilcar

Volltext