Department of Computer Science

Faculty Publications

Computer Science Home Mission Statement Goals and Objectives Major Requirements Minor Requirements Combined Degrees Graduate Programs Faculty

Faculty Publications

Faculty Webpages

Computer Science Faculty Publications

Schiaffino, R., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Ma, L., Patel, C., Schonberg, E., and Srinivas, K. Computing OWL Ontology Decompositions Using Resolution. Second International Conference on Modular Ontologies, October, 2007

Murray, K. and Wei, X. A Detail+Context Approach to Visualize Function Calls. CCSCE07, October 2007.

Bailie, F., Whitfield, D., and Abunawass, A. Assessment and Its Role in Accreditation. FECS'07, June 2007.

Bailie, F., How a Technology Grant Has Made a Difference for Minority Students. SITE 2007 Conference, 2007.

Schiaffino, R., Fokoue, A., Kalyanpur, A., Kershenbaum, A., Ma, L., Patel, C., Schonberg, E., and Srinivas, K. Computing OWL Ontology Decompositions Using Resolution. Technical Report.

Ivanov, Lubomir. A Modern Course on Parallel and Distributed Processing, CCSC-Northeastern Conference, Worcestor, MA, April 2006.

Bailie, F. and Poger, S. Student Perspectives on a Real World Project. CCSC-Northeastern Conference, Worcestor, MA, April, 2006.

Wei, Xiaoming and Murray, Keitha. Work in Progress: A Detail+Context Approach to Visualize Function Calls, Fourth Program Visualization Workshop, University of Florence, Italy, June, 2006

Poger, Sofya and Bailie, Frances. A Web-Based System for Course and Program Assessment: Prototype to Product, SITE 2006.

Ivanov, Lubomir. Modeling and Verification of a Distributed Transmission Protocol, 2005 International Conference on Computer Design, Las Vegas, NV, May 2005.

Kershenbaum, Aaron and Murray, Keitha. Visualization of Network Structures, CCSC Northeastern Conference, New Rochelle, NY, Dec. 2005.

Kershenbaum, A., Leeman, G., Murray, K., Piliouras, T. and Schiaffino, R. Graph Isomorphism in Expected Linear Time and Space Mar.30,2005.

Kershenbaum, A., Leeman, G., Murray, K., Piliouras, T. and Schiaffino, R. Graph Isomorphism in Expected Linear Time and Space Technical Report,No. FEB9-05.

Bailie, F. An Investigation of Graduate Students' Reflections on Research. Site 2004 Conference, 2004.

Ivanov, L. and Mallozzi, J. A HARDWARE/SOFTWARE SIMULATOR TO UNIFY COURSES IN THE COMPUTER SCIENCE CURRICULUM. CCSC North-Eastern Conference'04 in Schenectady, NY, 4/2004, and published in the Journal of Computing in Small Colleges, Volume 19/Number 5, 5/2004.

Ivanov, L. Automatic Extraction of Non-Iterated System Behavior from Verilog Specifications. Proceedings of IEEE/ACM International Conference on VLSI'04, Las Vegas, NV, 6/2004.

Ivanov, L., A HARDWARE LAB FOR THE COMPUTER ORGANIZATION COURSE AT SMALL COLLEGES CCSCE 2003, Montclair, NJ, Oct. 2003

Bailie, F. and Ricardo, C. The Maze of Re-Certification and Accreditation. Site 2002 Conference, 2002.

Ivanov, L., HARDWARE COURSES AND THE UNDERGRADUATE COMPUTER SCIENCE CURRICULUM AT SMALL COLLEGES CCSC-East 2002, Bloomsburgh, PA, Oct. 2002

Ivanov, L., Modeling and Verification of a Pipelined CPU, Midwest Symposium on Circuits and Systems (MWSCAS'02) in Tulsa, OK, Aug.7 to Aug.11th 2002

Ivanov, L. & Shute, M., SPPV: A New Formal Verification Environment, Midwest Symposium on Circuits and Systems (MWSCAS'02) in Tulsa, OK, Aug.7 to Aug.11th 2002

Bailie, F. Comparing a Local School District's Teacher Use of Computing With National Survey Results. Site 2001 Conference, 2001.

Bailie, F. & Ricardo, C. USING GRANTS TO INFUSE TECHNOLOGY INTO TEACHER EDUCATION. Eastern Small College Computer Conference, 2001.

Ivanov, L., Integrating Formal Verification into Computer Organization and Architecture Courses, to appear 17th Eastern Small College Computing Conference(ESCCC'2001), Shepherd College, Shepherdstown, West Virginia, Oct. 26-27, 2001.

Ivanov, L., Formal Verification of Microinstructions Sequencing, to appear International Conference on computing and Information Technologies (ICCIT'2001), Montclair State University, Upper Montclair, New Jersey, Oct. 12, 2001.

Ivanov, L., Formal Verification of a Microprocessor Control, 44th IEEE Midwest Symposium on Circuits and Systems, Aug. 15-17, 2001, Dayton, Ohio.

Ivanov, L. & Nunna, R., Modeling and Verification of Iterated Systems and Protocols to appear 44th IEEE Midwest Symposium on Circuits and Systems, Aug. 15-17, 2001, Dayton, Ohio.

Ivanov, L. & Nunna, R., Modeling and Verification of Cache Coherence Protocols. International Symposium on Circuits and Systems(ISCAS), Sidney, Australia, May, 2001.

Bailie, F. & Ricardo, C. Incorporating Standards in Web-based Classroom Instruction. Site 2000 Conference, February, 2000.

D'Alessio, S., Murray, K., Kershenbaum, A. & Schiaffino, R. The Effect of Using Hierarchical Classifiers in Text Categorization. Proceedings of RIAO-2000, April 2000.

Ivanov, L. & Nunna, R., Specification and Formal Verification of Interconnect Bus Protocols. Midwest Symposium on Circuits and Systems(MWSCAS),Lansing, August, 2000.

Ivanov, L.,Nunna, R., & Bloom, S. Modeling and Analysis of Non-Iterated System: An approach based upon Series-Parallel Posets. International Symposium on Circuits and Systems(ISCAS), Orlando, FL, June,1999.

Ivanov, L. & Nunna, R. Formal Verification of Globally-Iterated/Locally-Non-Iterated Systems Midwest Symposium on Circuits and Systems(MWSCAS), New Mexico, August, 1999.

Ivanov, L. & Nunna, R. Formal Verification: A New Partial Order Approach. Application Specific Integrated Circuits/Systems on Chip(ASIC/SOC) Washington, DC, September 1999.

D'Alessio, S., Murray, K., Kershenbaum, A. & Schiaffino, R. The Effect of Topological Structure on Hierarchical Text Categorization. Proceedings of the Sixth Workshop on Very Large Corpora at COLING-ACL '98, August 1998

D'Alessio, S., Murray, K., Kershenbaum, A. & Schiaffino, R. Category Levels in Hierarchical Text Categorization. Proceedings of the Third Conference on Empirical Methods in Natural Language Processing, June 1998.