| 2007 |
|---|
| 33 | | Tomasz Janowski,
Theresa A. Pardo:
Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, ICEGOV 2007, Macao, China, December 10-13, 2007
ACM 2007 |
| 32 | | Tomasz Janowski,
Hrushikesha Mohanty:
Distributed Computing and Internet Technology, 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20, Proceedings
Springer 2007 |
| 31 | EE | Elsa Estevez,
Tomasz Janowski:
Building a Dependable Messaging Infrastructure for Electronic Government.
ARES 2007: 948-958 |
| 30 | EE | Tomasz Janowski,
Adegboyega K. Ojo,
Elsa Estevez:
Rapid development of electronic public services: a case study in electronic licensing service.
DG.O 2007: 292-293 |
| 29 | EE | Tomasz Janowski,
Adegboyega K. Ojo,
Elsa Estevez:
Rapid development of electronic public services: software infrastructure and software process.
DG.O 2007: 294-295 |
| 28 | EE | Elsa Estevez,
Tomasz Janowski:
Programmable Messaging for Electronic Government - Building a Foundation.
Formal Methods and Hybrid Real-Time Systems 2007: 217-236 |
| 27 | EE | Elsa Estevez,
Tomasz Janowski:
Government-Enterprise Ecosystem Gateway (G-EEG) for Seamless e-Government.
HICSS 2007: 101 |
| 26 | EE | Jim Davies,
Tomasz Janowski,
Adegboyega K. Ojo,
Aadya Shukla:
Technological foundations of electronic governance.
ICEGOV 2007: 5-11 |
| 25 | | Adegboyega K. Ojo,
Tomasz Janowski,
Elsa Estevez:
A Composite Domain Framework for Developing Electronic Public Services.
SETP 2007: 234-241 |
| 24 | EE | Alan R. Ford,
Tomasz Janowski,
Peter Pulay:
Array files for computational chemistry: MP2 energies.
Journal of Computational Chemistry 28(7): 1215-1220 (2007) |
| 2006 |
|---|
| 23 | EE | Tomasz Janowski,
Elsa Estevez,
Irshad Khan,
Adegboyega K. Ojo:
UNeGov.net: community of practice for electronic governance.
DG.O 2006: 402-403 |
| 2005 |
|---|
| 22 | | Adegboyega K. Ojo,
Tomasz Janowski,
Elsa Estevez:
Determining Progress Towards e-Government: What are the Core Indicators?
ECEG 2005: 312-322 |
| 21 | | Tomasz Janowski,
Elsa Estevez,
Adegboyega K. Ojo:
A Project Framework for eGovernment.
EGOV (Workshops and Posters) 2005: 311-320 |
| 2002 |
|---|
| 20 | EE | Tomasz Janowski:
X2Rel: An XML Relation Language with Formal Semantics.
10th Anniversary Colloquium of UNU/IIST 2002: 97-114 |
| 19 | EE | Gafurov Davrondjon,
Tomasz Janowski:
Developing a Spell-Checker for Tajik Using RAISE.
ICFEM 2002: 401-405 |
| 18 | | Tomasz Janowski:
Modeling Distributed Production enterprises with XML.
PRO-VE 2002: 265-272 |
| 2001 |
|---|
| 17 | EE | Tomasz Janowski,
Adegboyega K. Ojo:
Formalising Feasibility and Correctness of Distributed Business Processes.
ER (Workshops) 2001: 432-443 |
| 16 | | Tomasz Janowski,
Mathai Joseph:
Dynamic Scheduling and Fault-Tolerance: Specification and Verification.
Real-Time Systems 20(1): 51-81 (2001) |
| 2000 |
|---|
| 15 | | Tomasz Janowski:
Distributed production with specification-generated processes.
Advanced Network Enterprises 2000: 91-100 |
| 14 | | Tomasz Janowski,
P. C. Vinh:
Protocol-based cooperation in a virtual manufacturing organization.
E-Business and Virtual Enterprises 2000: 211-218 |
| 13 | | Tomasz Janowski,
Wojciech I. Mostowski:
Fail-Stop Components by Pattern Matching.
FMOODS 2000: 351-370 |
| 12 | EE | Balkhis Abu Bakar,
Tomasz Janowski:
Automated Result Verification with AWK.
ICECCS 2000: 188- |
| 1999 |
|---|
| 11 | | Tomasz Janowski,
Younghe Liu,
Biqing Huang:
Automating Partner Selection for a Virtual Organization.
PRO-VE 1999: 433-448 |
| 1998 |
|---|
| 10 | EE | Tomasz Janowski:
Semantics and Logic for Provable Fault-Tolerance, A Tutorial.
ASIAN 1998: 79-83 |
| 9 | | Tomasz Janowski,
Gustavo Giménez Lugo,
Zheng Hongjun:
Composing enterprise models: The extended and the virtual enterprise.
BASYS 1998: 185-194 |
| 8 | | Tomasz Janowski,
Rumel V. Atienza,
Gustavo Giménez Lugo:
Integrating Enterprise Models and Models for Marketing Analysis.
DIISM 1998: 365-378 |
| 7 | EE | Tomasz Janowski,
Zheng Hongjun,
Gustavo Giménez Lugo:
Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises.
ICFEM 1998: 100-109 |
| 1997 |
|---|
| 6 | | Tomasz Janowski:
On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance.
AMAST 1997: 292-306 |
| 1996 |
|---|
| 5 | | Tomasz Janowski,
Mathai Joseph:
Dynamic Scheduling in the Presence of Faults: Specification and Verification.
FTRTFT 1996: 279-297 |
| 1995 |
|---|
| 4 | | Zhiming Liu,
Mathai Joseph,
Tomasz Janowski:
Verification of Schedulability for Real-Time Programs.
Formal Asp. Comput. 7(5): 510-532 (1995) |
| 1994 |
|---|
| 3 | | Tomasz Janowski:
Stepwise transformations for fault-tolerant design of CCS processes.
FORTE 1994: 505-520 |
| 2 | | Tomasz Janowski:
Fault-Tolerant Bisimulation and Process Tranformations.
FTRTFT 1994: 373-392 |
| 1989 |
|---|
| 1 | | Tomasz Janowski:
Examining the Satisfiability of Formulas of Propositional Dynamic Logic.
STACS 1989: 536 |
