Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGaétan Hains
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1989
[b1]Gaétan Hains:
Parallel algorithms for free and associative-commutative unification. University of Oxford, UK, 1989
Journal Articles
- 2017
- [j15]Thibaut Tachon, Chong Li, Gaétan Hains, Frédéric Loulergue
:
Automated Generation of BSP Automata. Parallel Process. Lett. 27(1): 1740002:1-1740002:18 (2017) - 2014
- [j14]Gaétan Hains, Youry Khmelevsky:
Guest Editorial for High-level Parallel Programming and Applications. Int. J. Parallel Program. 42(4): 525-528 (2014) - 2012
- [j13]Chong Li, Gaétan Hains:
SGL: towards a bridging model for heterogeneous hierarchical platforms. Int. J. High Perform. Comput. Netw. 7(2): 139-151 (2012) - [j12]Gaétan Hains, Frédéric Gava, Kevin Hammond:
Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems. Parallel Process. Lett. 22(2) (2012) - 2007
- [j11]Armelle Merlin, Gaétan Hains:
A bulk-synchronous parallel process algebra. Comput. Lang. Syst. Struct. 33(3-4): 111-133 (2007) - 2006
- [j10]Siva Anantharaman, Paul Gastin, Gaétan Hains, John Mullins, Michaël Rusinowitch:
Editorial. J. Autom. Lang. Comb. 11(1): 5-6 (2006) - 2003
- [j9]Gaétan Hains:
"Implicit parallel programming in pH" by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001. J. Funct. Program. 13(4): 824-826 (2003) - [j8]Gaétan Hains, Frédéric Loulergue:
Preface: Special Issue on High-Level Parallel Programming and Applications. Parallel Process. Lett. 13(3): 313-316 (2003) - 2001
- [j7]Gaétan Hains, Quentin Miller:
Preface: High-Level Parallel Programming and Applications. Parallel Process. Lett. 11(4): 375-376 (2001) - [j6]Gaétan Hains, Frédéric Loulergue, John Mullins:
Concrete data structures and functional parallel programming. Theor. Comput. Sci. 258(1-2): 233-267 (2001) - 2000
- [j5]Laurent Granvilliers, Gaétan Hains:
A conservative scheme for parallel interval narrowing. Inf. Process. Lett. 74(3-4): 141-146 (2000) - [j4]Frédéric Loulergue, Gaétan Hains, Christian Foisy:
A calculus of functional BSP programs. Sci. Comput. Program. 37(1-3): 253-277 (2000) - 1999
- [j3]Mostafa Bamha, Gaétan Hains:
Frequency-Adaptive Join for Shared Nothing Machines. Scalable Comput. Pract. Exp. 2(3) (1999) - 1995
- [j2]Gil Utard, Gaétan Hains:
Deadlock-Free Absorption of Barrier Synchronisations. Inf. Process. Lett. 56(4): 221-227 (1995) - 1993
- [j1]Gaétan Hains, Lenore M. R. Mullin:
Parallel Functional Programming with Arrays. Comput. J. 36(3): 238-245 (1993)
Conference and Workshop Papers
- 2023
- [c40]Gaétan Hains, Ouarda Fenek:
Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems. KSE 2023: 1-4 - [c39]Albert Wong, Juan Figini, Amatul Raheem, Gaétan Hains, Youry Khmelevsky, Pak Chun Chu:
Forecasting of Stock Prices Using Machine Learning Models. SysCon 2023: 1-7 - [c38]Youry Khmelevsky, Albert Wong, Nassi Ebadifard, Frank Zhang, Gurbir Bhangu, Gaétan Hains:
Pan-Institutional Applied Research within Undergraduate and Post-Degree Diploma Teaching Programs. WCCCE 2023: 7:1-7:7 - 2020
- [c37]Gaétan Hains, Chris Mazur, Jesse Ayers, Jack Humphrey, Youry Khmelevsky, Tyler Sutherland:
The WTFast's Gamers Private Network (GPN ®) Performance Evaluation Results. SysCon 2020: 1-6 - 2019
- [c36]Gaétan J. D. R. Hains, Youry Khmelevsky, Thibaut Tachon:
From natural language to graph queries. CCECE 2019: 1-4 - 2018
- [c35]Gaétan Hains, Ludovic Henrio, Pierre Leca, Wijnand Suijlen:
Active Objects for Coordinating BSP Computations (Short Paper). COORDINATION 2018: 220-230 - [c34]Gaétan Hains, Arvid Jakobsson, Youry Khmelevsky:
Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development. SysCon 2018: 1-5 - 2017
- [c33]Youry Khmelevsky, Hassan Mahasneh, Gaétan Hains:
A stochastic gamer's model for on-line games. CCECE 2017: 1-4 - [c32]Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains:
Replicated Synchronization for Imperative BSP Programs. ICCS 2017: 535-544 - [c31]Gaétan Hains, Youry Khmelevsky, Rob Bartlett, Alex Needham:
Game private networks performance: From geolocation to latency to user experience. SysCon 2017: 1-6 - [c30]Ben Ward, Youry Khmelevsky, Gaétan Hains, Rob Bartlett, Alex Needham, Tyler Sutherland:
Gaming network delays investigation and collection of very large-scale data sets. SysCon 2017: 1-7 - 2016
- [c29]Gaétan Hains, Alain Dominguez:
Real-time parallel routing for telecom networks: Graph algorithms and bulk-synchronous parallel acceleration. CCECE 2016: 1-4 - 2015
- [c28]Trevor Alstad, J. Riley Dunkin, Simon Detlor, Brad French, Heath Caswell, Zane Ouimet, Youry Khmelevsky, Gaétan Hains:
Game network traffic simulation by a custom bot. SysCon 2015: 675-680 - 2014
- [c27]Chong Li, Gaétan Hains:
GPS: Towards Simplified Communication on SGL Model. IPDPS Workshops 2014: 727-736 - 2013
- [c26]Muath Alrammal, Gaétan Hains:
Syntax Analyzer & Selectivity Estimation Technique Applied on Wikipedia XML Data Set. DeSE 2013: 3-8 - [c25]Riad Menasri, Amir Nakib, Hamouche Oulhadj, Boubaker Daachi, Patrick Siarry, Gaétan Hains:
Path planning for redundant manipulators using metaheuristic for bilevel optimization and maximum of manipulability. ROBIO 2013: 145-150 - 2012
- [c24]Gaétan Hains, Muath Alrammal:
Performance and Scalability of XML Query Processing. CISIS 2012: 841-846 - [c23]Muath Alrammal, Gaétan Hains:
A performance model for Forward XPath. HPCS 2012: 595-601 - [c22]Sayanta Mallick, Gaétan Hains, Cheikh Sadibou Deme:
A resource prediction model for virtualization servers. HPCS 2012: 667-671 - [c21]Chong Li, Frédéric Gava, Gaétan Hains:
Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model. ISPDC 2012: 26-33 - 2011
- [c20]Muath Alrammal, Gaétan Hains, Mohamed Zergaoui:
Path Tree: Document Synopsis for XPath Query Selectivity Estimation. CISIS 2011: 321-328 - [c19]Chong Li, Gaétan Hains:
A simple bridging model for high-performance computing. HPCS 2011: 249-256 - 2009
- [c18]Muath Alrammal, Gaétan Hains, Mohamed Zergaoui:
Intelligent Ordered XPath for Processing Data Streams. AAAI Spring Symposium: Intelligent Event Processing 2009: 6-13 - [c17]Muath Alrammal, Gaétan Hains, Mohamed Zergaoui:
Performance Measurements Towards the Optimization of Stream Processing for XML Data. International Conference on Internet Computing 2009: 227-233 - 2008
- [c16]Gaétan Hains:
Recherches en sécurité informatique chez SAP Labs France. INFORSID 2008 - 2007
- [c15]Gaétan Hains:
Efficient static checking of dynamic access control in shared multiprocessor environments. CTS 2007: 33-36 - 2005
- [c14]Mostafa Bamha, Gaétan Hains:
An Efficient Equi-semi-join Algorithm for Distributed Architectures. International Conference on Computational Science (2) 2005: 755-763 - [c13]Siva Anantharaman, Jing Chen, Gaétan Hains:
A Synchronous Process Calculus for Service Costs. SEFM 2005: 435-444 - 2004
- [c12]Armelle Merlin, Gaétan Hains:
A Generic Cost Model for Concurrent and Data-parallel Meta-computing. AVoCS 2004: 3-19 - 2002
- [c11]Gaétan Hains, M. Bergeron:
The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols. IASTED PDCS 2002: 260-265 - 2000
- [c10]Mostafa Bamha, Gaétan Hains:
A Skew-insensitive Algorithm for Join and Multi-join Operations on Shared Nothing Machines. DEXA 2000: 644-653 - 1999
- [c9]Mostafa Bamha, Fadila Bentayeb, Gaétan Hains:
An Efficient Scalable Parallel View Maintenance Algorithm for Shared Nothing Multi-processor Machines. DEXA 1999: 616-625 - [c8]Arnaud Lallouet, Gaétan Hains:
Programmation par contraintes parallèle: l'approche CLP(Chi). JFPLC 1999: 107-122 - [c7]Olivier Ballereau, Frédéric Loulergue, Gaétan Hains:
High Level BSP Programming: BSML and BSlambda. Scottish Functional Programming Workshop 1999: 29-40 - 1997
- [c6]Frédéric Loulergue, Gaétan Hains:
Functional Parallel Programming with Explicit Processes: Beyond SPMD. Euro-Par 1997: 530-537 - 1996
- [c5]Gaétan Hains, John Mullins:
Array Structures and Data-Parallel Algorithms. Euro-Par, Vol. II 1996: 409-416 - 1995
- [c4]Gaétan Hains, John Mullins:
A Metacircular Data-Parallel Functional Language. Euro-Par 1995: 711-714 - 1994
- [c3]Gaétan Hains:
Parallel Functional Languages Should be Strict. IFIP Congress (1) 1994: 527-532 - 1993
- [c2]Gaétan Hains, Christian Foisy:
The Data-Parallel Categorical Abstract Machine. PARLE 1993: 56-67 - 1989
- [c1]Gaétan Hains:
The Compaction of Acyclic Terms. PARLE (2) 1989: 288-303
Informal and Other Publications
- 2023
- [i8]Albert Wong, Steven Whang, Emilio Sagre, Niha Sachin, Gustavo Dutra, Yew-Wei Lim, Gaétan Hains, Youry Khmelevsky, Frank Zhang:
Short-Term Stock Price Forecasting using exogenous variables and Machine Learning Algorithms. CoRR abs/2309.00618 (2023) - [i7]Nassi Ebadifard, Ajitesh Parihar, Youry Khmelevsky, Gaétan Hains, Albert Wong, Frank Zhang:
Data Extraction, Transformation, and Loading Process Automation for Algorithmic Trading Machine Learning Modelling and Performance Optimization. CoRR abs/2312.12774 (2023) - 2021
- [i6]Youry Khmelevsky, Gaétan J. D. R. Hains:
Parallel Programming Applied Research Projects for Teaching Parallel Programming to Beginner Students. CoRR abs/2105.13574 (2021) - [i5]Albert Wong, Chun Yin Chiu, Gaétan Hains, Jack Humphrey, Hans Fuhrmann, Youry Khmelevsky, Chris Mazur:
Gamers Private Network Performance Forecasting. From Raw Data to the Data Warehouse with Machine Learning and Neural Nets. CoRR abs/2107.00998 (2021) - 2020
- [i4]Chris Mazur, Jesse Ayers, Gaétan Hains, Youry Khmelevsky:
Machine Learning Prediction of Gamer's Private Networks. CoRR abs/2012.06480 (2020) - 2019
- [i3]Gaétan J. D. R. Hains, Arvid Jakobsson, Youry Khmelevsky:
Formal methods and software engineering for DL. Security, safety and productivity for DL systems development. CoRR abs/1901.11334 (2019) - [i2]Bernd Amann, Youry Khmelevsky, Gaétan Hains:
State-of-the-Art on Query & Transaction Processing Acceleration. CoRR abs/1907.00050 (2019) - 2018
- [i1]Gaétan Hains, Wijnand Suijlen, Wenliang Liang, Zixu Wu:
5Gperf: signal processing performance for 5G. CoRR abs/1810.11451 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
