Software Engineering Publications of Kenneth Paul Baclawski

  1. K. Baclawski. Transactions in the nu& system. In OOPLSA/ECOOP'90 Workshop on Transactions and Objects, pages 65-72. (October, 1990)
  2. K. Baclawski and D. Simovici. An algebraic approach to databases with complex objects. Information Systems 17(1):33-47. Pergamon Press. (1992)
  3. K. Baclawski, D. Simovici and W. White. A categorical approach to database semantics. Math. Structures in Comp. Sci. 4:147-183. (1994)
  4. K. Baclawski and B. Indurkhya. The notion of inheritance in object-oriented programming. Comm. ACM 37(9):118-119. (September, 1994) [pdf]
  5. K. Baclawski. Long time, no see: categorization in information science. In Essays on the Future. In Honor of the 80th Birthday of Nick Metropolis, S. Hecker, G.C. Rota (Ed), pages 11-26. Birkhauser. (1997) [pdf]
  6. K. Baclawski, S. DeLoach, M. Kokar and J. Smith. Object-oriented parsing and transformation. In Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, pages 13-31. (October, 1998) [ppt]
  7. K. Baclawski, S. DeLoach, M. Kokar and J. Smith. UML Formalization: A Position Paper. In OOPSLA'98 Workshop: Formalizing UML. Why? How?. (October, 1998) [ppt]
  8. K. Baclawski, S. DeLoach, M. Kokar and J. Smith. Object-Oriented Transformation. In Object-Oriented Behavioral Specifications, H. Kilov, B. Rumpe, I. Simmonds (Ed), pages 1-14. Kluwer Academic. (1999)
  9. M. Kokar, K. Baclawski and Y. Eracar. Control Theory-Based Foundations of Self-Controlling Software. IEEE Intelligent Systems and their Applications 14(3):37-45. IEEE Computer Society. (1999) [pdf]
  10. K. Baclawski, H. Kilov, A. Thalassinidis, K. Tyson (Ed). Eighth OOPSLA Workshop on Behavioral Semantics. Northeastern University, College of Computer Science, Boston. (November, 1999)
  11. J. Smith, M. Kokar and K. Baclawski. Formal verification of UML diagrams: A first step towards code generation. In Eighth OOPSLA Workshop on Behavioral Semantics, pages 206-220. (November, 1999) [pdf]
  12. J. Smith, M. Kokar and K. Baclawski. Alternative Formalizations of Aggregations and Associations in UML. In International Conference on the Unified Modeling Language. (1999)
  13. K. Baclawski, H. Kilov (Ed). Ninth OOPSLA Workshop on Behavioral Semantics. Northeastern University, College of Computer Science, Boston. (November, 2000)
  14. M. Kokar, K. Baclawski, K. Passino and J. Smith. Mapping an Application to a Control Architecture: Specification of the problem. In Self-Adaptive Software, Proceedings of the First International Workshop on Self-Adaptive Software, pages 75-89. Lecture Notes in Computer Science 1936:75-89. Springer-Verlag. (April, 2000) [pdf]
  15. J. Smith, M. Kokar, K. Baclawski and S. DeLoach. Category Theoretic Approaches of Representing Precise UML Semantics. In Proceedings of the Precise UML Workshop at ECOOP 2000. (2000) [pdf]
  16. M. Kokar and K. Baclawski. Modeling combined time- and event-driven dynamic systems. In Ninth OOPSLA Workshop on Behavioral Semantics, pages 112-129. (November, 2000) [pdf]
  17. K. Baclawski. Ontology-based computing. Greater Boston Chapter of the ACM. Invited presentation. (2001) [ppt]
  18. K. Baclawski, M.M. Kokar, J. Smith and J. Letkowski. Consistency Checking of RM-ODP Specifications. In Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation (WOODPECKER'2001), J. Cordeiro, H. Kilov (Ed), pages 17-26. (2001) [pdf] [ppt]
  19. J. Smith, M. Kokar and K. Baclawski. Formal Verification of UML Diagrams: A first step towards code generation. In Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, A. Evans, R. France, A. Moreira, B. Rumpe (Ed), pages 224-240. Lecture Notes in Informatics P-7:224-240. Gesellshaft für Informatik. (October, 2001)
  20. K. Baclawski, M. Kokar, P. Kogut, L. Hart, J. Smith, W. Holmes, J. Letkowski and M. Aronson. Extending UML to support ontology engineering for the Semantic Web. In Fourth International Conference on the Unified Modeling Language, M. Gogolla, C. Kobryn (Ed), pages 342-360. Lecture Notes in Computer Science 2185:342-360. Springer-Verlag. (October, 2001) [pdf] [ppt]
  21. M. Kokar, K. Baclawski, Y. Xun and K. Passino. Stability of Self-Adaptive Software: A Case Study. In Self Adaptive Software: Applications, Proceedings of the Second International Workshop on Self Adaptive Software, pages 1-8. (May, 2001)
  22. K. Baclawski and A. Simeqi. Toward ontology-based component composition. In Tenth OOPSLA Workshop on Behavioral Semantics, pages 1-11. (October, 2001) [pdf] [ppt]
  23. K. Baclawski, H. Kilov (Ed). Tenth OOPSLA Workshop on Behavioral Semantics. Northeastern University, College of Computer Science, Boston. (October, 2001)
  24. M.M. Kokar and K. Baclawski. Self-Controlling Architecture Structured Agents. In Workshop on New Visions for Software Design and Productivity: Research and Applications. Software Design and Productivity Coordinating Group of the Interagency Working Group on Information Technology Research and Development. (December 13-14, 2001) [pdf]
  25. P. Kogut, S. Cranefield, L. Hart, M. Dutra, K. Baclawski, M. Kokar and J. Smith. UML for Ontology Development. Knowledge Eng. Rev. 17(1):61-64. (2002) [doc]
  26. K. Baclawski, M.M. Kokar, R. Waldinger and P. Kogut. Consistency Checking of Semantic Web Ontologies. In Proc. of the International Semantic Web Conference, pages 454-459. Lecture Notes in Computer Science 2342:454-459. Springer-Verlag. (June, 2002) [pdf]
  27. K. Baclawski, M. Kokar, P. Kogut, L. Hart, J. Smith, J. Letkowski and P. Emery. Extending the Unified Modeling Language for Ontology Development. Software and System Modeling 1(2):142-156. Springer-Verlag. (2002)
  28. K. Baclawski, M. Malczewski, M. Kokar, J. Letkowski and C. Matheus. Formalization of Situation Awareness. In Eleventh OOPSLA Workshop on Behavioral Semantics, pages 1-15. (November 4, 2002) [pdf]
  29. K. Baclawski, H. Kilov (Ed). Eleventh OOPSLA Workshop on Behavioral Semantics. Northeastern University, College of Computer Science, Boston. (November, 2002)
  30. K. Baclawski, M.M. Kokar and J. Smith. The Unified Ontology Language. In OMG Ontology meeting. (November 2, 2002)
  31. K. Baclawski, M. Kokar, C. Matheus, J. Letkowski and M. Malczewski. Formalization of Situation Awareness. In Practical Foundations of Behavioral Semantics, H. Kilov, K. Baclawski (Ed), pages 25-40. Kluwer Academic. (2003) [pdf]
  32. H. Kilov, K. Baclawski (Ed). Practical Foundations of Business and System Specifications. Kluwer Academic. (2003)
  33. K. Baclawski. Ontology Development. In International Workshop on Software Methodologies, Tools and Techniques, pages 3-26. Keynote address. (2003) [pdf] [ppt]
  34. C. Matheus, M.M. Kokar, K. Baclawski and J. Letkowski. Constructing RuleML-Based Domain Theories on top of OWL Ontologies. In Rules and Rule Markup Languages for the Semantic Web, Second International Workshop, RuleML 2003, M. Schroeder, G. Wagner (Ed), pages 81-94. Lecture Notes in Computer Science 2876:81-94. Springer-Verlag. (October, 2003) [pdf]
  35. C. Matheus, K. Baclawski and M. Kokar. Derivation of ontological relations using formal methods in a situation awareness scenario. In Proc. SPIE Conference on Multisensor, Multisource Information Fusion, pages 298-309. (April, 2003)
  36. C. Matheus, M. Kokar and K. Baclawski. A Core Ontology for Situation Awareness. In Proc. Sixth Intern. Conf. on Information Fusion FUSION'03, pages 545-552. (July, 2003) [pdf]
  37. Y. Xun, M.M. Kokar and K. Baclawski. Control based sensor management for a multiple radar monitoring scenario. Information Fusion: An International Journal on Multi-Sensor, Multi-Source Information Fusion 5(4):49-63. Elsevier Science Publishers. (2004) [pdf]
  38. M. Kokar, C. Matheus, J. Letkowski, K. Baclawski and P. Kogut. Association in Level 2 Fusion. In Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications, pages 228-237. (April, 2004) [pdf]
  39. K. Baclawski. Bayesian network development. In International Workshop on Software Methodologies, Tools and Techniques, pages 18-48. Keynote address. (September, 2004) [pdf] [ppt]
  40. M. Kokar, C. Matheus, K. Baclawski, J. Letkowski, M. Hinman and J. Salerno. Use Cases for Ontologies in Information Fusion. In Proc. Seventh Intern. Conf. Info. Fusion, pages 415-421. (2004) [pdf]
  41. K. Baclawski, C. Matheus, M. Kokar and J. Letkowski. Toward a Symptom Ontology for Semantic Web Applications. In ISWC'04, pages 650-667. Lecture Notes in Computer Science 3298:650-667. Springer-Verlag. (2004)
  42. Y. Xun, M. Kokar and K. Baclawski. Using a Task-Specific QoS for Controlling Sensing Requests and Scheduling. In The 3rd IEEE Int. Sympos. Network Computing and Applications, pages 269-276. (2004) [pdf]
  43. C. Matheus, M. Kokar, K. Baclawski, J. Letkowski, C. Call, M. Hinman, J. Salerno and D. Boulware. SAWA: An Assistant for Higher-Level Fusion and Situation Awareness. In Proc. SPIE Conference on Multisensor, Multisource Information Fusion, pages 75-85. (2005) [ppt]
  44. C. Matheus, M. Kokar, K. Baclawski, J. Letkowski, C. Call, M. Hinman, J. Solerno and D. Boulware. Lessons Learned from Developing SAWA: A Situation Awareness Assistant. In Eighth Int. Conf. Info. Fusion. (July 25-29, 2005) [doc]
  45. C. Matheus, K. Baclawski, M. Kokar and J. Letkowski. Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario. In Rules and Rule Markup Languages for the Semantic Web First International Conference, A. Adi, S. Stoutenburg (Ed), pages 130-144. Lecture Notes in Computer Science 3791:130-144. Springer-Verlag. (November 10-12, 2005)
  46. C. Matheus, M. Kokar, K. Baclawski and J. Letkowski. An Application of Semantic Web Technologies to Situation Awareness. In ISWC'05, pages 944-958. Lecture Notes in Computer Science 3729:944-958. Springer-Verlag. (2005) [ppt]
  47. M. Kokar, K. Baclawski and H. Gao. Category Theory Based Synthesis of a Higher-Level Fusion Algorithm: An Example. In Fusion'06. (2006)
  48. K. Baclawski. Introduction to the Semantic Web. The Open Group in Washington, DC. Tutorial. (April 28, 2006) [ppt]
  49. C. Matheus, K. Baclawski and M.M. Kokar. BaseVISor: A Forward-Chaining Inference Engine Optimized for RDF/OWL Triples. In International Semantic Web Conference. (2006)
  50. C. Matheus, K. Baclawski and M.M. Kokar. BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules. In Proc. Intern. Conf. on Rules and Rule Languages for the Semantic Web. (November, 2006)
  51. K. Baclawski and V. Duggar. Ontology Evaluation Experiment. Northeastern University. (2006) [links]
  52. K. Baclawski. Ontology Summit Survey Analysis. In Ontology Summit 2007. Ontolog Forum. Team Leader. (April 23, 2007) [ppt] [links]
  53. . In Ontology Summit 2007. Convener and Chair of Survey Analysis Committee. (April, 2007) [links]
  54. K. Baclawski. Ontology Summit Survey Issues. In Ontology Summit 2007. Ontolog Forum. Team Leader. (April 24, 2007) [ppt]
  55. V. Duggar and K. Baclawski. Integration of Decision Analysis in Process Life-Cycle Models. In International Workshop on Living with Uncertainties. (November 5, 2007)
  56. P. Yim. NASA Proposal. Ontolog Forum. (2007) [links]
  57. M. Kokar, K. Baclawski and C. Matheus. Ontology-Based Situation Awareness. Information Fusion. Elsevier Science Publishers. Reference INFFUS277. (2008)
  58. K. Baclawski. Emerging Semantic Web Commercialization Opportunities. Keynote Address at the Entretech Forum. (February 19, 2008) [ppt]
  59. K. Baclawski. The Semantic Web: it's not just for searching anymore!. Greater Boston Chapter of the ACM. Invited presentation. (June, 2008) [ppt]
  60. . In Ontology Summit 2008. Convener and Demonstration Session Chair. (April, 2008) [links]
  61. K. Baclawski. Open Ontology Repository User and Developer Needs. In Ontology Summit 2008. Ontolog Forum. Speaker. (April 29, 2008) [links]
Color Key