Scheduling unit time jobs with integer release dates to minimize the weighted number of tardy jobs. - Mitre Costa Dourado; Rosiane de Freitas Rodrigues; Jayme Luiz Szwarcfiter (Ann. Oper. Res., 2009)

Scheduling on parallel machines considering job-machine dependency constraints. - Mitre Costa Dourado; Rosiane de Freitas Rodrigues; Jayme Luiz Szwarcfiter (Electron. Notes Discret. Math., 2010)

Exact algorithm over an arc-time-indexed formulation for parallel machine scheduling problems. - Artur Alves Pessoa; Eduardo Uchoa; Marcus Poggi de Aragão; Rosiane de Freitas Rodrigues (Math. Program. Comput., 2010)

Porantim-Opt: Optimizing the Combined Selection of Model-Based Testing Techniques. - Arilo Claudio Dias Neto; Rosiane de Freitas Rodrigues; Guilherme Horta Travassos (ICST Workshops, 2011)

Systematic Literature Reviews in Distributed Software Development: A Tertiary Study. - Anna Beatriz dos Santos Marques; Rosiane Rodrigues; Tayana Conte (ICGSE, 2012)

Providing Trade-Off Techniques Subsets to Improve Software Testing Effectiveness: Using Evolutionary Algorithm to Support Software Testing Techniques Selection by a Web Tool. - Aurélio da Silva Grande; Arilo Claudio Dias Neto; Rosiane de Freitas Rodrigues (SBIA, 2012)

Sphere intersection algorithms for Molecular Distance Geometry Problem. - Clarice Santos; Rosiane de Freitas; Mario Salvatierra (CLEI, 2013)

A hybrid genetic algorithm with local search approach for E/T scheduling problems on identical parallel machines. - Rainer Amorim; Bruno Dias; Rosiane de Freitas Rodrigues; Eduardo Uchoa (GECCO (Companion), 2013)

An Ontology for Task Allocation to Teams in Distributed Software Development. - Anna Beatriz dos Santos Marques; José Reginaldo Hughes Carvalho; Rosiane Rodrigues; Tayana Conte; Rafael Prikladnicki; Sabrina Marczak (ICGSE, 2013)

Da Teoria à Prática: Aplicando técnicas de IHC em um Aplicativo Móvel voltado para Grávidas. - Adriana Dantas; Bruna Ferreira; Ingrid Costa; Ludymila Gomes; Mariane Aoki; Tayana Conte; Rosiane Rodrigues (WEIHC, 2013)

A Framework to Support the Selection of Software Technologies by Search-Based Strategy. - Aurélio da Silva Grande; Rosiane de Freitas Rodrigues; Arilo Claudio Dias-Neto (ICTAI, 2014)

Virtual structures and heterogeneous nodes in dependency graphs for detecting metamorphic malware. - Gilbert Breves Martins; Rosiane de Freitas; Eduardo Souto (IPCCC, 2014)

Scheduling problem with multi-purpose parallel machines. - Rosiane de Freitas Rodrigues; Mitre Costa Dourado; Jayme Luiz Szwarcfiter (Discret. Appl. Math., 2014)

Using active learning techniques for improving database schema matching methods. - Diego Rodrigues; Altigran S. da Silva; Rosiane Rodrigues; Eulanda Miranda dos Santos (IJCNN, 2015)

Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform. - Eduardo Valentin; Mario Salvatierra; Rosiane de Freitas; Raimundo S. Barreto (PATMOS, 2015)

Preface. - Antonio Mucherino; Rosiane de Freitas Rodrigues; Carlile Lavor (Discret. Appl. Math., 2015)

Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem. - Eduardo Bezerra Valentin; Rosiane de Freitas; Raimundo S. Barreto (ICCS, 2016)

Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem. - Eduardo Valentin; Rosiane de Freitas; Raimundo S. Barreto (SBESC, 2016)

Distance geometry approach for special graph coloring problems. - Rosiane de Freitas Rodrigues; Bruno Dias; Nelson Maculan; Jayme Luiz Szwarcfiter (CoRR, 2016)

Solving large instances applying meta-heuristics for classical parallel machine scheduling problems under tardiness and earliness penalties. - Rainer Amorim; Marcos Thomaz; Rosiane de Freitas Rodrigues (CLEI, 2017)

Choosability in coloring problems of graphs with restricted color lists. - Simone Gama; Rosiane de Freitas; Mario Salvatierra (CLEI, 2017)

Facet-inducing inequalities and a cut-and-branch for the bandwidth coloring polytope based on the orientation model. - Bruno Dias; Rosiane de Freitas Rodrigues; Nelson Maculan; Javier Marenco (Electron. Notes Discret. Math., 2017)

Encouraging Women to Pursue a Computer Science Career in the Context of a Third World Country. - Ludymila Lobo de Aguiar Gomes; José Reginaldo Hughes Carvalho; Tanara Lauschner; Fabíola G. Nakamura; Rosiane de Freitas (FIE, 2018)

