Specification of a communication virtual processor for parallel processing systems. - Valmir C. Barbosa; Felipe M. G. França (Microprocess. Microprogramming, 1988)

A Distributed Implementation of Simulated Annealing. - Valmir Carneiro Barbosa; Eli Gafni (J. Parallel Distributed Comput., 1989)

MPH - A Hybrid Parallel Machine. - Edil Severiano Tavares Fernandes; C. L. de Amorim; Valmir C. Barbosa; Felipe M. G. França; A. F. de Souza (Microprocess. Microprogramming, 1989)

Concurrency in Heavily Loaded Neighborhood-Constrained Systems. - Valmir Carneiro Barbosa; Eli Gafni (ACM Trans. Program. Lang. Syst., 1989)

Feasible directions linear programming by neural networks. - Valmir C. Barbosa; L. A. V. de Carvalho (IJCNN, 1990)

Blocking Versus Nonblocking Interprocess Communication: A Note on the Effect on Concurrency. - Valmir Carneiro Barbosa (Inf. Process. Lett., 1990)

An Occam-based evaluation of a parallel version of simulated annealing. - Valmir C. Barbosa; Maria Cristina Silva Boeres (Microprocessing and Microprogramming, 1990)

On the Distributed Parallel Simulation of Hopfield's Neural Networks. - Valmir Carneiro Barbosa; Priscila Machado Vieira Lima (Softw. Pract. Exp., 1990)

Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. - Valmir Carneiro Barbosa (IEEE Trans. Software Eng., 1990)

Experiments in Parallel Heuristic Search. - Lélio de P. Sá Freitas; Valmir Carneiro Barbosa (ICPP (3), 1991)

An integrated software environment for large-scale Occam programming. - Valmir C. Barbosa; Lúcia Maria de A. Drummond; Astrid Luise H. Hellmuth (Microprocessing and Microprogramming, 1991)

Micro-instruction placement by simulated annealing. - Edil S. T. Fernandes; Valmir C. Barbosa; Alberto Ferreira de Souza; Nelson Q. Vasconcelos (Microprocessing and Microprogramming, 1991)

Time Sharing in Hypercube Multiprocessors. - Eliseu M. Chaves Filho; Valmir Carneiro Barbosa (SPDP, 1992)

Fast linear system solution by neural networks. - Luís Alfredo V. de Carvalho; Valmir C. Barbosa (Oper. Res. Lett., 1992)

Massively parallel models of computation - distributed parallel processing in artificial intelligence and optimization. - Valmir Carneiro Barbosa (Ellis Horwood, 1993)

A Bayesian-Network Approach to Lexical Disambiguation. - Leila M. R. Eizirik; Valmir Carneiro Barbosa; Sueli Bandeira Teixeira Mendes (Cogn. Sci., 1993)

A String-Matching Algorithm for the CREW PRAM. - Nalvo F. de Almeida Jr.; Valmir Carneiro Barbosa (Inf. Process. Lett., 1993)

A neural system for deforestation monitoring on Landsat images of the Amazon Region. - Valmir Carneiro Barbosa; Ricardo José Machado; Frederico dos S. Liporace (Int. J. Approx. Reason., 1994)

From distributed algorithms to OCCAM programs by successive refinements. - Valmir Carneiro Barbosa; Lúcia Maria de A. Drummond; Astrid Luise H. Hellmuth (J. Syst. Softw., 1994)

An Algorithm for FIFO Message Delivery Among Migrating Tasks. - Valmir Carneiro Barbosa; Stella C. S. Porto (Inf. Process. Lett., 1995)

An introduction to distributed algorithms. - Valmir Carneiro Barbosa (MIT Press, 1996)

Distributed Breakpoint Detection in Message-Passing Programs. - Lúcia Maria de A. Drummond; Valmir Carneiro Barbosa (J. Parallel Distributed Comput., 1996)

Towards a Hybrid Model of First-Order Theory Refinement. - Nelson A. Hallack; Gerson Zaverucha; Valmir Carneiro Barbosa (Hybrid Neural Systems, 1998)

