Publications

Filters: Term is Software Technology  [Clear All Filters]
Dr. Tomasz JANOWSKI
T. Janowski, Y. Liu, and B. Huang, "Automating Partner Selection for a Virtual Organization", 1st IFIP Working Conference on Infrastructures for Industrial Virtual Enterprises (PROVE99), Porto, Portugal, Kluwer Academic Publishers, 10/1999. Abstract  Download: tj-pub-11.pdf (186.89 KB)
toamsz Janowski, Bisimulation and Fault-Tolerance, : University of Warwick, 00/1995. Abstract  Download: tj-pub-3.pdf (860.99 KB)
T. Janowski, Categories for System Integration - A Proposal, , 03/1996. Abstract
T. Janowski, G. G. Lugo, and H. Zheng, "Composing Enterprise Models: The Extended and The Virtual Enterprise", 3rd IFIP/IEEE International Conference on Information Technology For Balanced Automation Systems in Manufacturing (BASYS98), Prague, Czech Republic, Chapman and Hall, 08/1998. Abstract  Download: tj-pub-8.pdf (144.31 KB)
A. Ojo, T. Janowski, and E. Estevez, A Composite Domain Framework for Developing Electronic Public Services, , 07/2007. Abstract  Download: report370.pdf (871.63 KB)
T. Janowski, and X. Yun, "Concurrency, Faults and Atomic Transactions: Incremental Design for Fault-Tolerance", Information Technology and Education (IT@EDU2000), Ho Chi Minh City, Vietnam, 01/2000. Abstract  Download: tj-pub-13.pdf (162.63 KB)
G. Davrondjon, and T. Janowski, "Developing a Spell-Checker for Tajik using RAISE", 4th International Conference on Formal Engineering Methods, Shanghai, China, Springer-Verlag, 10/2002. Abstract  Download: tj-pub-22.pdf (178.28 KB)
A. Ojo, T. Janowski, R. Basanya, and M. Reed, "Developing and Harnessing Software Technology in the South - The Role of CIBS", WIDER Conference on Southern Engines of Global Growth: China, India, Brazil and South Africa (CIBS), Helsinki, Finland, UNU World Institute for Development Economics Research, 09/2007. Abstract  Download: tj-pub-43.pdf (117.45 KB)
T. Janowski, "Developing X2Rel - An XML Relation Language with Formal Semantics", 10th Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, Springer-Verlag, 00/2002. Abstract  Download: tj-pub-23.pdf (77.99 KB)
T. Janowski, "Distributed Production with Specification-Generated Processes", 4th IEEE/IFIP International Conference on Information Technology for Balanced Automation Systems in Production and Transportation (BASYS00), Berlin, Germany, Kluwer Academic Publishers, 09/2000. Abstract  Download: tj-pub-16.pdf (159.49 KB)
T. Janowski, Domain Analysis for Manufacturing: Formalization of the Market, , 03/1996. Abstract
T. Janowski, and M. Joseph, "Dynamic Scheduling and Fault-Tolerance: Specification and Verification", Real-Time Systems, vol. 20 , issue 1: Kluwer Academic Publishers, pp. 51-81, 01/2001. Abstract  Download: tj-pub-21.pdf (403.89 KB)
T. Janowski, and M. Joseph, "Dynamic Scheduling in the Presence of Faults: Specification and Verification", 4th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT96), Uppsala, Sweden, Springer-Verlag, 09/1996. Abstract  Download: tj-pub-5.pdf (258.42 KB)
T. Janowski, and M. Joseph, Dynamic Scheduling in the Presence of Faults: Specification and Verification, , 03/1996. Abstract  Download: report66.pdf (390.17 KB)
W. Mostowski, and T. Janowski, "Fail-Stop Components by Pattern Matching ", Specification Case Studies in RAISE: Springer-Verlag, pp. 341-368, 2002. Abstract  Download: tj-pub-24.pdf (200.5 KB)
T. Janowski, and W. Mostowski, "Fail-Stop Components by Pattern-Matching", IFIP 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS00), Stanford University, USA, Kluwer Academic Publishers, 09/2000. Abstract  Download: tj-pub-19.pdf (188.06 KB)
T. Janowski, "Fault-Tolerant Bisimulation and Process Transformations", 3rd International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT94), Kiel, Germany, Springer-Verlag, 09/1994. Abstract  Download: tj-pub-1.pdf (289.71 KB)
A. Ojo, and T. Janowski, "Formalising Production Processes", Specification Case Studies in RAISE: Springer-Verlag, pp. 187-217, 2002. Abstract  Download: tj-pub-27.pdf (222.89 KB)
T. Janowski, and A. Ojo, "Formalizing Feasibility and Correctness of Distributed Business Processes", Conceptual Modeling Approaches for e-Business, ECOMO2001, Yokohama, Japan, Springer, 10/2001. Abstract  Download: tj-pub-20.pdf (162.37 KB)
I. Marcovecchio, E. Estevez, and P. Fillottrani, "Government Chief Information Officer (GCIO) Ontology – A Tool to Formalize the GCIO Function", 7th International Conference on Theory and Practice of Electronic Governance, ICEGOV2013, Seoul, Republic of Korea, ACM Press, 10/2013. Abstract