default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRosiane de Freitas
Person information
- affiliation: Universidade Federal do Amazonas, Manaus, AM, Brazil
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j15]Larissa Pessoa
, Lia Martins, Meng Hsu, Rosiane de Freitas:
ZoAM GameBot: A Journey to the Lost Computational World in the Amazonia. ACM Journal on Computing and Cultural Heritage 17(3): 48:1-48:21 (2024)- [j14]Samuel N. Araújo, João Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio:
Graph convexity impartial games: Complexity and winning strategies. Theor. Comput. Sci. 998: 114534 (2024) - [c38]Ricardo Miranda Filho, Ricardo Bonfim, Larissa Pessoa, Raimundo S. Barreto, Rosiane de Freitas:
Measuring the Execution Time of Programs from different Android Embedded Programming Languages. CLEI 2024: 1-9 - [c37]Maristela Holanda, María Elena García-Díaz, Alexandra González Eras, Carolina González-Süllow, Alicia García-Holgado, Gabriela Marín-Raventós, Donna A. Roper, Germania Rodríguez Morales, Rosiane de Freitas:
A Literature Mapping of the Congress of Latin American Women in Computing (LAWCC) Papers. LAWCC@CLEI 2024: 13-26 - [c36]Girlana Souza, Pedro Matias, Ricardo Miranda Filho, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas:
Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices. VISSOFT 2024: 106-110 - [i7]Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan Gabriel Colonna, Lucas C. Cordeiro, Rosiane de Freitas:
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. CoRR abs/2404.09384 (2024) - [i6]Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro:
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. CoRR abs/2406.15281 (2024) - [i5]Jonas Costa, Lucas Castro, Rosiane de Freitas:
Exploring monotonic priority queues for Dijkstra optimization. CoRR abs/2409.06061 (2024) - 2023
- [c35]Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro:
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). FASE 2023: 324-329 - [c34]Samuel N. Araújo, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio:
Complexity and winning strategies of graph convexity games (Brief Announcement). LAGOS 2023: 394-396 - [c33]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: 56-63 - 2022
- [j13]Clarice de Souza, Micael Oliveira, João Alfredo Bessa, Kelson Mota, Rosiane de Freitas:
3D structural prediction, analysis and validation of Sars-Cov-2 protein molecules. CLEI Electron. J. 25(2) (2022) - [j12]Péricles Silva de Oliveira, Altigran S. da Silva, Edleno Silva de Moura, Rosiane de Freitas:
Efficient Match-Based Candidate Network Generation for Keyword Queries Over Relational Databases. IEEE Trans. Knowl. Data Eng. 34(4): 1735-1750 (2022) - [c32]Thailsson Clementino, Juan Rosas, Rosiane de Freitas, Eduardo Uchoa:
Solving real urban VRPTW instances by applying a Branch-Cut-and-Price via VRPsolver. CLEI 2022: 1-8 - [c31]Elian Souza, Edwin Monteiro, Raimundo S. Barreto, Rosiane de Freitas:
A Context-Aware Automatic Smartphone Reconfiguration. ICCE 2022: 1-7 - [c30]Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. ISSTA 2022: 777-780 - [d3]Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro:
FuSeBMC v.5: Interval Analysis and Methods for Test Case Generation. Zenodo, 2022
- [d2]Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC-Jimple ISSTA'22 Benchmarks. Version 1. Zenodo, 2022 [all versions] - [d1]Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC-Jimple ISSTA'22 Benchmarks. Version 2. Zenodo, 2022 [all versions] - [i4]Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro:
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation. CoRR abs/2206.04397 (2022) - [i3]Isac M. Lacerda, Eber A. Schmitz, Jayme Luiz Szwarcfiter, Rosiane de Freitas:
Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value. CoRR abs/2207.03330 (2022) - 2021
- [j11]Rosiane de Freitas Rodrigues, Bruno Dias, Nelson Maculan, Jayme Luiz Szwarcfiter:
On distance graph coloring problems. Int. Trans. Oper. Res. 28(3): 1213-1241 (2021) - [j10]Bruno Dias, Rosiane de Freitas Rodrigues, Nelson Maculan, Philippe Michelon:
Integer and constraint programming approaches for providing optimality to the bandwidth multicoloring problem. RAIRO Oper. Res. 55(Supplement): S1949-S1967 (2021) - [j9]Gustavo de Freitas Martins, Genildo Gomes, Júlia Luiza Conceição, Leonardo C. Marques, Dan da Silva, Thais Castro, Bruno Gadelha, Rosiane de Freitas:
Bumbometer digital crowd game: collaboration through competition in entertainment events. J. Interact. Syst. 12(1): 294-307 (2021) - [c29]Rosiane de Freitas, Elton Lever, Raquel Folz, Yuri Gagarin Soares, Fábio Pimentel, Marcos M. Salvatierra:
Optimal scheduling of arborescences using the Gangal-Ranade algorithm. CLEI 2021: 1-5 - [c28]Clarice de Souza, João Alfredo Bessa, Rosiane de Freitas, Micael Oliveira, Kelson Mota:
Improvement of SARS-CoV-2 macromolecule conformation by algorithmic structural prediction. CLEI 2021: 1-9 - 2020
- [j8]Rosiane de Freitas, João M. B. Cavalcanti, Sergio Cleger, Niro Higuchi, Carlos Henrique Souza Celes, Adriano Jose Nogueira Lima:
Estimating Amazon carbon stock using AI-based remote sensing. Commun. ACM 63(11): 46-48 (2020) - [c27]Júlia Luiza Conceição, Rosiane de Freitas, Bruno Gadelha, João Gustavo Kienen, Sérgio Anders, Brendo Cavalcante:
Applying supervised learning techniques to Brazilian music genre classification. CLEI 2020: 102-107 - [c26]Victoria Guimarães, Ariel Luane Bentes, Raquel Folz, Thiago Melo, Rosiane de Freitas:
W-STEAM Card Game to Develop Computational Thinking. LAWCC@CLEI 2020: 116-127 - [c25]Rosiane de Freitas, Juliana Magalhães, Bruna Mariana Souza, Júlia Luiza Conceição, Maria Luiza Edwards, Joseph Paz, Leonardo da Silva, Matheus Uchoa:
Mistura de Gêneros e Habilidades no Desenvolvimento de um Aplicativo Móvel para Mulheres em Situações de Risco (Gender Mixing and Skills in Developing a Mobile Application for Women at Risk). LAWCC@CLEI 2020: 140-151 - [c24]Gustavo de Freitas Martins, Rosiane de Freitas, Bruno Gadelha:
A mobile game based on participatory sensing with real-time client-server architecture for large entertainment events. CLEI 2020: 332-339 - [c23]Gustavo de Freitas Martins, Genildo Gomes, Júlia Luiza Conceição, Leonardo C. Marques, Dan da Silva, Thais Castro, Bruno Gadelha, Rosiane de Freitas:
Enhanced interaction: audience engagement in entertainment events through the Bumbometer app. IHC 2020: 13:1-13:9 - [c22]Genildo Gomes, Rosiane de Freitas, Thais Castro, Bruno Gadelha:
InteraHeu: heuristics for technological interaction on events. IHC 2020: 50:1-50:6
2010 – 2019
- 2019
- [c21]Victor Vasconcelos, Mauro Amazonas, Thais Castro, Rosiane Rodrigues, Hugo Fuks, Katia Vega, Bruno Gadelha:
Redefining Audience Role in Live Performances. HCI (1) 2019: 358-377 - [c20]Fernanda Pires, Fábio Michel Maquiné de Lima, Rafaela Melo, João Ricardo Serique Bernardo, Rosiane de Freitas:
Gamification and Engagement: Development of Computational Thinking and the Implications in Mathematical Learning. ICALT 2019: 362-366 - 2018
- [j7]Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto:
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. Sci. Comput. Program. 165: 38-53 (2018) - [c19]Ludymila Lobo de Aguiar Gomes, José Reginaldo Hughes Carvalho, Tanara Lauschner, Fabíola G. Nakamura, Rosiane de Freitas:
Encouraging Women to Pursue a Computer Science Career in the Context of a Third World Country. FIE 2018: 1-5 - [c18]Pericles de Oliveira, Altigran S. da Silva, Edleno Silva de Moura, Rosiane Rodrigues:
Match-Based Candidate Network Generation for Keyword Queries over Relational Databases. ICDE 2018: 1344-1347 - [c17]Victor Vasconcelos, Mauro Amazonas, Thais Castro, Rosiane de Freitas, Bruno Gadelha:
Watch or Immerse?: Redefining Your Role in Big Shows. IHC 2018: 41:1-41:9 - [c16]Bruno Dias, Rosiane de Freitas Rodrigues, Nelson Maculan, Javier Marenco:
The Distance Polytope for the Vertex Coloring Problem. ISCO 2018: 144-156 - [i2]Simone Gama, Rosiane de Freitas, Mário Salvatierra:
Choosability in bounded sequential list coloring. CoRR abs/1812.11685 (2018) - 2017
- [j6]Bruno Dias, Rosiane de Freitas Rodrigues, Nelson Maculan, Javier Marenco:
Facet-inducing inequalities and a cut-and-branch for the bandwidth coloring polytope based on the orientation model. Electron. Notes Discret. Math. 62: 141-146 (2017) - [c15]Rainer Amorim, Marcos Thomaz, Rosiane de Freitas Rodrigues:
Solving large instances applying meta-heuristics for classical parallel machine scheduling problems under tardiness and earliness penalties. CLEI 2017: 1-10 - [c14]Simone Gama, Rosiane de Freitas, Mario Salvatierra:
Choosability in coloring problems of graphs with restricted color lists. CLEI 2017: 1-10 - 2016
- [c13]Eduardo Bezerra Valentin, Rosiane de Freitas, Raimundo S. Barreto:
Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. ICCS 2016: 1135-1146 - [c12]Eduardo Valentin, Rosiane de Freitas, Raimundo S. Barreto:
Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem. SBESC 2016: 128-135 - [i1]Rosiane de Freitas Rodrigues, Bruno Dias, Nelson Maculan, Jayme Luiz Szwarcfiter:
Distance geometry approach for special graph coloring problems. CoRR abs/1606.04978 (2016) - 2015
- [j5]Antonio Mucherino, Rosiane de Freitas Rodrigues, Carlile Lavor:
Preface. Discret. Appl. Math. 197: 1-2 (2015) - [c11]Diego Rodrigues, Altigran S. da Silva, Rosiane Rodrigues, Eulanda Miranda dos Santos:
Using active learning techniques for improving database schema matching methods. IJCNN 2015: 1-8 - [c10]Eduardo Valentin, Mario Salvatierra, Rosiane de Freitas, Raimundo S. Barreto:
Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. PATMOS 2015: 1-8 - 2014
- [j4]Rosiane de Freitas Rodrigues, Mitre Costa Dourado, Jayme Luiz Szwarcfiter:
Scheduling problem with multi-purpose parallel machines. Discret. Appl. Math. 164: 313-319 (2014) - [c9]Aurélio da Silva Grande, Rosiane de Freitas Rodrigues, Arilo Claudio Dias-Neto:
A Framework to Support the Selection of Software Technologies by Search-Based Strategy. ICTAI 2014: 979-983 - [c8]Gilbert Breves Martins, Rosiane de Freitas, Eduardo Souto:
Virtual structures and heterogeneous nodes in dependency graphs for detecting metamorphic malware. IPCCC 2014: 1-8 - 2013
- [c7]Clarice Santos, Rosiane de Freitas, Mario Salvatierra:
Sphere intersection algorithms for Molecular Distance Geometry Problem. CLEI 2013: 1-4 - [c6]Rainer Amorim, Bruno Dias, Rosiane de Freitas Rodrigues, Eduardo Uchoa:
A hybrid genetic algorithm with local search approach for E/T scheduling problems on identical parallel machines. GECCO (Companion) 2013: 63-64 - [c5]Anna Beatriz dos Santos Marques, José Reginaldo Hughes Carvalho, Rosiane Rodrigues, Tayana Conte, Rafael Prikladnicki, Sabrina Marczak:
An Ontology for Task Allocation to Teams in Distributed Software Development. ICGSE 2013: 21-30 - [c4]Adriana Dantas, Bruna Ferreira, Ingrid Costa, Ludymila Gomes, Mariane Aoki, Tayana Conte, Rosiane Rodrigues:
Da Teoria à Prática: Aplicando técnicas de IHC em um Aplicativo Móvel voltado para Grávidas. WEIHC 2013: 31-16 - 2012
- [c3]Anna Beatriz dos Santos Marques, Rosiane Rodrigues, Tayana Conte:
Systematic Literature Reviews in Distributed Software Development: A Tertiary Study. ICGSE 2012: 134-143 - [c2]Aurélio da Silva Grande, Arilo Claudio Dias Neto, Rosiane de Freitas Rodrigues:
Providing Trade-Off Techniques Subsets to Improve Software Testing Effectiveness: Using Evolutionary Algorithm to Support Software Testing Techniques Selection by a Web Tool. SBIA 2012: 222-232 - 2011
- [c1]Arilo Claudio Dias Neto, Rosiane de Freitas Rodrigues, Guilherme Horta Travassos:
Porantim-Opt: Optimizing the Combined Selection of Model-Based Testing Techniques. ICST Workshops 2011: 174-183 - 2010
- [j3]Mitre Costa Dourado, Rosiane de Freitas Rodrigues, Jayme Luiz Szwarcfiter:
Scheduling on parallel machines considering job-machine dependency constraints. Electron. Notes Discret. Math. 36: 431-438 (2010) - [j2]Artur Alves Pessoa, Eduardo Uchoa, Marcus Poggi de Aragão, Rosiane de Freitas Rodrigues:
Exact algorithm over an arc-time-indexed formulation for parallel machine scheduling problems. Math. Program. Comput. 2(3-4): 259-290 (2010)
2000 – 2009
- 2009
- [j1]Mitre Costa Dourado, Rosiane de Freitas Rodrigues, Jayme Luiz Szwarcfiter:
Scheduling unit time jobs with integer release dates to minimize the weighted number of tardy jobs. Ann. Oper. Res. 169(1): 81-91 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
