- Accueil
- Répertoire
- Seyed Hossein Haeri
Seyed Hossein Haeri
Qazvinian, Vahed ; Abolhassani, Hassan ; Haeri, Seyed Hossein. Evolutionary Coincidence-Based Ontology Mapping Extraction. In: Expert Systems, Vol. 25, no.3, p. 221-236 (2008). doi:10.1111/j.1468-0394.2008.00462.x.
Haeri, Seyed Hossein ; Abolhassani, Hassan ; Qazvinian, Vahed ; Hariri, Babak Bagheri. Coincidence-Based Scoring of Mappings in Ontology Alignment. In: Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol. 11, no.7, p. 803-816 (2007). doi:10.20965/jaciii.2007.p0803.
Abolhassani, Hassan ; Haeri, Seyed Hossein ; Hariri, Babak Bagheri. On Ontology Alignment Experiments. In: On Ontology Alignment Experiments, Vol. 3, no.3, p. 1-19 (2006).
Keir, Paul ; Gozillon, Andrew ; Haeri, Seyed Hossein. Intrinsic Currying for C++ Template Metaprograms. In: Pałka, Michał ; Myreen, Magnus (ed.), Lecture Notes in Computer Science : Trends in Functional Programming, 2019, p. 46-73. 9783030185053. doi:10.1007/978-3-030-18506-0_3.
Haeri, Seyed Hossein ; Van Roy, Peter. Piecewise Relative Observational Purity. ProWeb 2020 (Porto, Portugal, 23/03/2020) (Accepté/Sous presse).
Haeri, Seyed Hossein ; Keir, Paul. Composition of Languages Embedded in Scala. 2019 Federated Conference on Computer Science and Information Systems (Leipzig, Germany, du 1/9/2019 au 4/9/2019). In: Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, IEEE, 2019. 9788395235788. doi:10.15439/2019f61.
Haeri, Seyed Hossein ; Keir, Paul. Instructed late binding. PCI '19: 23rd Pan-Hellenic Conference on Informatics (Nicosia Cyprus, du 28/11/2019 au 30/11/2019). In: Proceedings of the 23rd Pan-Hellenic Conference on Informatics, ACM, 2019. 9781450372923. doi:10.1145/3368640.3368644.
Haeri, Seyed Hossein. Marking Piecewise Observable Purity. 31st Nordic Workshop on Programming Theory (Tallinn, Estonia, du 13/11/2019 au 15/11/2019). In: Informal Proceedings of the 31st Nordic Workshop on Programming Theory, 2019. 978-9949-83-520-1. doi:10.23658/taltech.nwpt/2019.
Haeri, Seyed Hossein ; Keir, Paul. Solving the Expression Problem in C++, á la LMS. Theoretical Aspects of Computing – ICTAC 2019 (Hammamet, Tunisia, du 31/10/2019 au 04/11/2019). In: Theoretical Aspects of Computing – ICTAC 2019 (Lecture Notes in Computer Science; 11884), Springer, 2019. 9783030325046, p. 353-371. doi:10.1007/978-3-030-32505-3_20.
Haeri, Seyed Hossein. Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage. 8th International Symposium on Symbolic Computation in Software Science (SCSS 2017) (Gammarth, Tunisia, du 06/04/2017 au 09/04/2017).
Haeri, Seyed Hossein ; Van Roy, Peter. An Operational Semantics for Multicasting Systems with Monotonic Values. 28th Nordic Workshop on Programming Theory (Rold StorKro (North Jutland), Denmark, du 31/10/2017 au 02/11/2016). In: Informal Proceedings of the 28th Nordic Workshop on Programming Theory, 2016.
Meiklejohn, Christopher ; Haeri, Seyed Hossein ; Van Roy, Peter. Declarative, sliding window aggregations for computations at the edge. 2016 13th IEEE Annual Consumer Communications & Networking Conference (CCNC) (Las Vegas, NV, du 09/01/2016 au 12/01/2016). In: Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, , p. 32-37 (2016). doi:10.1109/CCNC.2016.7444727.
Haeri, Seyed Hossein ; Schupp, Sibylle. Expression Compatibility Problem. 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016) (Tokyo, Japan, du 28/03/2016 au 31/01/2017).
Haeri, Seyed Hossein ; Van Roy, Peter ; Baquero, Carlos ; Meiklejohn, Christopher. Worlds of Events: Deduction with Partial Knowledge about Causality. In: Electronic Proceedings in Theoretical Computer Science, Vol. 223, no. 1, p. 113-127 (2016). doi:10.4204/EPTCS.223.8.
Haeri, Seyed Hossein ; Schupp, Sibylle. Distributed Lazy Evaluation: A Big-Step Mechanised Semantics. 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) (Torino, Italy, du 12/2/2014 au 14/2/2014). In: 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, IEEE, 2014. 9781479927296. doi:10.1109/pdp.2014.43.
Haeri, Seyed Hossein ; Schupp, Sibylle. Reusable Components for Lightweight Mechanisation of Programming Languages. Software Composition (Budapest, Hungary). In: Proceeding of the 12th Conference on Software Composition (LNCS; 8088), W. Binder, E. Bodden and W. Löwe, 2013. 978-3-642-39614-4.
Haeri, Seyed Hossein ; Schupp, Sibylle ; Hüser, Jonathan. Using Functional Languages to Facilitate C++ Metaprogramming. the 8th ACM SIGPLAN Workshop on Generic Programming (Copenhagen, Denmark, 12/9/2012). In: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming - WGP '12, ACM Press, 2012. 9781450315760. doi:10.1145/2364394.2364400.
Haeri, Seyed Hossein. Functional Metaprogramming in C++ and Cross-Lingual Development with Haskell. 23rd Symposium on Implementation and Application of Functional Languages (Lawrence, KA, USA, du 03/10/2011 au 05/10/2011).
Haeri, Seyed Hossein. Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness. International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10) (Orlando, Florida, USA, du 12/07/2010 au 14/07/2010). In: Proceedings of International Conference on Theoretical and Mathematical Foundations of Computer Science 2010 (TMFCS-10), Majkic, Z., 2010. 978-1-60651-024-7.
Qazvinian, Vahed ; Abolhassani, Hassan ; Haeri, Seyed Hossein. Coincidence-Based Mapping Extraction with Genetic Algorithms. 3rd International Conference on Web Information Systems and Technologies (Barcelona, Spain, du 3/3/2007 au 6/3/2007). In: Proceedings of the Third International Conference on Web Information Systems and Technologies (WEBIST; 1), SciTePress - Science and and Technology Publications, 2007. 9789728865771. doi:10.5220/0001271901760183.
Haeri, Seyed Hossein. Coincidence-Based Refinement of Ontology Matching. Joint 3rd SCIS and 7th ISIS (Tokyo, Japan, du 20/09/2006 au 24/09/2006). In: Coincidence-Based Refinement of Ontology Matching, Japan SOciety for Fuzzy Theory and intelligent informatics, 2006. 978-1-60651-024-7, p. 1008-1013. doi:10.14864/softscis.2006.0.1008.0.
Haeri, Seyed Hossein ; Van Roy, Peter. A Family of λ-Calculi with Ports (), 2020. 22 p.
Haeri, Seyed Hossein ; Van Roy, Peter. Purely Functional Distributed Systems Programming, 2020. 7 p.
Haeri, Seyed Hossein ; Van Roy, Peter. Distributed Lambda Calculus, 2019. 5 p.