Match-Based Candidate Network Generation for Keyword Queries over Relational Databases. - Pericles de Oliveira; Altigran S. da Silva; Edleno Silva de Moura; Rosiane Rodrigues (ICDE, 2018)

Watch or Immerse?: Redefining Your Role in Big Shows. - Victor Vasconcelos; Mauro Amazonas; Thais Castro; Rosiane de Freitas; Bruno Gadelha (IHC, 2018)

The Distance Polytope for the Vertex Coloring Problem. - Bruno Dias; Rosiane de Freitas Rodrigues; Nelson Maculan; Javier Marenco (ISCO, 2018)

Choosability in bounded sequential list coloring. - Simone Gama; Rosiane de Freitas; Mário Salvatierra (CoRR, 2018)

Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors. - Eduardo Valentin; Rosiane de Freitas; Raimundo S. Barreto (Sci. Comput. Program., 2018)

Redefining Audience Role in Live Performances. - Victor Vasconcelos; Mauro Amazonas; Thais Castro; Rosiane Rodrigues; Hugo Fuks; Katia Vega; Bruno Gadelha (HCI (1), 2019)

Gamification and Engagement: Development of Computational Thinking and the Implications in Mathematical Learning. - Fernanda Pires 001; Fábio Michel Maquiné de Lima; Rafaela Melo; João Ricardo Serique Bernardo; Rosiane de Freitas (ICALT, 2019)

Applying supervised learning techniques to Brazilian music genre classification. - Júlia Luiza Conceição; Rosiane de Freitas; Bruno Gadelha; João Gustavo Kienen; Sérgio Anders; Brendo Cavalcante (CLEI, 2020)

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). - Rosiane de Freitas; Juliana Magalhães; Bruna Mariana Souza; Júlia Luiza Conceição; Maria Luiza Edwards; Joseph Paz; Leonardo da Silva; Matheus Uchoa (LAWCC@CLEI, 2020)

W-STEAM Card Game to Develop Computational Thinking. - Victoria Guimarães; Ariel Luane Bentes; Raquel Folz; Thiago Melo; Rosiane de Freitas (LAWCC@CLEI, 2020)

A mobile game based on participatory sensing with real-time client-server architecture for large entertainment events. - Gustavo de Freitas Martins; Rosiane de Freitas; Bruno Gadelha (CLEI, 2020)

InteraHeu: heuristics for technological interaction on events. - Genildo Gomes; Rosiane de Freitas; Thais Castro; Bruno Gadelha (IHC, 2020)

Enhanced interaction: audience engagement in entertainment events through the Bumbometer app. - Gustavo de Freitas Martins; Genildo Gomes; Júlia Luiza Conceição; Leonardo C. Marques; Dan da Silva; Thais Castro; Bruno Gadelha; Rosiane de Freitas (IHC, 2020)

Estimating Amazon carbon stock using AI-based remote sensing. - Rosiane de Freitas; João M. B. Cavalcanti; Sergio Cleger; Niro Higuchi; Carlos Henrique Souza Celes; Adriano Jose Nogueira Lima (Commun. ACM, 2020)

Optimal scheduling of arborescences using the Gangal-Ranade algorithm. - Rosiane de Freitas; Elton Lever; Raquel Folz; Yuri Gagarin Soares; Fábio Pimentel; Marcos M. Salvatierra (CLEI, 2021)

Improvement of SARS-CoV-2 macromolecule conformation by algorithmic structural prediction. - Clarice de Souza; João Alfredo Bessa; Rosiane de Freitas; Micael Oliveira; Kelson Mota (CLEI, 2021)

On distance graph coloring problems. - Rosiane de Freitas Rodrigues; Bruno Dias; Nelson Maculan; Jayme Luiz Szwarcfiter (Int. Trans. Oper. Res., 2021)

Integer and constraint programming approaches for providing optimality to the bandwidth multicoloring problem. - Bruno Dias; Rosiane de Freitas Rodrigues; Nelson Maculan; Philippe Michelon (RAIRO Oper. Res., 2021)

Bumbometer digital crowd game: collaboration through competition in entertainment events. - Gustavo de Freitas Martins; Genildo Gomes; Júlia Luiza Conceição; Leonardo C. Marques; Dan da Silva; Thais Castro; Bruno Gadelha; Rosiane de Freitas (J. Interact. Syst., 2021)

Solving real urban VRPTW instances by applying a Branch-Cut-and-Price via VRPsolver. - Thailsson Clementino; Juan Rosas; Rosiane de Freitas; Eduardo Uchoa (CLEI, 2022)

A Context-Aware Automatic Smartphone Reconfiguration. - Elian Souza; Edwin Monteiro 001; Raimundo S. Barreto; Rosiane de Freitas (ICCE, 2022)

ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (ISSTA, 2022)