A Penalty-Function Approach to Rule Extraction from Knowledge-Based Neural Networks. - Romulo M. de Menezes; Gerson Zaverucha; Valmir Carneiro Barbosa (ICONIP, 1998)

An Introduction to Distributed Algorithms [Book Review]. - Svetozar Margenov; Valmir Carneiro Barbosa (IEEE Concurr., 1998)

Learning in the combinatorial neural model. - Ricardo José Machado; Valmir Carneiro Barbosa; Paulo Alexandre Neves (IEEE Trans. Neural Networks, 1998)

Generating all the Acyclic Orientations of an Undirected Graph. - Valmir Carneiro Barbosa; Jayme Luiz Szwarcfiter (Inf. Process. Lett., 1999)

Defeasible time-stepping. - Roseli Suzi Wedemann; Valmir Carneiro Barbosa; Raul Donangelo (Parallel Comput., 1999)

Erratum to "Defeasible time-stepping" [Parallel Computing 25(4): 461-489 (1999)]. - Roseli Suzi Wedemann; Valmir Carneiro Barbosa; Raul Donangelo (Parallel Comput., 1999)

Learning Logic Programs with Neural Networks. - Rodrigo Basilio; Gerson Zaverucha; Valmir Carneiro Barbosa (ILP, 2001)

A distributed algorithm for k-dominating sets. - Lucia Draque Penso; Valmir Carneiro Barbosa (Electron. Notes Discret. Math., 2001)

A priority dynamics for generalized drinking philosophers. - Valmir Carneiro Barbosa; Mario R. F. Benevides; Ayru L. Oliveira Filho (Inf. Process. Lett., 2001)

Sharing Resources at Nonuniform Access Rates. - Valmir Carneiro Barbosa; Mario R. F. Benevides; Felipe M. G. França (Theory Comput. Syst., 2001)

Instruction Usage and the Memory Gap Problem. - Edil S. T. Fernandes; Valmir Carneiro Barbosa; Fabiano Ramos (SBAC-PAD, 2002)

Finding approximate palindromes in strings. - Alexandre H. L. Porto; Valmir Carneiro Barbosa (Pattern Recognit., 2002)

The combinatorics of resource sharing - Valmir Carneiro Barbosa (CoRR, 2003)

On reducing the complexity of matrix clocks. - Lúcia M. A. Drummond; Valmir Carneiro Barbosa (Parallel Comput., 2003)

A distributed algorithm to find k-dominating sets. - Lucia Draque Penso; Valmir Carneiro Barbosa (Discret. Appl. Math., 2004)

Two Novel Evolutionary Formulations of the Graph Coloring Problem. - Valmir Carneiro Barbosa; Carlos A. G. Assis; Josina O. do Nascimento (J. Comb. Optim., 2004)

A Novel Evolutionary Formulation of the Maximum Independent Set Problem. - Valmir Carneiro Barbosa; Luciana C. D. Campos (J. Comb. Optim., 2004)

6-cycle double covers of cubic graphs - Rodrigo S. C. Leão; Valmir Carneiro Barbosa (CoRR, 2005)

A dissemination strategy for immunizing scale-free networks - Alexandre O. Stauffer; Valmir Carneiro Barbosa (CoRR, 2005)

A study of the edge-switching Markov-chain method for the generation of random graphs - Alexandre O. Stauffer; Valmir Carneiro Barbosa (CoRR, 2005)

Generating all the cubic graphs that have a 6-cycle double cover. - Rodrigo S. C. Leão; Valmir Carneiro Barbosa (Electron. Notes Discret. Math., 2005)

Multiple Sequence Alignment Based on Set Covers. - Alexandre H. L. Porto; Valmir Carneiro Barbosa (EvoWorkshops, 2006)

A Methodology for Determining Amino-Acid Substitution Matrices from Set Covers. - Alexandre H. L. Porto; Valmir Carneiro Barbosa (EvoWorkshops, 2006)

Minimal Chordal Sense of Direction and Circulant Graphs. - Rodrigo S. C. Leão; Valmir Carneiro Barbosa (MFCS, 2006)

