|
|
Line 47: |
Line 47: |
| {{cventry |[47]|Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract)". 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, p. 45. isbn: 978-1-61738-587-2. }} | | {{cventry |[47]|Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract)". 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, p. 45. isbn: 978-1-61738-587-2. }} |
| | | |
− | {{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.}} | + | {{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. 2009, pp. 101-107. isbn: 978-1-60558-401-0. doi: 10.1145/1557626.1557642. [http://dx.doi.org/10.1145/1557626.1557642]}} |