Rosiane de Freitas

Orcid: 0000-0002-7608-2052

Affiliations:
  • Universidade Federal do Amazonas, Manaus, AM, Brazil


According to our database1, Rosiane de Freitas authored at least 51 papers between 2009 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Análise comparativa entre linguagens de programação em sistemas embarcados móveis Android.
Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023

Complexity and winning strategies of graph convexity games (Brief Announcement).
Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, 2023

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022
Efficient Match-Based Candidate Network Generation for Keyword Queries Over Relational Databases.
IEEE Trans. Knowl. Data Eng., 2022

Empirical Evaluation of Project Scheduling Algorithms for Maximization of the Net Present Value.
CoRR, 2022

3D structural prediction, analysis and validation of Sars-Cov-2 protein molecules.
CLEI Electron. J., 2022

ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

A Context-Aware Automatic Smartphone Reconfiguration.
Proceedings of the IEEE International Conference on Consumer Electronics, 2022

Solving real urban VRPTW instances by applying a Branch-Cut-and-Price via VRPsolver.
Proceedings of the XLVIII Latin American Computer Conference, 2022

2021
Bumbometer digital crowd game: collaboration through competition in entertainment events.
J. Interact. Syst., December, 2021

Integer and constraint programming approaches for providing optimality to the bandwidth multicoloring problem.
RAIRO Oper. Res., 2021

On distance graph coloring problems.
Int. Trans. Oper. Res., 2021

Improvement of SARS-CoV-2 macromolecule conformation by algorithmic structural prediction.
Proceedings of the XLVII Latin American Computing Conference, 2021

Optimal scheduling of arborescences using the Gangal-Ranade algorithm.
Proceedings of the XLVII Latin American Computing Conference, 2021

2020
Estimating Amazon carbon stock using AI-based remote sensing.
Commun. ACM, 2020

Enhanced interaction: audience engagement in entertainment events through the Bumbometer app.
Proceedings of the IHC '20: XIX Brazilian Symposium on Human Factors in Computing Systems, 2020

InteraHeu: heuristics for technological interaction on events.
Proceedings of the IHC '20: XIX Brazilian Symposium on Human Factors in Computing Systems, 2020

A mobile game based on participatory sensing with real-time client-server architecture for large entertainment events.
Proceedings of the XLVI Latin American Computing Conference, 2020

W-STEAM Card Game to Develop Computational Thinking.
Proceedings of the XII Latin American Women in Computing Congress 2020 (LAWCC 2020) co-located with XLVI Latin American Computer Conference (CLEI 2020), 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).
Proceedings of the XII Latin American Women in Computing Congress 2020 (LAWCC 2020) co-located with XLVI Latin American Computer Conference (CLEI 2020), 2020

Applying supervised learning techniques to Brazilian music genre classification.
Proceedings of the XLVI Latin American Computing Conference, 2020

2019
Gamification and Engagement: Development of Computational Thinking and the Implications in Mathematical Learning.
Proceedings of the 19th IEEE International Conference on Advanced Learning Technologies, 2019

Redefining Audience Role in Live Performances.
Proceedings of the Human-Computer Interaction. Perspectives on Design, 2019

2018
Towards optimal solutions for the low power hard real-time task allocation on multiple heterogeneous processors.
Sci. Comput. Program., 2018

Choosability in bounded sequential list coloring.
CoRR, 2018

The Distance Polytope for the Vertex Coloring Problem.
Proceedings of the Combinatorial Optimization - 5th International Symposium, 2018

Watch or Immerse?: Redefining Your Role in Big Shows.
Proceedings of the 17th Brazilian Symposium on Human Factors in Computing Systems, 2018

Match-Based Candidate Network Generation for Keyword Queries over Relational Databases.
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Encouraging Women to Pursue a Computer Science Career in the Context of a Third World Country.
Proceedings of the IEEE Frontiers in Education Conference, 2018

2017
Facet-inducing inequalities and a cut-and-branch for the bandwidth coloring polytope based on the orientation model.
Electron. Notes Discret. Math., 2017

Choosability in coloring problems of graphs with restricted color lists.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

Solving large instances applying meta-heuristics for classical parallel machine scheduling problems under tardiness and earliness penalties.
Proceedings of the 2017 XLIII Latin American Computer Conference, 2017

2016
Distance geometry approach for special graph coloring problems.
CoRR, 2016

Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem.
Proceedings of the VI Brazilian Symposium on Computing Systems Engineering, 2016

Applying MGAP Modeling to the Hard Real-time Task Allocation on Multiple Heterogeneous Processors Problem.
Proceedings of the International Conference on Computational Science 2016, 2016

2015
Preface.
Discret. Appl. Math., 2015

Response time schedulability analysis for hard real-time systems accounting DVFS latency on heterogeneous cluster-based platform.
Proceedings of the 25th International Workshop on Power and Timing Modeling, 2015

Using active learning techniques for improving database schema matching methods.
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015

2014
Scheduling problem with multi-purpose parallel machines.
Discret. Appl. Math., 2014

Virtual structures and heterogeneous nodes in dependency graphs for detecting metamorphic malware.
Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014

A Framework to Support the Selection of Software Technologies by Search-Based Strategy.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

2013
Da Teoria à Prática: Aplicando técnicas de IHC em um Aplicativo Móvel voltado para Grávidas.
Proceedings of the Anais do IV Workshop sobre Ensino de IHC, 2013

An Ontology for Task Allocation to Teams in Distributed Software Development.
Proceedings of the 8th IEEE International Conference on Global Software Engineering, 2013

A hybrid genetic algorithm with local search approach for E/T scheduling problems on identical parallel machines.
Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Sphere intersection algorithms for Molecular Distance Geometry Problem.
Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

2012
Providing Trade-Off Techniques Subsets to Improve Software Testing Effectiveness: Using Evolutionary Algorithm to Support Software Testing Techniques Selection by a Web Tool.
Proceedings of the Advances in Artificial Intelligence - SBIA 2012, 2012

Systematic Literature Reviews in Distributed Software Development: A Tertiary Study.
Proceedings of the 2012 IEEE Seventh International Conference on Global Software Engineering, 2012

2011
Porantim-Opt: Optimizing the Combined Selection of Model-Based Testing Techniques.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010
Exact algorithm over an arc-time-indexed formulation for parallel machine scheduling problems.
Math. Program. Comput., 2010

Scheduling on parallel machines considering job-machine dependency constraints.
Electron. Notes Discret. Math., 2010

2009
Scheduling unit time jobs with integer release dates to minimize the weighted number of tardy jobs.
Ann. Oper. Res., 2009


  Loading...