| * | 2009 |
|---|
| 38 | EE | Serguei A. Mokhov,
Joey Paquet,
Xin Tong:
A type system for hybrid intensional-imperative programming support in GIPSY.
C3S2E 2009: 101-107 |
| 37 | EE | Emil Vassev,
Serguei A. Mokhov:
An ASSL-generated architecture for autonomic systems.
C3S2E 2009: 121-126 |
| 36 | EE | 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 | EE | 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 | EE | Serguei A. Mokhov,
Joey Paquet:
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
CoRR abs/0904.3789: (2009) |
| 31 | EE | 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 | EE | Serguei A. Mokhov:
The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction
CoRR abs/0905.2449: (2009) |
| 29 | EE | 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 | EE | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid
CoRR abs/0906.0049: (2009) |
| 27 | EE | Serguei A. Mokhov,
Lee Wei Huynh,
Jian Li:
Managing Distributed MARF with SNMP
CoRR abs/0906.0065: (2009) |
| 26 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Serguei A. Mokhov,
Joey Paquet,
Mourad Debbabi:
Reasoning About an ACME Printer Case Investigation with Forensic Lucid
CoRR abs/0906.5181: (2009) |
| 18 | EE | 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 | EE | Serguei A. Mokhov:
Service-Oriented Architectures and Web Services: Course Tutorial Notes
CoRR abs/0907.2974: (2009) |
| 16 | EE | Aihua Wu,
Joey Paquet,
Serguei A. Mokhov:
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
CoRR abs/0909.0764: (2009) |
| 15 | EE | Serguei A. Mokhov,
Yingying She:
Yet Another Pacman 3D Adventures
CoRR abs/0910.4854: (2009) |
| 2008 |
|---|
| 14 | EE | 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 | EE | Joey Paquet,
Serguei A. Mokhov,
Xin Tong:
Design and Implementation of Context Calculus in the GIPSY Environment.
COMPSAC 2008: 1278-1283 |
| 12 | EE | Serguei A. Mokhov:
Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL.
COMPSAC 2008: 1288-1294 |
| 11 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
