| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | André Rauber Du Bois, Gerson G. H. Cavalheiro |
GPotion: An embedded DSL for GPU programming in Elixir.  |
SBLP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerônimo da Cunha Ramos, André Rauber Du Bois, Gerson G. H. Cavalheiro |
Obstruction-Free Distributed Transactional Memory. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Holmquist, Vitor Emanuel, Fernando Magno Quintão Pereira |
Lushu: Ofuscação de Dados Sigilosos via Reconhecimento de Linguagens a partir de Exemplos. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Sumitani, Lucas Silva, Frederico Campos, Fernando Magno Quintão Pereira |
A Class of Programs that Admit Exact Complexity Analysis via Newton?s Polynomial Interpolation. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elton Maximo Cardoso, Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Marcos Emiliano |
A Haskell Library for Adaptable Parsing Expression Grammars. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataniel Siebeneichler, Felipe Grando, Giancarlo Salton, Samuel da Silva Feitosa |
Uma DSL para gerar APIs RESTFul em Haskell. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the XXVII Brazilian Symposium on Programming Languages, SBLP 2023, Campo Grande, MS, Brazil, September 25-29, 2023 |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Queiroz de Medeiros, Marcelo Borges Nogueira, Gustavo Quezado Gurgel Magalhães |
Analyzing the Time x Energy Relation in C++ Solutions Mined from a Programming Contest Site. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Heron de Carvalho Junior, Tiago Carneiro 0001 |
A Component Model for Multilevel Parallel Programming. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Neder, Ricardo Miranda Filho, Jônatas Azevedo, Larissa Pessoa, Rosiane de Freitas, Raimundo S. Barreto |
Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo G. Faé, Renato B. Hoffmann, Dalvan Griebler |
Source-to-Source Code Transformation on Rust for High-Level Stream Parallelism. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elton Maximo Cardoso, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro |
A Verified Operational Semantics for Regular Expression Parsing. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Natanael Zago, Andrei Braga, Braulio Mello, Samuel da Silva Feitosa |
Usando Esquema GraphQL para Geração de Consultas de Forma Aleatória. |
SBLP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elton Maximo Cardoso, Daniel Freitas Pereira, Regina Sarah Monferrari Amorim De Paula, Leonardo Vieira dos Santos Reis, Rodrigo Geraldo Ribeiro |
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dinei A. Rockenbach, Júnior Löff, Gabriell Alves de Araujo, Dalvan Griebler, Luiz Gustavo Fernandes |
High-Level Stream and Data Parallelism in C++ for GPUs. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelson Gregório, João Paulo Fernandes, João Bispo, Sérgio Medeiros 0001 |
E-APK: Energy Pattern Detection in Decompiled Android Applications. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Leticia Alegria, Roberto Ierusalimschy, Noemi de La Rocque Rodriguez |
EventManager - a tool to help students analyse concurrent programs. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Coutinho De Paula, Roberto Ierusalimschy |
A Foreign Function Interface for Pallene. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecília Kind, Joao Coelho, Bruno Kind, Fernando Pereira |
Geração Automática de Benchmarks para Compilação Preditiva. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thaís Damásio, Michael Canesche, Vinícius Pacheco, Anderson Faustino da Silva, Fernando Magno Quintão Pereira |
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo de Almeida Maia, Fábio Dorça, Rafael Dias Araújo, Cristiano Damiani Vasconcellos (eds.) |
SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022 |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia |
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. |
SBLP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinícius Julião, Alexander Holmquist, Flávio Lúcio, Celso Simões, Fernando Pereira |
Hapi: A Domain-Specific Language for the Declaration of Access Policies. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Freitas, André Leite Ferreira, Jácome Cunha |
Refactoring Java Monoliths into Executable Microservice-Based Applications. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | José Duarte, António Ravara |
Retrofitting Typestates into Rust. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Thaís Damásio, Vinícius Pacheco, Luís Fabrício Wanderley Góes, Fernando Pereira, Rodrigo Rocha |
Inlining for Code Size Reduction. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Junior Loff, Renato B. Hoffmann, Dalvan Griebler, Luiz Gustavo Fernandes |
High-Level Stream and Data Parallelism in C++ for Multi-Cores. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Musso Gualandi, Roberto Ierusalimschy |
A Surprisingly Simple Lua Compiler. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Kaplan, Roberto Ierusalimschy |
Evaluating Optimizations for a High-Level Language. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriela Araujo Britto, Leopoldo Teixeira, Rohit Gheyi |
TSDolly: A program generator for TypeScript. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre D. Jardim, Kevin Oliveira, Diogo J. Cardoso, Daniel Di Domenico, André Rauber Du Bois, Gerson G. H. Cavalheiro |
An extension for Transactional Memory in OpenMP. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luiz Felipe Kraus, Bruno Schafaschek, Rodrigo Geraldo Ribeiro, Samuel da Silva Feitosa |
Synthesis of Random Real-World Java Programs from Preexisting Libraries. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collereii, João Paulo Fernandes, Mário Pereira (eds.) |
SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021 |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nilton Luiz Queiroz Junior, Anderson Faustino da Silva |
A Graph-based Model for Building Optimization Sequences: A Study Case on Code Size Reduction. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
A Graph Transformation System formalism for correctness of Transactional Memory algorithms. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Faustino da Silva |
Graphs based on IR as Representation of Code: Types and Insights. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson Faustino da Silva, Edson Borin, Fernando Magno Quintão Pereira, Otávio Oliveira Napoli, Vanderson Martins do Rosário |
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure. |
SBLP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro |
An Intrinsically-Typed Solution for the List-Machine Benchmark. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro |
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | André Felipe Zanella, Anderson Faustino da Silva, Fernando Magno Quintão Pereira |
YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Castro G. Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia |
Monadic W in Coq. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Everton Cavalcante, Francisco Dantas, Thaís Batista (eds.) |
SBLP '20: 24th Brazilian Symposium on Programming Languages, Natal, Rio Grande do Norte, Brazil, October 19-23, 2020 |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Cassola, Agustín Talagorria, Alberto Pardo, Marcos Viera |
A Gradual Type System for Elixir. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Renato B. Hoffmann, Dalvan Griebler, Marco Danelutto, Luiz Gustavo Fernandes |
Stream Parallelism Annotations for Multi-Core Frameworks. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Sofiato, Fábio Levy Siqueira, Ricardo Luis de Azevedo da Rocha |
Towards an order-aware object comparison. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa |
An Algorithm for Context-Free Path Queries over Graph Databases. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano |
A formalisation of LEGv8 in Agda. |
SBLP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Ribeiro, João Saraiva, Alberto Pardo |
Java Stream Fusion: Adapting FP mechanisms for an OO setting. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
An Inherently-Typed Formalization for Featherweight Java. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Vieira, Sérgio Queiroz de Medeiros |
IML - An Image Manipulation Language. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Pieper, Dalvan Griebler, Luiz Gustavo Fernandes |
Structured Stream Parallelism for Rust. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019 |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois |
A Graph Transformation System formalism for Software Transactional Memory Opacity. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Ravedutti L. Machado, André Murbach Maidl, Daniel Weingaertner |
Profiling Halide DSL with CPU Performance Events for Schedule Optimization. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Geraldo Ribeiro, Leonardo Vieira dos Santos Reis, Samuel da Silva Feitosa, Elton M. Cardoso |
Towards Typed Semantics for Parsing Expression Grammars. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Breno Campos Ferreira Guimarães, José Wesley de S. Magalhães, Anderson Faustino da Silva, Fernando M. Q. Pereira |
Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Piñeyro, Alberto Pardo, Marcos Viera |
Structure verification of deep neural networks at compilation time using dependent types. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira |
Efficient and Precise Dynamic Construction of Control Flow Graphs. |
SBLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Figueroa, Bruno García, Paul Leger |
Towards progressive program verification in Dafny. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilberto Melfe, Alcides Fonseca, João Paulo Fernandes |
Evaluation of the impact on energy consumption of lazy versus strict evaluation of Haskell data-structures. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thales Antônio Delfino, Rodrigo Geraldo Ribeiro |
Towards certified virtual machine-based regular expression parsing. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro |
Type inference for GADTs, outsidein and anti-unification. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
Property-based testing for lambda expressions semantics in featherweight Java. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Queiroz de Medeiros, Fabio Mascarenhas |
Towards automatic error recovery in parsing expression grammars. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Ramos, Gleison Souza Diniz Mendonca, Guilherme V. Leobas, Fernando Magno Quintão Pereira |
Taskminer: automatic identification of tasks. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Diogo J. Cardoso, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta |
AsyncRFJ: an asynchronous approach to reactive object-oriented programming. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Elder Rodrigues Jr., Rafael Serapilha Durelli, Raphael Winckler de Bettio, Leonardo Montecchi, Ricardo Terra |
Refactorings for replacing dynamic instructions with static ones: the case of ruby. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Camarão 0001, Martin Sulzmann (eds.) |
Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018 |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Musso Gualandi, Roberto Ierusalimschy |
Pallene: a statically typed companion language for lua. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Renan Santos, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy |
Revisiting monitors. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme V. Leobas, Breno Campos Ferreira Guimarães, Fernando Magno Quintão Pereira |
More than meets the eye: invisible instructions. |
SBLP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Geraldo Ribeiro, André Rauber Du Bois |
Certified Bit-Coded Regular Expression Parsing. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ismael Figueroa |
A preliminary assessment of how monads are used in Haskell. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | João F. N. Carvalho, Bruno Luan de Sousa, Marcus R. Araújo, Mariza A. S. Bigonha |
The Register Allocation and Instruction Scheduling Challenge. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Mascarenhas (eds.) |
Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017, Fortaleza, CE, Brazil, September 21-22, 2017 |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Leite Viana, Andre Luís de Medeiros Santos |
A Domain-Specific Language for the Specification of Gesture-based Applications. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Fellipe Augusto Ugliara, Gustavo Maciel Dias Vieira, José de Oliveira Guimarães |
Transparent Replication Using Metaprogramming in Cyan. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Torrens, Cristiano D. Vasconcellos, Junia Gonçalves |
A hybrid intermediate language between SSA and CPS. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Couto 0001, Rui Pereira, Francisco Ribeiro, Rui Rua, João Saraiva |
Towards a Green Ranking for Programming Languages. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Rebêlo, Gary T. Leavens |
Aspect-Oriented Programming Reloaded. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Junio Cezar R. da Silva, Fernando Magno Quintão Pereira |
Demand-driven less-than analysis. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gonzalo Waszczuk, Alberto Pardo, Marcos Viera |
Extensible records in Idris. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Gadea, Emmanuel Gunther, Miguel Pagano |
The importance of being Extrinsic: Coherence and adequacy for a call-by-value language. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | João Paulo Fernandes, Pedro Martins 0001, Alberto Pardo, João Saraiva, Marcos Viera |
Memoized Zipper-Based Attribute Grammars. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jefferson de Carvalho Silva, Francisco Heron de Carvalho Junior |
A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Zhang, Zongyan Qiu |
Comparison Between Model Fields and Abstract Predicates. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarsila Bessa, Pedro Quintão, Michael Frank 0008, Fernando Magno Quintão Pereira |
JetsonLeap: A Framework to Measure Energy-Aware Code Optimizations in Embedded and Heterogeneous Systems. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Firsov, Wolfgang Jeltsch |
Purely Functional Incremental Computing. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel da Silva Feitosa, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta, André Rauber Du Bois |
A Monadic Semantics for Quantum Computing in Featherweight Java. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Medeiros Duarte, André Rauber Du Bois, Maurício L. Pilla, Gerson G. H. Cavalheiro, Renata Hax Sander Reiser |
Concurrent Hash Tables for Haskell. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Hu, Haiyang Liu, Ke Zhang, Zongyan Qiu |
Automatic Annotating and Checking of Dynamic Ownership. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Geraldo Ribeiro, Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos |
Optional Type Classes for Haskell. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Raul Lopes 0002, Rodrigo Geraldo Ribeiro, Carlos Camarão 0001 |
Certified Derivative-Based Parsing of Regular Expressions. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Belyakova |
Language Support for Generic Programming in Object-Oriented Languages: Peculiarities, Drawbacks, Ways of Improvement. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Castor, Yu David Liu (eds.) |
Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo C. O. Rocha, Luís F. W. Góes, Fernando Magno Quintão Pereira |
An Algebraic Framework for Parallelizing Recurrence in Functional Programming. |
SBLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyang Liu, Zongyan Qiu |
Go Model and Object Oriented Programming. |
SBLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Morais Ferreira, Britaldo Silveira Soares-Filho, Fernando Magno Quintão Pereira |
The Dinamica Virtual Machine for Geosciences. |
SBLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe L. Silva, Marcelo F. Luna, Wesley Attrot |
Color Flipping. |
SBLP |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license