Serguei A. Mokhov

	2009
38		Serguei A. Mokhov, Joey Paquet, Xin Tong: A type system for hybrid intensional-imperative programming support in GIPSY. C3S2E 2009: 101-107
37		Emil Vassev, Serguei A. Mokhov: An ASSL-generated architecture for autonomic systems. C3S2E 2009: 121-126
36		Miao Song, Serguei A. Mokhov, Peter Grogono: Designing an interactive OpenGL slide-based presentation of the softbody simulation system for teaching and learning of computer graphics techniques. C3S2E 2009: 131-136
35		Serguei A. Mokhov, Emil Vassev: Autonomic specification of self-protection for distributed MARF with ASSL. C3S2E 2009: 175-183
34		Serguei A. Mokhov, Miao Song: OpenGL Project Presentation Slides Interface and a Case Study. GRAPP 2009: 409-412
33		Emil Vassev, Serguei A. Mokhov: Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL. ICSOFT (1) 2009: 331-335
32		Serguei A. Mokhov, Joey Paquet: Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle CoRR abs/0904.3789: (2009)
31		Serguei A. Mokhov, Stephen Sinclair, Ian Clément, Dimitrios Nicolacopoulos: The Modular Audio Recognition Framework (MARF) and its Applications: Scientific and Software Engineering Notes CoRR abs/0905.1235: (2009)
30		Serguei A. Mokhov: The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction CoRR abs/0905.2449: (2009)
29		Serguei A. Mokhov: On Design and Implementation of the Distributed Modular Audio Recognition Framework: Requirements and Specification Design Document CoRR abs/0905.2459: (2009)
28		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid CoRR abs/0906.0049: (2009)
27		Serguei A. Mokhov, Lee Wei Huynh, Jian Li: Managing Distributed MARF with SNMP CoRR abs/0906.0065: (2009)
26		Serguei A. Mokhov: Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics CoRR abs/0906.1845: (2009)
25		Marc-André Laverdière, Serguei A. Mokhov, Suhasini Tsapa, Djamel Benredjem: Ftklipse - Design and Implementation of an Extendable Computer Forensics Environment: Software Requirements Specification Document CoRR abs/0906.2446: (2009)
24		Marc-André Laverdière, Serguei A. Mokhov, Suhasini Tsapa, Djamel Benredjem: Ftklipse - Design and Implementation of an Extendable Computer Forensics Environment: Specification Design Document CoRR abs/0906.2447: (2009)
23		Marc-André Laverdière, Serguei A. Mokhov, Djamel Benredjem: On Implementation of a Safer C Library, ISO/IEC TR 24731 CoRR abs/0906.2512: (2009)
22		Serguei A. Mokhov, Joey Paquet: Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions CoRR abs/0906.3911: (2009)
21		Serguei A. Mokhov, Joey Paquet: A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY CoRR abs/0906.3919: (2009)
20		Bin Han, Serguei A. Mokhov, Joey Paquet: Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment CoRR abs/0906.4837: (2009)
19		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About an ACME Printer Case Investigation with Forensic Lucid CoRR abs/0906.5181: (2009)
18		Serguei A. Mokhov: Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY CoRR abs/0907.2640: (2009)
17		Serguei A. Mokhov: Service-Oriented Architectures and Web Services: Course Tutorial Notes CoRR abs/0907.2974: (2009)
16		Aihua Wu, Joey Paquet, Serguei A. Mokhov: Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid CoRR abs/0909.0764: (2009)
15		Serguei A. Mokhov, Yingying She: Yet Another Pacman 3D Adventures CoRR abs/0910.4854: (2009)
	2008
14		Serguei A. Mokhov: Study of best algorithm combinations for speech processing tasks in machine learning using median vs. mean clusters in MARF. C3S2E 2008: 29-43
13		Joey Paquet, Serguei A. Mokhov, Xin Tong: Design and Implementation of Context Calculus in the GIPSY Environment. COMPSAC 2008: 1278-1283
12		Serguei A. Mokhov: Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL. COMPSAC 2008: 1288-1294
11		Serguei A. Mokhov: Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF. Canadian Conference on AI 2008: 216-221
10		Serguei A. Mokhov: Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game. FCS 2008: 131-136
9		Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. IMF 2008: 197-216
8		Serguei A. Mokhov, Mourad Debbabi: File Type Analysis Using Signal Processing Techniques and Machine Learning vs. File Unix Utility for Forensic Analysis. IMF 2008: 73-86
7		Serguei A. Mokhov: Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems. ISPDC 2008: 375-382
6		Serguei A. Mokhov, Lee Wei Huynh, Jian Li: Managing Distributed MARF's Nodes with SNMP. PDPTA 2008: 948-954
5		Serguei A. Mokhov, Marc-André Laverdière, Djamel Benredjem: Taxonomy of Linux Kernel Vulnerability Solutions. Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education 2008: 485-493
	2007
4		Serguei A. Mokhov: Introducing MARF: a Modular Audio Recognition Framework and its Applications for Scientific and Software Engineering Research. SCSS (1) 2007: 473-478
	2005
3		Peter Grogono, Serguei A. Mokhov, Joey Paquet: Toward JLucid, Lucid with Embedded Java Functions in the GIPSY. PLC 2005: 15-21
2		Serguei A. Mokhov, Joey Paquet: Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY. PLC 2005: 22-28
1		Serguei A. Mokhov, Joey Paquet: General Imperative Compiler Framework within the GIPSY. PLC 2005: 36-42

Coauthor Index

1	Djamel Benredjem	[5] [23] [24] [25]
2	Ian Clément	[31]
3	Mourad Debbabi	[8] [9] [19] [28]
4	Peter Grogono	[3] [36]
5	Bin Han	[20]
6	Lee Wei Huynh	[6] [27]
7	Marc-André Laverdière	[5] [23] [24] [25]
8	Jian Li	[6] [27]
9	Dimitrios Nicolacopoulos	[31]
10	Joey Paquet	[1] [2] [3] [9] [13] [16] [19] [20] [21] [22] [28] [32] [38]
11	Yingying She	[15]
12	Stephen Sinclair	[31]
13	Miao Song	[34] [36]
14	Xin Tong	[13] [38]
15	Suhasini Tsapa	[24] [25]
16	Emil Vassev	[33] [35] [37]
17	Aihua Wu	[16]

Colors in the list of coauthors