Gaétan Hains
Orcid: 0000-0002-1687-8091
According to our database1,
Gaétan Hains
authored at least 64 papers
between 1989 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Data Extraction, Transformation, and Loading Process Automation for Algorithmic Trading Machine Learning Modelling and Performance Optimization.
CoRR, 2023
Short-Term Stock Price Forecasting using exogenous variables and Machine Learning Algorithms.
CoRR, 2023
Pan-Institutional Applied Research within Undergraduate and Post-Degree Diploma Teaching Programs.
Proceedings of the 25th Western Canadian Conference on Computing Education, 2023
Proceedings of the IEEE International Systems Conference, 2023
Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems.
Proceedings of the 15th International Conference on Knowledge and Systems Engineering, 2023
2021
Gamers Private Network Performance Forecasting. From Raw Data to the Data Warehouse with Machine Learning and Neural Nets.
CoRR, 2021
Parallel Programming Applied Research Projects for Teaching Parallel Programming to Beginner Students.
CoRR, 2021
2020
Proceedings of the IEEE International Systems Conference, 2020
2019
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development.
CoRR, 2019
Proceedings of the 2019 IEEE Canadian Conference of Electrical and Computer Engineering, 2019
2018
Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018
Proceedings of the Coordination Models and Languages, 2018
2017
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017
Proceedings of the International Conference on Computational Science, 2017
Proceedings of the 30th IEEE Canadian Conference on Electrical and Computer Engineering, 2017
2016
Real-time parallel routing for telecom networks: Graph algorithms and bulk-synchronous parallel acceleration.
Proceedings of the 2016 IEEE Canadian Conference on Electrical and Computer Engineering, 2016
2015
Proceedings of the Annual IEEE Systems Conference, 2015
2014
Int. J. Parallel Program., 2014
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
2013
Path planning for redundant manipulators using metaheuristic for bilevel optimization and maximum of manipulability.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2013
Syntax Analyzer & Selectivity Estimation Technique Applied on Wikipedia XML Data Set.
Proceedings of the Sixth International Conference on Developments in eSystems Engineering, 2013
2012
Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems.
Parallel Process. Lett., 2012
Int. J. High Perform. Comput. Netw., 2012
Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model.
Proceedings of the 11th International Symposium on Parallel and Distributed Computing, 2012
Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012
Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012
Proceedings of the Sixth International Conference on Complex, 2012
2011
Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011
Proceedings of the International Conference on Complex, 2011
2009
Performance Measurements Towards the Optimization of Stream Processing for XML Data.
Proceedings of the 2009 International Conference on Internet Computing, 2009
Proceedings of the Intelligent Event Processing, 2009
2008
Recherches en sécurité informatique chez SAP Labs France.
Proceedings of the Actes du XXVIème Congrès INFORSID, 2008
2007
Efficient static checking of dynamic access control in shared multiprocessor environments.
Proceedings of the 2007 International Symposium on Collaborative Technologies and Systems, 2007
2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the Computational Science, 2005
2004
Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004
2003
Parallel Process. Lett., 2003
"Implicit parallel programming in pH" by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001.
J. Funct. Program., 2003
2002
The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2002
2001
Theor. Comput. Sci., 2001
Preface: High-Level Parallel Programming and Applications.
Parallel Process. Lett., 2001
2000
A Skew-insensitive Algorithm for Join and Multi-join Operations on Shared Nothing Machines.
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000
1999
Parallel Distributed Comput. Pract., 1999
High Level BSP Programming: BSML and BSlambda.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999
Programmation par contraintes parallèle: l'approche CLP(Chi).
Proceedings of the JFPLC'99, 1999
An Efficient Scalable Parallel View Maintenance Algorithm for Shared Nothing Multi-processor Machines.
Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999
1997
Proceedings of the Euro-Par '97 Parallel Processing, 1997
1996
Proceedings of the Euro-Par '96 Parallel Processing, 1996
1995
Proceedings of the Euro-Par '95 Parallel Processing, 1995
1994
Parallel Functional Languages Should be Strict.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
1993
1989
PhD thesis, 1989
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989