Rosiane de Freitas
Orcid: 0000-0002-7608-2052Affiliations:
- Universidade Federal do Amazonas, Manaus, AM, Brazil
According to our database1,
Rosiane de Freitas
authored at least 63 papers
between 2009 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Improving polynomial bounds for the Graphical Traveling Salesman Problem with release dates on paths.
CoRR, February, 2025
2024
ACM Journal on Computing and Cultural Heritage, September, 2024
Theor. Comput. Sci., 2024
CoRR, 2024
Tasks People Prompt: A Taxonomy of LLM Downstream Tasks in Software Verification and Falsification Approaches.
CoRR, 2024
Where Did My Memory Go? An Interactive Visualization Approach to Investigate Memory Consumption on Android Devices.
Proceedings of the IEEE Working Conference on Software Visualization, 2024
A Literature Mapping of the Congress of Latin American Women in Computing (LAWCC) Papers.
Proceedings of the XVI Congress of Latin American Women in Computing 2024 (LAWCC 2024) co-located with L Latin American Computer Conference (CLEI 2024), 2024
Measuring the Execution Time of Programs from different Android Embedded Programming Languages.
Proceedings of the L Latin American Computer Conference, 2024
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
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
Dataset, December, 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
CLEI Electron. J., 2022
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Proceedings of the IEEE International Conference on Consumer Electronics, 2022
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
Improvement of SARS-CoV-2 macromolecule conformation by algorithmic structural prediction.
Proceedings of the XLVII Latin American Computing Conference, 2021
Proceedings of the XLVII Latin American Computing Conference, 2021
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
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
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
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
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
Proceedings of the Combinatorial Optimization - 5th International Symposium, 2018
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
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
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
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
Proceedings of the 2015 International Joint Conference on Neural Networks, 2015
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
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
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
Proceedings of the 2012 IEEE Seventh International Conference on Global Software Engineering, 2012
2011
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
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