Blaise Genest
Orcid: 0000-0002-5758-1876
According to our database1,
Blaise Genest
authored at least 63 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Log. Methods Comput. Sci., 2024
CoRR, 2024
Uncertainty-Guided Appearance-Motion Association Network for Out-of-Distribution Action Detection.
Proceedings of the 7th IEEE International Conference on Multimedia Information Processing and Retrieval, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning.
Proceedings of the 1st ACM International Conference on AI-Powered Software, 2024
2023
Reinforcement Planning for Effective ε-Optimal Policies in Dense Time with Discontinuities.
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023
2022
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022
2021
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021
2020
Modeling Variability in Populations of Cells Using Approximated Multivariate Distributions.
IEEE ACM Trans. Comput. Biol. Bioinform., 2020
Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings.
Proceedings of the Foundations of Software Science and Computation Structures, 2018
2017
J. ACM, 2017
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway.
Bioinform., 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
Proceedings of the 33rd Symposium on Theoretical Aspects of Computer Science, 2016
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
2015
Proceedings of the Foundations of Software Science and Computation Structures, 2015
2014
Discret. Event Dyn. Syst., 2014
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
2012
A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks with a Biopathways Application.
IEEE ACM Trans. Comput. Biol. Bioinform., 2012
Inf. Process. Lett., 2012
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
2011
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011
A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
2010
Int. J. Found. Comput. Sci., 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
2009
Proceedings of the Database and XML Technologies, 6th International XML Database Symposium, 2009
2008
Theory Comput. Syst., 2008
Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides
CoRR, 2008
Minimal Observability for Transactional Hierarchical Services.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
2006
J. Comput. Syst. Sci., 2006
A Kleene theorem and model checking algorithms for existentially bounded communicating automata.
Inf. Comput., 2006
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005
2004
Proceedings of the Foundations of Software Science and Computation Structures, 2004
Proceedings of the Developments in Language Theory, 2004
2003
Proceedings of the CONCUR 2003, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003