Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Serguei A. Mokhov
2010 – today
- 2012
[j1]Emil Vassev, Serguei A. Mokhov: Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL - A Distributed MARF Case Study. Transactions on Computational Science 15: 130-157 (2012)- [c48]Yi Ji, Serguei A. Mokhov, Joey Paquet: Unifying and refactoring DMF to support concurrent Jini and JMS DMS in GIPSY. C3S2E 2012: 36-44
- [i41]Serguei A. Mokhov, Yankui Sun: OCT Segmentation Survey and Summary Reviews and a Novel 3D Segmentation Algorithm and a Proof of Concept Implementation. CoRR abs/1204.6725 (2012)
- [i40]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi, Yankui Sun: MARFCAT: Transitioning to Binary and Larger Data Sets of SATE IV. CoRR abs/1207.3718 (2012)
- [i39]Sleiman Rabah, Serguei A. Mokhov, Joey Paquet: An Interactive Graph-Based Automation Assistant: A Case Study to Manage the GIPSY's Distributed Multi-tier Run-Time System. CoRR abs/1212.4123 (2012)
- 2011
- [c47]Michael J. Assels, Dana Echtner, Michael Spanner, Serguei A. Mokhov, François Carrière, Manny Taveroff: Multifaceted faculty network design and management: practice and experience. C3S2E 2011: 151-155
- [c46]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About a Simulated Printer Case Investigation with Forensic Lucid. ICDF2C 2011: 282-296
- [c45]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: On the need for data flow graph visualization of Forensic Lucid programs and encoded evidence, and their evaluation by GIPSY. PST 2011: 120-123
- [i38]Serguei A. Mokhov, Marc-André Laverdière, Nader Hatami, Ali Benssam: Cryptolysis v.0.0.1 - A Framework for Automated Cryptanalysis of Classical Ciphers. CoRR abs/1101.1075 (2011)
- [i37]Elizaveta Eidelman, Serguei A. Mokhov: Alchymical Mirror: Real-time Interactive Sound- and Simple Motion-Tracking Set of Jitter/Max/MSP Patches. CoRR abs/1101.2219 (2011)
- [i36]Serguei A. Mokhov, Marc-André Laverdière, Ali Benssam, Djamel Benredjem: A Secure Web-Based File Exchange Server: Software Requirements Specification Document. CoRR abs/1101.4632 (2011)
- [i35]Serguei A. Mokhov, Marc-André Laverdière, Ali Benssam, Djamel Benredjem: Design and Implementation of a Secure Web-Based File Exchange Server: Specification Design Document. CoRR abs/1101.4640 (2011)
- [i34]Michael J. Assels, Dana Echtner, Michael Spanner, Serguei A. Mokhov, François Carrière, Manny Taveroff: Multifaceted Faculty Network Design and Management: Practice and Experience Report. CoRR abs/1103.5433 (2011)
- [i33]
- [i32]Emil Vassev, Serguei A. Mokhov: Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study. CoRR abs/1112.3972 (2011)
- 2010
- [b2]Serguei A. Mokhov: Hybrid Intensional Computing in GIPSY: JLucid, Objective Lucid and GICF. LAP Lambert Academic Publishing , Germany 2010, ISBN 978-3838311982
- [c44]Serguei A. Mokhov, Joey Paquet: A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY. ACIS-ICIS 2010: 921-928
- [c43]Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi: Towards a self-forensics property in the ASSL toolset. C3S2E 2010: 108-113
- [c42]
- [c41]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence. RAID 2010: 508-509
- [c40]Emil Vassev, Serguei A. Mokhov: Towards Autonomic Specification of Distributed MARF with ASSL: Self-healing. SERA (selected papers) 2010: 1-15
- [c39]Serguei A. Mokhov, Joey Paquet: Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions. SERA 2010: 101-109
- [c38]Aihua Wu, Joey Paquet, Serguei A. Mokhov: Object-Oriented Intensional Programming: Intensional Java/Lucid Classes. SERA 2010: 158-167
- [c37]Bin Han, Serguei A. Mokhov, Joey Paquet: Advances in the Design and Implementation of a Multi-tier Architecture in the GIPSY Environment with Java. SERA 2010: 259-266
- [c36]Serguei A. Mokhov: Cryptolysis: A Framework for Verification of Optimization Heuristics for the Automated Cryptanalysis of Classical Ciphers and Natural Language Word Segmentation. SERA 2010: 295-302
- [i31]
- [i30]Frank Rudzicz, Serguei A. Mokhov: Towards a Heuristic Categorization of Prepositional Phrases in English with WordNet. CoRR abs/1002.1095 (2010)
- [i29]Xin Tong, Joey Paquet, Serguei A. Mokhov: Complete Context Calculus Design and Implementation in GIPSY. CoRR abs/1002.4392 (2010)
- [i28]Serguei A. Mokhov, Mashrur Mia, Petr Solodov, Kai Zhao, Jihed Halimi: A UI Design Case Study and a Prototype of a Travel Search Engine. CoRR abs/1005.2072 (2010)
- [i27]Serguei A. Mokhov: Contents of COMP5541 Winter 2010 Final UUIS SRS and SDD Reports. CoRR abs/1006.3259 (2010)
- [i26]Serguei A. Mokhov: Complete Complimentary Results Report of the MARF's NLP Approach to the DEFT 2010 Competition. CoRR abs/1006.3787 (2010)
- [i25]Joey Paquet, Serguei A. Mokhov: Comparative Studies of Programming Languages; Course Lecture Notes. CoRR abs/1007.2123 (2010)
- [i24]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY. CoRR abs/1009.5423 (2010)
- [i23]Serguei A. Mokhov: The use of machine learning with signal- and NLP processing of source code to detect and classify vulnerabilities and weaknesses with MARFCAT. CoRR abs/1010.2511 (2010)
- [i22]Yi Ji, Serguei A. Mokhov, Joey Paquet: Towards Refactoring the DMF to Support Jini and JMS DMS in GIPSY. CoRR abs/1012.2860 (2010)
- [i21]Serguei A. Mokhov: Contents of COMP6411 Summer 2011 Final Reports on Comparative Studies of Programming Languages. CoRR abs/1012.5494 (2010)
2000 – 2009
- 2009
- [c35]Serguei A. Mokhov, Joey Paquet, Xin Tong: A type system for hybrid intensional-imperative programming support in GIPSY. C3S2E 2009: 101-107
- [c34]Emil Vassev, Serguei A. Mokhov: An ASSL-generated architecture for autonomic systems. C3S2E 2009: 121-126
- [c33]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
- [c32]Serguei A. Mokhov, Emil Vassev: Autonomic specification of self-protection for distributed MARF with ASSL. C3S2E 2009: 175-183
- [c31]Serguei A. Mokhov, Miao Song, Ching Y. Suen: Writer Identification Using Inexpensive Signal Processing Techniques. SCSS 2009: 437-441
- [c30]Miao Song, Serguei A. Mokhov, Peter Grogono: Teaching Physical Based Animation via OpenGL Slides. SCSS 2009: 483-488
- [c29]Serguei A. Mokhov, Miao Song: OpenGL Project Presentation Slides Interface and a Case Study. GRAPP 2009: 409-412
- [c28]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract). HSC 2009: 45
- [c27]Serguei A. Mokhov, Emil Vassev: Leveraging MARF for the Simulation of Securing Maritime Borders Intelligent Systems (IS) Challenge (abstract). HSC 2009: 46
- [c26]
- [c25]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. HSC 2009: 326-333
- [c24]Serguei A. Mokhov: The Role of Self-Forensics Modeling for Vehicle Crash Investigations and Event Reconstruction Simulation. HSC 2009: 334-341
- [c23]Serguei A. Mokhov, Emil Vassev: Leveraging MARF for the Simulation of the Securing Maritime Borders Intelligent Systems Challenge. HSC 2009: 342-349
- [c22]Emil Vassev, Serguei A. Mokhov: Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL. ICSOFT (1) 2009: 331-335
- [c21]Serguei A. Mokhov, Emil Vassev: Self-Forensics Through Case Studies of Small-to-Medium Software Systems. IMF 2009: 128-141
- [c20]Serguei A. Mokhov, Jian Li, Lingyu Wang: Simple Dynamic Key Management in SQL Randomization. NTMS 2009: 1-5
- [c19]Miao Song, Serguei A. Mokhov, Alison R. Loader, Maureen J. Simmonds: A stereoscopic OpenGL-based interactive plug-in framework for Maya and beyond. VRCAI 2009: 363-368
- [i20]Serguei A. Mokhov, Joey Paquet: Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. CoRR abs/0904.3789 (2009)
- [i19]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)
- [i18]Serguei A. Mokhov: The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction. CoRR abs/0905.2449 (2009)
- [i17]Serguei A. Mokhov: On Design and Implementation of the Distributed Modular Audio Recognition Framework: Requirements and Specification Design Document. CoRR abs/0905.2459 (2009)
- [i16]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid. CoRR abs/0906.0049 (2009)
- [i15]Serguei A. Mokhov, Lee Wei Huynh, Jian Li: Managing Distributed MARF with SNMP. CoRR abs/0906.0065 (2009)
- [i14]Serguei A. Mokhov: Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics. CoRR abs/0906.1845 (2009)
- [i13]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)
- [i12]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)
- [i11]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)
- [i10]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)
- [i9]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)
- [i8]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)
- [i7]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Reasoning About an ACME Printer Case Investigation with Forensic Lucid. CoRR abs/0906.5181 (2009)
- [i6]Serguei A. Mokhov: Towards Hybrid Intensional Programming with JLucid, Objective Lucid, and General Imperative Compiler Framework in the GIPSY. CoRR abs/0907.2640 (2009)
- [i5]Serguei A. Mokhov: Service-Oriented Architectures and Web Services: Course Tutorial Notes. CoRR abs/0907.2974 (2009)
- [i4]Aihua Wu, Joey Paquet, Serguei A. Mokhov: Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid. CoRR abs/0909.0764 (2009)
- [i3]
- [i2]Miao Song, Serguei A. Mokhov, Peter Grogono: Teaching Physical Based Animation via OpenGL Slides. CoRR abs/0912.5494 (2009)
- [i1]Serguei A. Mokhov, Miao Song, Ching Y. Suen: Writer Identification Using Inexpensive Signal Processing Techniques. CoRR abs/0912.5502 (2009)
- 2008
- [c18]Serguei A. Mokhov: Choosing Best Algorithm Combinations for Speech Processing Tasks in Machine Learning Using MARF. Canadian Conference on AI 2008: 216-221
- [c17]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
- [c16]Serguei A. Mokhov: Encoding Forensic Multimedia Evidence from MARF Applications as Forensic Lucid Expressions. TeNe 2008: 413-416
- [c15]Serguei A. Mokhov, Rajagopalan Jayakumar: Distributed Modular Audio Recognition Framework (DMARF) and its Applications Over Web Services. TeNe 2008: 417-422
- [c14]Serguei A. Mokhov, Farid Rassai, Lee Wei Huynh, Lingyu Wang: The Authentication Framework within the Java Data Security Framework (JDSF): Design and Implementation Refinement. TeNe 2008: 423-429
- [c13]Serguei A. Mokhov, Lee Wei Huynh, Lingyu Wang: The Integrity Framework within the Java Data Security Framework (JDSF): Design and Implementation Refinement. TeNe 2008: 449-455
- [c12]Serguei A. Mokhov, Miao Song: An OpenGL-based Interface to 3D PowerPoint-like Presentations of OpenGL Projects. SCSS (2) 2008: 533-538
- [c11]Joey Paquet, Serguei A. Mokhov, Xin Tong: Design and Implementation of Context Calculus in the GIPSY Environment. COMPSAC 2008: 1278-1283
- [c10]Serguei A. Mokhov: Towards Syntax and Semantics of Hierarchical Contexts in Multimedia Processing Applications Using MARFL. COMPSAC 2008: 1288-1294
- [c9]Serguei A. Mokhov: Study of the Alphabetic Indexing in a Scramble-like Word Puzzle Game. FCS 2008: 131-136
- [c8]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
- [c7]Serguei A. Mokhov, Joey Paquet, Mourad Debbabi: Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid. IMF 2008: 197-216
- [c6]Serguei A. Mokhov: Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems. ISPDC 2008: 375-382
- [c5]Serguei A. Mokhov, Lee Wei Huynh, Jian Li: Managing Distributed MARF's Nodes with SNMP. PDPTA 2008: 948-954
- [p1]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
- [c4]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
- [c3]Peter Grogono, Serguei A. Mokhov, Joey Paquet: Toward JLucid, Lucid with Embedded Java Functions in the GIPSY. PLC 2005: 15-21
- [c2]Serguei A. Mokhov, Joey Paquet: Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY. PLC 2005: 22-28
- [c1]Serguei A. Mokhov, Joey Paquet: General Imperative Compiler Framework within the GIPSY. PLC 2005: 36-42
- 2003
- [b1]Thao Vo, Armand St-Pierre, Serguei A. Mokhov: SQL*Plus sous Oracle: Notions et Applications de Base: Une Approche Pedagogique. Editions Marie-France, Canada 2003, ISBN 978-2-89168-620-4
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-03 22:05 CET by the dblp team