Modeling the Input History of Programs for Improved Instruction-Memory Performance. - Carlos A. G. Assis; Edil S. T. Fernandes; Valmir Carneiro Barbosa (Comput. J., 2006)

On simulating nondeterministic stochastic activity networks - Valmir Carneiro Barbosa; Fernando M. L. Ferreira; Daniel V. Kling; Eduardo Lopes; Fábio Protti; Eber A. Schmitz (CoRR, 2006)

Finding routes in anonymous sensor networks. - Renato C. Dutra; Valmir Carneiro Barbosa (Inf. Process. Lett., 2006)

Cell-centric heuristics for the classification of cellular automata. - Valmir Carneiro Barbosa; Fernando M. N. Miranda; Matheus C. M. Agostini (Parallel Comput., 2006)

Two-dimensional cellular automata and the analysis of correlated time series. - Luis Otavio Rigo Junior; Valmir Carneiro Barbosa (Pattern Recognit. Lett., 2006)

Local heuristics and the emergence of spanning subgraphs in complex networks. - Alexandre O. Stauffer; Valmir Carneiro Barbosa (Theor. Comput. Sci., 2006)

Probabilistic heuristics for disseminating information in networks. - Alexandre O. Stauffer; Valmir Carneiro Barbosa (IEEE/ACM Trans. Netw., 2007)

V-like Formations in Flocks of Artificial Birds. - Andre Nathan; Valmir Carneiro Barbosa (Artif. Life, 2008)

PatternLab for proteomics: a tool for differential shotgun proteomics. - Paulo C. Carvalho; Juliana S. G. Fischer; Emily I. Chen; John R. Yates III; Valmir Carneiro Barbosa (BMC Bioinform., 2008)

Acyclic Orientations with Path Constraints. - Rosa M. V. Figueiredo; Valmir Carneiro Barbosa; Nelson Maculan; Cid C. de Souza (RAIRO Oper. Res., 2008)

Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network. - Rodrigo S. C. Leão; Valmir Carneiro Barbosa (ASMTA, 2009)

YADA: a tool for taking the most out of high-resolution spectra. - Paulo C. Carvalho; Tao Xu; Xuemei Han; Daniel Cociorva; Valmir Carneiro Barbosa; John R. Yates III (Bioinform., 2009)

Structured construction and simulation of nondeterministic stochastic activity networks. - Valmir Carneiro Barbosa; Fernando M. L. Ferreira; Daniel V. Kling; Eduardo Lopes; Fábio Protti; Eber A. Schmitz (Eur. J. Oper. Res., 2009)

An algorithm for clock synchronization with the gradient property in sensor networks. - Rodolfo M. Pussente; Valmir Carneiro Barbosa (J. Parallel Distributed Comput., 2009)

Partially ordered distributed computations on asynchronous point-to-point networks. - Ricardo C. Corrêa; Valmir Carneiro Barbosa (Parallel Comput., 2009)

Exploiting the distribution of distances between nodes to efficiently solve the localization problem in wireless sensor networks. - Rodrigo S. C. Leão; Valmir C. Barbosa (PM2HW2N@MSWiM, 2010)

XDIA: improving on the label-free data-independent analysis. - Paulo C. Carvalho; Xuemei Han; Tao Xu; Daniel Cociorva; Maria da Gloria Carvalho; Valmir Carneiro Barbosa; John R. Yates III (Bioinform., 2010)

Network conduciveness with application to the graph-coloring and independent-set optimization transitions - Valmir Carneiro Barbosa (CoRR, 2010)

Evolved Preambles for MAX-SAT Heuristics. - Luis Otavio Rigo Junior; Valmir Carneiro Barbosa (IJCCI (ECTA-FCTA), 2011)

Analyzing marginal cases in differential shotgun proteomics. - Paulo C. Carvalho; Juliana S. G. Fischer; Jonas Perales; John R. Yates III; Valmir Carneiro Barbosa; Elias Bareinboim (Bioinform., 2011)

Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions. - Fabio R. J. Vieira; Valmir Carneiro Barbosa (Nat. Comput., 2011)

