Valmir Carneiro Barbosa

104 papers A 1B 3C 1Misc 2Journal 86Unranked 9

Year	Rank	Type	Title / Venue / Authors
2016	J	`jnl`	Approximating the degree sequences of two random graphs. CoRR Jefferson Elbert Simões, Daniel R. Figueiredo, Valmir Carneiro Barbosa
2016	Misc	`conf`	Deadlock models in distributed computation: foundations, design, and computational complexity. SAC Valmir Carneiro Barbosa, Alan Diêgo A. Carneiro, Fábio Protti, Uéverton S. Souza
2015	J	`jnl`	Adaptive event sensing in networks of autonomous mobile agents. CoRR Rodrigo R. Esch, Fábio Protti, Valmir Carneiro Barbosa
2015	J	`jnl`	Counting independent terms in big-oh notation. CoRR Fabiano de S. Oliveira, Valmir Carneiro Barbosa
2015	J	`jnl`	Detecting and Handling Flash-Crowd Events on Cloud Environments. CoRR Ubiratam de Paula Junior, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa, Lúcia M. A. Drummond
2015	—	`conf`	Early detection of epilepsy seizures based on a weightless neural network. EMBC Kleber de Aguiar, Felipe Maia Galvão França, Valmir Carneiro Barbosa, César A. D. Teixeira
2015	Misc	`conf`	Handling flash-crowd events to improve the performance of web applications. SAC Ubiratam de Paula Junior, Lúcia M. A. Drummond, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa
2015	J	`jnl`	Information Integration in Elementary Cellular Automata. J. Cell. Autom. Kátia K. Cassiano, Valmir Carneiro Barbosa
2015	J	`jnl`	Scheduling wireless links by graph multicoloring in the physical interference model. CoRR Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa
2015	J	`jnl`	The predecessor-existence problem for k-reversible processes. Theor. Comput. Sci. Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti
2014	—	`conf`	Cooperation in Cognitive Radio Networks. SBRC Pedro Smith Coutinho, José Ferreira de Rezende, Valmir Carneiro Barbosa
2014	J	`jnl`	Handling Flash-Crowd Events to Improve the Performance of Web Applications. CoRR Ubiratam de Paula Junior, Lúcia M. A. Drummond, Daniel de Oliveira, Yuri Frota, Valmir Carneiro Barbosa
2014	J	`jnl`	Revisiting deadlock prevention: A probabilistic approach. Networks Fabiano de S. Oliveira, Valmir Carneiro Barbosa
2013	J	`jnl`	An energy function and its application to the periodic behavior of k-reversible processes. CoRR Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti
2013	J	`jnl`	Effectively addressing complex proteomic search spaces with peptide spectrum matching. Bioinform. 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
2013	J	`jnl`	Local heuristic for the refinement of multi-path routing in wireless mesh networks. Comput. Networks Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida
2013	J	`jnl`	The Conduciveness of CA-Rule Graphs. Artif. Life Valmir Carneiro Barbosa
2013	J	`jnl`	The predecessor-existence problem for k-reversible processes. CoRR Leonardo I. L. Oliveira, Valmir Carneiro Barbosa, Fábio Protti
2012	J	`jnl`	Improving the TFold test for differential shotgun proteomics. Bioinform. Paulo C. Carvalho, John R. Yates III, Valmir Carneiro Barbosa
2012	J	`jnl`	Local heuristic for the refinement of multi-path routing in wireless mesh networks CoRR Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida
2012	J	`jnl`	Scheduling links for heavy traffic on interfering routes in wireless mesh networks. Comput. Networks Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida
2012	J	`jnl`	The conduciveness of CA-rule graphs CoRR Valmir Carneiro Barbosa
2012	J	`jnl`	The network structure of mathematical knowledge according to the Wikipedia, MathWorld, and DLMF online libraries CoRR Flavio B. Gonzaga, Valmir Carneiro Barbosa, Geraldo Xexéo
2011	J	`jnl`	Analyzing marginal cases in differential shotgun proteomics. Bioinform. Paulo C. Carvalho, Juliana S. G. Fischer, Jonas Perales, John R. Yates III, Valmir Carneiro Barbosa, Elias Bareinboim
2011	—	`conf`	Evolved Preambles for MAX-SAT Heuristics. IJCCI (ECTA-FCTA) Luis Otavio Rigo Junior, Valmir Carneiro Barbosa
2011	J	`jnl`	Evolved preambles for MAX-SAT heuristics CoRR Luis Otavio Rigo Junior, Valmir Carneiro Barbosa
2011	J	`jnl`	Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions. Nat. Comput. Fabio R. J. Vieira, Valmir Carneiro Barbosa
2011	J	`jnl`	Scheduling links for heavy traffic on interfering routes in wireless mesh networks CoRR Fabio R. J. Vieira, José Ferreira de Rezende, Valmir Carneiro Barbosa, Serge Fdida
2010	J	`jnl`	Network conduciveness with application to the graph-coloring and independent-set optimization transitions CoRR Valmir Carneiro Barbosa
2010	J	`jnl`	Revisiting deadlock prevention: a probabilistic approach CoRR Fabiano de S. Oliveira, Valmir Carneiro Barbosa
2010	J	`jnl`	XDIA: improving on the label-free data-independent analysis. Bioinform. Paulo C. Carvalho, Xuemei Han, Tao Xu, Daniel Cociorva, Maria da Gloria Carvalho, Valmir Carneiro Barbosa, John R. Yates III
2009	J	`jnl`	An algorithm for clock synchronization with the gradient property in sensor networks. J. Parallel Distributed Comput. Rodolfo M. Pussente, Valmir Carneiro Barbosa
2009	—	`conf`	Approximate Conditional Distributions of Distances between Nodes in a Two-Dimensional Sensor Network. ASMTA Rodrigo S. C. Leão, Valmir Carneiro Barbosa
2009	J	`jnl`	Partially ordered distributed computations on asynchronous point-to-point networks. Parallel Comput. Ricardo C. Corrêa, Valmir Carneiro Barbosa
2009	J	`jnl`	Structured construction and simulation of nondeterministic stochastic activity networks. Eur. J. Oper. Res. Valmir Carneiro Barbosa, Fernando M. L. Ferreira, Daniel V. Kling, Eduardo Lopes, Fábio Protti, Eber A. Schmitz
2009	J	`jnl`	YADA: a tool for taking the most out of high-resolution spectra. Bioinform. Paulo C. Carvalho, Tao Xu, Xuemei Han, Daniel Cociorva, Valmir Carneiro Barbosa, John R. Yates III
2008	J	`jnl`	Acyclic Orientations with Path Constraints. RAIRO Oper. Res. Rosa M. V. Figueiredo, Valmir Carneiro Barbosa, Nelson Maculan, Cid C. de Souza
2008	J	`jnl`	Approximate conditional distributions of distances between nodes in a two-dimensional sensor network CoRR Rodrigo S. C. Leão, Valmir Carneiro Barbosa
2008	J	`jnl`	PatternLab for proteomics: a tool for differential shotgun proteomics. BMC Bioinform. Paulo C. Carvalho, Juliana S. G. Fischer, Emily I. Chen, John R. Yates III, Valmir Carneiro Barbosa
2008	J	`jnl`	V-like Formations in Flocks of Artificial Birds. Artif. Life Andre Nathan, Valmir Carneiro Barbosa
2007	J	`jnl`	An algorithm for clock synchronization with the gradient property in sensor networks CoRR Rodolfo M. Pussente, Valmir Carneiro Barbosa
2007	J	`jnl`	Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions CoRR Fabio R. J. Vieira, Valmir Carneiro Barbosa
2007	J	`jnl`	Probabilistic heuristics for disseminating information in networks. IEEE/ACM Trans. Netw. Alexandre O. Stauffer, Valmir Carneiro Barbosa
2006	—	`conf`	A Methodology for Determining Amino-Acid Substitution Matrices from Set Covers. EvoWorkshops Alexandre H. L. Porto, Valmir Carneiro Barbosa
2006	J	`jnl`	Cell-centric heuristics for the classification of cellular automata. Parallel Comput. Valmir Carneiro Barbosa, Fernando M. N. Miranda, Matheus C. M. Agostini
2006	J	`jnl`	Finding routes in anonymous sensor networks. Inf. Process. Lett. Renato C. Dutra, Valmir Carneiro Barbosa
2006	J	`jnl`	Local heuristics and the emergence of spanning subgraphs in complex networks. Theor. Comput. Sci. Alexandre O. Stauffer, Valmir Carneiro Barbosa
2006	B	`conf`	Minimal Chordal Sense of Direction and Circulant Graphs. MFCS Rodrigo S. C. Leão, Valmir Carneiro Barbosa
2006	J	`jnl`	Modeling the Input History of Programs for Improved Instruction-Memory Performance. Comput. J. Carlos A. G. Assis, Edil S. T. Fernandes, Valmir Carneiro Barbosa
2006	—	`conf`	Multiple Sequence Alignment Based on Set Covers. EvoWorkshops Alexandre H. L. Porto, Valmir Carneiro Barbosa
2006	J	`jnl`	On simulating nondeterministic stochastic activity networks CoRR Valmir Carneiro Barbosa, Fernando M. L. Ferreira, Daniel V. Kling, Eduardo Lopes, Fábio Protti, Eber A. Schmitz
2006	J	`jnl`	Partially ordered distributed computations on asynchronous point-to-point networks CoRR Ricardo C. Corrêa, Valmir Carneiro Barbosa
2006	J	`jnl`	Two-dimensional cellular automata and the analysis of correlated time series. Pattern Recognit. Lett. Luis Otavio Rigo Junior, Valmir Carneiro Barbosa
2006	J	`jnl`	V-like formations in flocks of artificial birds CoRR Andre Nathan, Valmir Carneiro Barbosa
2005	J	`jnl`	6-cycle double covers of cubic graphs CoRR Rodrigo S. C. Leão, Valmir Carneiro Barbosa
2005	J	`jnl`	A dissemination strategy for immunizing scale-free networks CoRR Alexandre O. Stauffer, Valmir Carneiro Barbosa
2005	J	`jnl`	A study of the edge-switching Markov-chain method for the generation of random graphs CoRR Alexandre O. Stauffer, Valmir Carneiro Barbosa
2005	J	`jnl`	Acyclic orientations with path constraints CoRR Rosa M. V. Figueiredo, Valmir Carneiro Barbosa, Nelson Maculan, Cid C. de Souza
2005	J	`jnl`	Finding routes in anonymous sensor networks CoRR Renato C. Dutra, Valmir Carneiro Barbosa
2005	J	`jnl`	Generating all the cubic graphs that have a 6-cycle double cover. Electron. Notes Discret. Math. Rodrigo S. C. Leão, Valmir Carneiro Barbosa
2005	J	`jnl`	Minimal chordal sense of direction and circulant graphs CoRR Rodrigo S. C. Leão, Valmir Carneiro Barbosa
2005	J	`jnl`	Two-dimensional cellular automata and the analysis of correlated time series CoRR Luis Otavio Rigo Junior, Valmir Carneiro Barbosa
2004	J	`jnl`	A Novel Evolutionary Formulation of the Maximum Independent Set Problem. J. Comb. Optim. Valmir Carneiro Barbosa, Luciana C. D. Campos
2004	J	`jnl`	A distributed algorithm to find k-dominating sets. Discret. Appl. Math. Lucia Draque Penso, Valmir Carneiro Barbosa
2004	J	`jnl`	Local heuristics and the emergence of spanning subgraphs in complex networks CoRR Alexandre O. Stauffer, Valmir Carneiro Barbosa
2004	J	`jnl`	Modeling the input history of programs for improved instruction-memory performance CoRR Carlos A. G. Assis, Edil S. T. Fernandes, Valmir Carneiro Barbosa
2004	J	`jnl`	Probabilistic heuristics for disseminating information in networks CoRR Alexandre O. Stauffer, Valmir Carneiro Barbosa
2004	J	`jnl`	Two Novel Evolutionary Formulations of the Graph Coloring Problem. J. Comb. Optim. Valmir Carneiro Barbosa, Carlos A. G. Assis, Josina O. do Nascimento
2003	J	`jnl`	A distributed algorithm to find k-dominating sets CoRR Lucia Draque Penso, Valmir Carneiro Barbosa
2003	J	`jnl`	A novel evolutionary formulation of the maximum independent set problem CoRR Valmir Carneiro Barbosa, Luciana C. D. Campos
2003	J	`jnl`	Finding approximate palindromes in strings CoRR Alexandre H. L. Porto, Valmir Carneiro Barbosa
2003	J	`jnl`	On reducing the complexity of matrix clocks CoRR Lúcia M. A. Drummond, Valmir Carneiro Barbosa
2003	J	`jnl`	On reducing the complexity of matrix clocks. Parallel Comput. Lúcia M. A. Drummond, Valmir Carneiro Barbosa
2003	J	`jnl`	The combinatorics of resource sharing CoRR Valmir Carneiro Barbosa
2003	J	`jnl`	Two novel evolutionary formulations of the graph coloring problem CoRR Valmir Carneiro Barbosa, Carlos A. G. Assis, Josina O. do Nascimento
2002	J	`jnl`	Finding approximate palindromes in strings. Pattern Recognit. Alexandre H. L. Porto, Valmir Carneiro Barbosa
2002	C	`conf`	Instruction Usage and the Memory Gap Problem. SBAC-PAD Edil S. T. Fernandes, Valmir Carneiro Barbosa, Fabiano Ramos
2001	J	`jnl`	A distributed algorithm for k-dominating sets. Electron. Notes Discret. Math. Lucia Draque Penso, Valmir Carneiro Barbosa
2001	J	`jnl`	A priority dynamics for generalized drinking philosophers. Inf. Process. Lett. Valmir Carneiro Barbosa, Mario R. F. Benevides, Ayru L. Oliveira Filho
2001	B	`conf`	Learning Logic Programs with Neural Networks. ILP Rodrigo Basilio, Gerson Zaverucha, Valmir Carneiro Barbosa
2001	J	`jnl`	Sharing Resources at Nonuniform Access Rates. Theory Comput. Syst. Valmir Carneiro Barbosa, Mario R. F. Benevides, Felipe M. G. França
1999	J	`jnl`	Defeasible time-stepping. Parallel Comput. Roseli Suzi Wedemann, Valmir Carneiro Barbosa, Raul Donangelo
1999	J	`jnl`	Erratum to "Defeasible time-stepping" [Parallel Computing 25(4): 461-489 (1999)]. Parallel Comput. Roseli Suzi Wedemann, Valmir Carneiro Barbosa, Raul Donangelo
1999	J	`jnl`	Generating all the Acyclic Orientations of an Undirected Graph. Inf. Process. Lett. Valmir Carneiro Barbosa, Jayme Luiz Szwarcfiter
1998	B	`conf`	A Penalty-Function Approach to Rule Extraction from Knowledge-Based Neural Networks. ICONIP Romulo M. de Menezes, Gerson Zaverucha, Valmir Carneiro Barbosa
1998	J	`jnl`	An Introduction to Distributed Algorithms [Book Review]. IEEE Concurr. Svetozar Margenov, Valmir Carneiro Barbosa
1998	J	`jnl`	Learning in the combinatorial neural model. IEEE Trans. Neural Networks Ricardo José Machado, Valmir Carneiro Barbosa, Paulo Alexandre Neves
1998	—	`conf`	Towards a Hybrid Model of First-Order Theory Refinement. Hybrid Neural Systems Nelson A. Hallack, Gerson Zaverucha, Valmir Carneiro Barbosa
1996	—	`book`	An introduction to distributed algorithms. Valmir Carneiro Barbosa
1996	J	`jnl`	Distributed Breakpoint Detection in Message-Passing Programs. J. Parallel Distributed Comput. Lúcia Maria de A. Drummond, Valmir Carneiro Barbosa
1995	J	`jnl`	An Algorithm for FIFO Message Delivery Among Migrating Tasks. Inf. Process. Lett. Valmir Carneiro Barbosa, Stella C. S. Porto
1994	J	`jnl`	A neural system for deforestation monitoring on Landsat images of the Amazon Region. Int. J. Approx. Reason. Valmir Carneiro Barbosa, Ricardo José Machado, Frederico dos S. Liporace
1994	J	`jnl`	From distributed algorithms to OCCAM programs by successive refinements. J. Syst. Softw. Valmir Carneiro Barbosa, Lúcia Maria de A. Drummond, Astrid Luise H. Hellmuth
1993	J	`jnl`	A Bayesian-Network Approach to Lexical Disambiguation. Cogn. Sci. Leila M. R. Eizirik, Valmir Carneiro Barbosa, Sueli Bandeira Teixeira Mendes
1993	J	`jnl`	A String-Matching Algorithm for the CREW PRAM. Inf. Process. Lett. Nalvo F. de Almeida Jr., Valmir Carneiro Barbosa
1993	—	`book`	Massively parallel models of computation - distributed parallel processing in artificial intelligence and optimization. Valmir Carneiro Barbosa
1992	—	`conf`	Time Sharing in Hypercube Multiprocessors. SPDP Eliseu M. Chaves Filho, Valmir Carneiro Barbosa
1991	—	`conf`	Experiments in Parallel Heuristic Search. ICPP (3) Lélio de P. Sá Freitas, Valmir Carneiro Barbosa
1990	J	`jnl`	Blocking Versus Nonblocking Interprocess Communication: A Note on the Effect on Concurrency. Inf. Process. Lett. Valmir Carneiro Barbosa
1990	J	`jnl`	On the Distributed Parallel Simulation of Hopfield's Neural Networks. Softw. Pract. Exp. Valmir Carneiro Barbosa, Priscila Machado Vieira Lima
1990	J	`jnl`	Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. IEEE Trans. Software Eng. Valmir Carneiro Barbosa
1989	J	`jnl`	A Distributed Implementation of Simulated Annealing. J. Parallel Distributed Comput. Valmir Carneiro Barbosa, Eli Gafni
1989	J	`jnl`	Concurrency in Heavily Loaded Neighborhood-Constrained Systems. ACM Trans. Program. Lang. Syst. Valmir Carneiro Barbosa, Eli Gafni
1987	A	`conf`	Concurrency in Heavily Loaded Neighborhood-Constrained Systems. ICDCS Valmir Carneiro Barbosa, Eli Gafni