3D structural prediction, analysis and validation of Sars-Cov-2 protein molecules. - Clarice de Souza; Micael Oliveira; João Alfredo Bessa; Kelson Mota; Rosiane de Freitas (CLEI Electron. J., 2022)

Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value. - Isac M. Lacerda; Eber A. Schmitz; Jayme Luiz Szwarcfiter; Rosiane de Freitas (CoRR, 2022)

Efficient Match-Based Candidate Network Generation for Keyword Queries Over Relational Databases. - Péricles Silva de Oliveira; Altigran S. da Silva; Edleno Silva de Moura; Rosiane de Freitas (IEEE Trans. Knowl. Data Eng., 2022)

ESBMC-Jimple ISSTA'22 Benchmarks. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)

ESBMC-Jimple ISSTA'22 Benchmarks. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)

FuSeBMC v.5: Interval Analysis and Methods for Test Case Generation. - Mohannad Aldughaim; Kaled M. Alshmrany; Mikhail R. Gadelha; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). - Mohannad Aldughaim; Kaled M. Alshmrany; Mikhail R. Gadelha; Rosiane de Freitas; Lucas C. Cordeiro (FASE, 2023)

Complexity and winning strategies of graph convexity games (Brief Announcement). - Samuel N. Araújo; Raquel Folz; Rosiane de Freitas; Rudini M. Sampaio (LAGOS, 2023)

Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android. - Fernando Neder; Ricardo Miranda Filho; Jônatas Azevedo; Larissa Pessoa; Rosiane de Freitas; Raimundo S. Barreto (SBLP, 2023)

Measuring the Execution Time of Programs from different Android Embedded Programming Languages. - Ricardo Miranda Filho; Ricardo Bonfim; Larissa Pessoa; Raimundo S. Barreto; Rosiane de Freitas (CLEI, 2024)

Graph Convexity Partizan Games: Complexity and Winning Strategies. - Samuel N. Araújo; João Marcos Brito; Raquel Folz; Rosiane de Freitas; Rudini Menezes Sampaio (COCOON (1), 2024)

A Literature Mapping of the Congress of Latin American Women in Computing (LAWCC) Papers. - 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 (LAWCC@CLEI, 2024)

Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices. - Girlana Souza; Pedro Matias 003; Ricardo Miranda Filho; Edwin Monteiro 001; Raimundo S. Barreto; Rosiane de Freitas (VISSOFT, 2024)

Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches. - Víctor A. Braberman; Flavia Bonomo-Braberman; Yiannis Charalambous; Juan Gabriel Colonna; Lucas C. Cordeiro; Rosiane de Freitas (CoRR, 2024)

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. - Rafael Sá Menezes; Edoardo Manino; Fedor Shmarov; Mohannad Aldughaim; Rosiane de Freitas; Lucas C. Cordeiro (CoRR, 2024)

Exploring monotonic priority queues for Dijkstra optimization. - Jonas Costa Ferreira da Silva; Lucas Castro; Rosiane de Freitas (CoRR, 2024)

Graph convexity impartial games: Complexity and winning strategies. - Samuel N. Araújo; João Marcos Brito; Raquel Folz; Rosiane de Freitas; Rudini M. Sampaio (Theor. Comput. Sci., 2024)

ZoAM GameBot: A Journey to the Lost Computational World in the Amazonia. - Larissa Pessoa; Lia Martins; Meng Hsu; Rosiane de Freitas (ACM Journal on Computing and Cultural Heritage, 2024)

ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). - Chenfeng Wei; Tong Wu; Rafael Sá Menezes; Fedor Shmarov; Fatimah Aljaafari; Sangharatna Godboley; Kaled M. Alshmrany; Rosiane de Freitas; Lucas C. Cordeiro (FASE, 2025)

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination. - Rafael Sá Menezes; Norbert Tihanyi; Ridhi Jain; Alexander Levin; Rosiane de Freitas; Lucas C. Cordeiro (SIGSOFT FSE Companion, 2025)

Comparative Analysis of Deep Learning-Based Multi-Object Tracking Approaches Applied to Sports User-Generated Videos. - Elton Alencar; Larissa Pessoa; Fernanda Costa; Guilherme Souza; Rosiane de Freitas (VISIGRAPP (2): VISAPP, 2025)

Log parsers' performance on raw logs from Android devices. - João Alfredo Bessa; Ricardo Miranda Filho; Girlana Souza; Raimundo S. Barreto; Rosiane de Freitas (J. Internet Serv. Appl., 2025)

Algorithms and complexity of graph convexity partizan games. - Samuel N. Araújo; João Marcos Brito; Raquel Folz; Rosiane de Freitas; Rudini M. Sampaio (Theor. Comput. Sci., 2025)

Improving polynomial bounds for the Graphical Traveling Salesman Problem with release dates on paths. - Thailsson Clementino; Rosiane de Freitas (CoRR, 2025)

Retroactive Monotonic Priority Queues via Range Searching. - Lucas Castro; Rosiane de Freitas (CoRR, 2025)