Improving the TFold test for differential shotgun proteomics. - Paulo C. Carvalho; John R. Yates III; Valmir Carneiro Barbosa (Bioinform., 2012)

Scheduling links for heavy traffic on interfering routes in wireless mesh networks. - Fabio R. J. Vieira; José Ferreira de Rezende; Valmir Carneiro Barbosa; Serge Fdida (Comput. Networks, 2012)

The Conduciveness of CA-Rule Graphs. - Valmir Carneiro Barbosa (Artif. Life, 2013)

Effectively addressing complex proteomic search spaces with peptide spectrum matching. - Diogo B. Lima; Yasset Pérez-Riverol; Fabio C. S. Nogueira; Gilberto B. Domont; Jesus Noda; Felipe da Veiga Leprevost; Vladimir Besada; Felipe M. G. França; Valmir Carneiro Barbosa; Aniel Sánchez; Paulo C. Carvalho (Bioinform., 2013)

Local heuristic for the refinement of multi-path routing in wireless mesh networks. - Fabio R. J. Vieira; José Ferreira de Rezende; Valmir Carneiro Barbosa; Serge Fdida (Comput. Networks, 2013)

An energy function and its application to the periodic behavior of k-reversible processes. - Leonardo I. L. Oliveira; Valmir Carneiro Barbosa; Fábio Protti (CoRR, 2013)

Cooperation in Cognitive Radio Networks. - Pedro Smith Coutinho; José Ferreira de Rezende; Valmir Carneiro Barbosa (SBRC, 2014)

The network structure of mathematical knowledge according to the Wikipedia, MathWorld, and DLMF online libraries. - Flavio B. Gonzaga; Valmir C. Barbosa; Geraldo Xexéo (Netw. Sci., 2014)

Revisiting deadlock prevention: A probabilistic approach. - Fabiano de S. Oliveira; Valmir Carneiro Barbosa (Networks, 2014)

Early detection of epilepsy seizures based on a weightless neural network. - Kleber de Aguiar; Felipe Maia Galvão França; Valmir Carneiro Barbosa; César A. D. Teixeira (EMBC, 2015)

Handling flash-crowd events to improve the performance of web applications. - Ubiratam de Paula Junior; Lúcia M. A. Drummond; Daniel de Oliveira 001; Yuri Frota; Valmir Carneiro Barbosa (SAC, 2015)

Error-Prone Cellular Automata as Metaphors of Immunity as Computation. - Kátia K. Cassiano; Valmir C. Barbosa (Complex Syst., 2015)

Detecting and Handling Flash-Crowd Events on Cloud Environments. - Ubiratam de Paula Junior; Daniel de Oliveira 001; Yuri Frota; Valmir Carneiro Barbosa; Lúcia M. A. Drummond (CoRR, 2015)

Counting independent terms in big-oh notation. - Fabiano de S. Oliveira; Valmir Carneiro Barbosa (CoRR, 2015)

Scheduling wireless links by graph multicoloring in the physical interference model. - Fabio R. J. Vieira; José Ferreira de Rezende; Valmir Carneiro Barbosa (CoRR, 2015)

Information Integration in Elementary Cellular Automata. - Kátia K. Cassiano; Valmir Carneiro Barbosa (J. Cell. Autom., 2015)

Further insights into the interareal connectivity of a cortical network. - Luciano Dyballa; Valmir C. Barbosa (Netw. Sci., 2015)

The predecessor-existence problem for k-reversible processes. - Leonardo I. L. Oliveira; Valmir Carneiro Barbosa; Fábio Protti (Theor. Comput. Sci., 2015)

Deadlock models in distributed computation: foundations, design, and computational complexity. - Valmir Carneiro Barbosa; Alan Diêgo A. Carneiro; Fábio Protti; Uéverton S. Souza (SAC, 2016)

Scheduling wireless links by vertex multicoloring in the physical interference model. - Fabio R. J. Vieira; José Ferreira de Rezende; Valmir C. Barbosa (Comput. Networks, 2016)

