|
|
Line 49: |
Line 49: |
| {{cventry |[46]|Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid". In: Proceedings of the Huntsville Simulation Conference (HSC'09), Huntsville, Alabama, USA. Ed. by Joseph S. Gauthier. The Society for Modeling and Simulation International (SCS), Oct. 2009, pp. 326-333. isbn: 978-1-61738-587-2. [http://www.researchgate.net/publication/45854181_Towards_Automated_Deduction_in_Blackmail_Case_Analysis_with_Forensic_Lucid]}} | | {{cventry |[46]|Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid". In: Proceedings of the Huntsville Simulation Conference (HSC'09), Huntsville, Alabama, USA. Ed. by Joseph S. Gauthier. The Society for Modeling and Simulation International (SCS), Oct. 2009, pp. 326-333. isbn: 978-1-61738-587-2. [http://www.researchgate.net/publication/45854181_Towards_Automated_Deduction_in_Blackmail_Case_Analysis_with_Forensic_Lucid]}} |
| | | |
− | {{cventry |[45]|Serguei A. Mokhov, Joey Paquet, and Xin Tong. "A type system for hybrid intensional-imperative programming support in GIPSY". In: Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering (C3S2E'09), Montreal, Canada. 2009, pp. 101-107. isbn: 978-1-60558-401-0. doi: 10.1145/1557626.1557642. [http://dx.doi.org/10.1145/1557626.1557642]}} | + | {{cventry |[45]|Serguei A. Mokhov, Joey Paquet, and Xin Tong. "A type system for hybrid intensional-imperative programming support in GIPSY". In: Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering (C3S2E'09), Montreal, Canada. May 2009, pp. 101-107. isbn: 978-1-60558-401-0. doi: 10.1145/1557626.1557642. [http://dx.doi.org/10.1145/1557626.1557642]}} |
| | | |
| {{cventry |[44]|Joey Paquet. "Distributed Eductive Execution of Hybrid Intensional Programs". In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC'09), Seattle, Washington, USA. IEEE Computer Society, July 2009, pp. 218-224. isbn: 978-0-7695-3726-9. doi: 10.1109/COMPSAC.2009.137.[http://dx.doi.org/10.1109/COMPSAC.2009.137]}} | | {{cventry |[44]|Joey Paquet. "Distributed Eductive Execution of Hybrid Intensional Programs". In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC'09), Seattle, Washington, USA. IEEE Computer Society, July 2009, pp. 218-224. isbn: 978-0-7695-3726-9. doi: 10.1109/COMPSAC.2009.137.[http://dx.doi.org/10.1109/COMPSAC.2009.137]}} |