Kenneth Baclawski

Kenneth Baclawski: A combinatorial proof of a fixed point property. J. Comb. Theory, Ser. A 119(5): 994-1013 (2012)

Mieczyslaw M. Kokar, Christopher J. Matheus, Kenneth Baclawski: Ontology-based situation awareness. Information Fusion 10(1): 83-98 (2009)

Donghui Zhang, Kenneth Baclawski, Vassilis J. Tsotras: B+-Tree. Encyclopedia of Database Systems 2009: 197-200

Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar: BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules. RuleML 2006: 67-74

Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar, Jerzy Letkowski: Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario. RuleML 2005: 130-144

Christopher J. Matheus, Mieczyslaw M. Kokar, Kenneth Baclawski, Jerzy Letkowski: An Application of Semantic Web Technologies to Situation Awareness. International Semantic Web Conference 2005: 944-958

Yong Xun, Mieczyslaw M. Kokar, Kenneth Baclawski: Control based sensor management for a multiple radar monitoring scenario. Information Fusion 5(1): 49-63 (2004)

Yong Xun, Mieczyslaw M. Kokar, Kenneth Baclawski: Using a Task-Specific QoS for Controlling Sensing Requests and Scheduling. NCA 2004: 269-276

Kenneth Baclawski, Christopher J. Matheus, Mieczyslaw M. Kokar, Jerzy Letkowski, Paul A. Kogut: Towards a Symptom Ontology for Semantic Web Applications. International Semantic Web Conference 2004: 650-667

Christopher J. Matheus, Mieczyslaw M. Kokar, Kenneth Baclawski, Jerzy Letkowski: Constructing RuleML-Based Domain Theories on Top of OWL Ontologies. RuleML 2003: 81-94

Paul A. Kogut, Stephen Cranefield, Lewis Hart, Mark Dutra, Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E. Smith: UML for ontology development. Knowledge Eng. Review 17(1): 61-64 (2002)

Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, Jerzy Letkowski, Pat Emery: Extending the Unified Modeling Language for ontology development. Software and System Modeling 1(2): 142-156 (2002)

Kenneth Baclawski, Mieczyslaw M. Kokar, Richard J. Waldinger, Paul A. Kogut: Consistency Checking of Semantic Web Ontologies. International Semantic Web Conference 2002: 454-459

Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski: Formal Verification of UML Diagrams: A First Step Towards Code Generation. pUML 2001: 224-240

Kenneth Baclawski, Mieczyslaw M. Kokar, Paul A. Kogut, Lewis Hart, Jeffrey E. Smith, William S. Holmes III, Jerzy Letkowski, Michael L. Aronson: Extending UML to Support Ontology Engineering for the Semantic Web. UML 2001: 342-360

Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E. Smith, Jerzy Letkowski: Consistency Checking of RM-ODP Specifications. WOODPECKER 2001: 17-26

Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Baclawski, Jeffrey E. Smith: Mapping an Application to a Control Architecture: Specification of the Problem. IWSAS 2000: 75-89

Haim Kilov, Kenneth Baclawski: Ninth OOPSLA workshop on behavioral semantics (poster session). OOPSLA Addendum 2000: 133-134

Kenneth Baclawski, Dan A. Simovici: A Characterization of the Information Content of a Classification. Inf. Process. Lett. 57(4): 211-214 (1996)

Kenneth Baclawski, Dan A. Simovici, William White: A Categorical Approach to Database Semantics. Mathematical Structures in Computer Science 4(2): 147-183 (1994)

Carole D. Hafner, Kenneth Baclawski, Robert P. Futrelle, Natalya Fridman Noy, Shobana Sampath: Creating a Knowledge Base of Biological Research Papers. ISMB 1994: 147-155

Jim Gray, Prakash Sundaresan, Susanne Englert, Kenneth Baclawski, Peter J. Weinberger: Quickly Generating Billion-Record Synthetic Databases. SIGMOD Conference 1994: 243-252

Patrick E. O'Neil, Kenneth Baclawski, D. Frank Hsu: Designing computer networks to avoid partitioning. Inf. Syst. 18(5): 343-348 (1993)

Kenneth Baclawski, Robert P. Futrelle, Natalya Fridman Noy, Maurice J. Pescitelli: Database Techniques for Biological Materials and Methods. ISMB 1993: 21-28

Kenneth Baclawski, Dan A. Simovici: An algebraic approach to databases with complex objects. Inf. Syst. 17(1): 33-47 (1992)

Kenneth Baclawski, Anders Björner: Fixed Points and Complements in Finite Lattices. J. Comb. Theory, Ser. A 30(3): 335-338 (1981)