On the mediation of program allocation in high-demand environments. - Fabiano de S. Oliveira; Valmir C. Barbosa (CoRR, 2016)

Approximating the degree sequences of two random graphs. - Jefferson Elbert Simões; Daniel R. Figueiredo 001; Valmir Carneiro Barbosa (CoRR, 2016)

Adaptive event sensing in networks of autonomous mobile agents. - Rodrigo R. Esch; Fábio Protti; Valmir C. Barbosa (J. Netw. Comput. Appl., 2016)

DiagnoProt: a tool for discovery of new molecules by mass spectrometry. - André Ramos Fernandes Da Silva; Diogo B. Lima; Alejandro Leyva; Rosario Durán; Carlos Batthyany; Priscila F. Aquino; Juliana C. Leal; Jimmy E. Rodriguez; Gilberto B. Domont; Marlon D. M. Santos; Julia Chamot-Rooke; Valmir C. Barbosa; et al. (Bioinform., 2017)

Information Integration from Distributed Threshold-Based Interactions. - Valmir C. Barbosa (Complex., 2017)

A note on counting independent terms in asymptotic expressions of computational complexity. - Fabiano de S. Oliveira; Valmir C. Barbosa (Optim. Lett., 2017)

A Distributed System for SearchOnMath Based on the Microsoft BizSpark Program. - Ricardo M. Oliveira; Flavio B. Gonzaga; Valmir C. Barbosa; Geraldo Bonorino Xexéo (SBBD, 2018)

Sketching Data Structures for Massive Graph Problems. - Juan P. A. Lopes; Fabiano de S. Oliveira; Paulo E. D. Pinto; Valmir C. Barbosa (Poly/DMAH@VLDB, 2018)

A computational study of f-reversible processes on graphs. - Carlos Vinícius G. C. Lima; Leonardo I. L. Oliveira; Valmir C. Barbosa; Mitre Costa Dourado; Fábio Protti; Jayme Luiz Szwarcfiter (Discret. Appl. Math., 2018)

Top-Down Garbage Collector: a tool for selecting high-quality top-down proteomics mass spectra. - Diogo B. Lima; André Ramos Fernandes Da Silva; Mathieu Dupré; Marlon D. M. Santos; Milan A. Clasen; Louise U. Kurt; Priscila F. Aquino; Valmir C. Barbosa; Paulo C. Carvalho; Julia Chamot-Rooke (Bioinform., 2019)

Local Symmetry in Random Graphs. - Jefferson Elbert Simões; Daniel R. Figueiredo 001; Valmir C. Barbosa (IEEE Trans. Netw. Sci. Eng., 2020)

Scheduling Wireless Links in the Physical Interference Model by Fractional Edge Coloring. - Guilherme Iecker Ricardo; José Ferreira de Rezende; Valmir C. Barbosa (IEEE Wirel. Commun. Lett., 2020)

Integrated Optimization of Heterogeneous-Network Management and the Elusive Role of Macrocells. - Raphael M. Guedes; José Ferreira de Rezende; Valmir C. Barbosa (IEEE Access, 2021)

Shape complexity in cluster analysis. - Eduardo J. Aguilar; Valmir C. Barbosa (CoRR, 2022)

Increasing confidence in proteomic spectral deconvolution through mass defect. - Milan A. Clasen; Louise U. Kurt; Marlon D. M. Santos; Diogo B. Lima; Fan Liu; Fábio C. Gozzo; Valmir C. Barbosa; Paulo C. Carvalho (Bioinform., 2022)

Near-optimal pilot assignment in cell-free massive MIMO. - Raphael M. Guedes; José Ferreira de Rezende; Valmir C. Barbosa (CoRR, 2023)

A flexible algorithm to offload DAG applications for edge computing. - Gabriel F. C. de Queiroz; José Ferreira de Rezende; Valmir C. Barbosa (J. Netw. Comput. Appl., 2024)

Exact Solution of the Full RMSA Problem in Elastic Optical Networks. - Fabio David; José Ferreira de Rezende; Valmir C. Barbosa (IEEE Netw. Lett., 2024)