| 2010 |
43 | | Tomasz Janowski,
Hrushikesha Mohanty:
Distributed Computing and Internet Technology, 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
Springer 2010 |
| 2009 |
42 | | Jim Davies,
Tomasz Janowski:
ICEGOV 2009, Proceedings of the 3rd International Conference on Theory and Practice of Electronic Governance, Bogota, Columbia, November 10-13, 2009
ACM 2009 |
41 | | Adegboyega K. Ojo,
Tomasz Janowski,
Elsa Estevez:
Semantic interoperability architecture for electronic government.
D.GO 2009: 63-72 |
40 | | Zamira Dzhusupova,
Adegboyega Ojo,
Tomasz Janowski:
Organizing and Managing Knowledge for e-Government - Issues, Practices and Challenges.
KMIS 2009: 206-211 |
39 | | Jon Baker,
Krzysztof Wolinski,
Massimo Malagoli,
Don Kinghorn,
Pawel Wolinski,
Gábor Magyarfalvi,
Svein Saebo,
Tomasz Janowski,
Peter Pulay:
Quantum chemistry in parallel with PQS.
Journal of Computational Chemistry 30(2): 317-335 (2009) |
| 2008 |
38 | | Tomasz Janowski,
Theresa A. Pardo:
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, ICEGOV 2008, Cairo, Egypt, December 1-4, 2008
ACM 2008 |
37 | | Alejandro Sanchez,
Adegboyega K. Ojo,
Tomasz Janowski,
Elsa Estevez:
Semantic Interoperability Middleware - Cases and applications in Electronic Government.
ICDIM 2008: 800-805 |
36 | | Radha Chauhan,
Elsa Estevez,
Tomasz Janowski:
A model for policy interventions in support of electronic governance.
ICEGOV 2008: 199-205 |
35 | | Mohamed Shareef,
Adegboyega K. Ojo,
Tomasz Janowski:
A readiness assessment framework for e-government planning: design and application.
ICEGOV 2008: 403-410 |
| 2007 |
34 | | 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 |
33 | | Tomasz Janowski,
Hrushikesha Mohanty:
Distributed Computing and Internet Technology, 4th International Conference, ICDCIT 2007, Bangalore, India, December 17-20, Proceedings
Springer 2007 |
32 | | Elsa Estevez,
Tomasz Janowski:
Building a Dependable Messaging Infrastructure for Electronic Government.
ARES 2007: 948-958 |
31 | | 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 |
30 | | Tomasz Janowski,
Adegboyega K. Ojo,
Elsa Estevez:
Rapid development of electronic public services: software infrastructure and software process.
DG.O 2007: 294-295 |
29 | | Elsa Estevez,
Tomasz Janowski:
Programmable Messaging for Electronic Government - Building a Foundation.
Formal Methods and Hybrid Real-Time Systems 2007: 217-236 |
28 | | Elsa Estevez,
Tomasz Janowski:
Government-Enterprise Ecosystem Gateway (G-EEG) for Seamless e-Government.
HICSS 2007: 101 |
27 | | Jim Davies,
Tomasz Janowski,
Adegboyega K. Ojo,
Aadya Shukla:
Technological foundations of electronic governance.
ICEGOV 2007: 5-11 |
26 | | Adegboyega K. Ojo,
Tomasz Janowski,
Elsa Estevez:
A Composite Domain Framework for Developing Electronic Public Services.
SETP 2007: 234-241 |
25 | | Alan R. Ford,
Tomasz Janowski,
Peter Pulay:
Array files for computational chemistry: MP2 energies.
Journal of Computational Chemistry 28(7): 1215-1220 (2007) |
| 2006 |
24 | | Tomasz Janowski,
Elsa Estevez,
Irshad Khan,
Adegboyega K. Ojo:
UNeGov.net: community of practice for electronic governance.
DG.O 2006: 402-403 |
| 2005 |
23 | | Adegboyega K. Ojo,
Tomasz Janowski,
Elsa Estevez:
Determining Progress Towards e-Government: What are the Core Indicators?
ECEG 2005: 312-322 |
22 | | Tomasz Janowski,
Elsa Estevez,
Adegboyega K. Ojo:
A Project Framework for eGovernment.
EGOV (Workshops and Posters) 2005: 311-320 |
| 2002 |
21 | | Tomasz Janowski:
X2Rel: An XML Relation Language with Formal Semantics.
10th Anniversary Colloquium of UNU/IIST 2002: 97-114 |
20 | | Gafurov Davrondjon,
Tomasz Janowski:
Developing a Spell-Checker for Tajik Using RAISE.
ICFEM 2002: 401-405 |
19 | | Tomasz Janowski:
Modeling Distributed Production enterprises with XML.
PRO-VE 2002: 265-272 |
| 2001 |
18 | | Tomasz Janowski,
Adegboyega K. Ojo:
Formalising Feasibility and Correctness of Distributed Business Processes.
ER (Workshops) 2001: 432-443 |
17 | | Tomasz Janowski,
Mathai Joseph:
Dynamic Scheduling and Fault-Tolerance: Specification and Verification.
Real-Time Systems 20(1): 51-81 (2001) |
| 2000 |
16 | | Tomasz Janowski:
Distributed production with specification-generated processes.
Advanced Network Enterprises 2000: 91-100 |
15 | | Tomasz Janowski,
P. C. Vinh:
Protocol-based cooperation in a virtual manufacturing organization.
E-Business and Virtual Enterprises 2000: 211-218 |
14 | | Tomasz Janowski,
Wojciech I. Mostowski:
Fail-Stop Components by Pattern Matching.
FMOODS 2000: 351-370 |
13 | | Balkhis Abu Bakar,
Tomasz Janowski:
Automated Result Verification with AWK.
ICECCS 2000: 188- |
| 1999 |
12 | | Tomasz Janowski,
Younghe Liu,
Biqing Huang:
Automating Partner Selection for a Virtual Organization.
PRO-VE 1999: 433-448 |
11 | | Tomasz Janowski,
Gustavo Giménez Lugo,
Hongjun Zheng:
Modelling an Extended/Virtual Enterprise by the Composition of Enterprise Models.
Journal of Intelligent and Robotic Systems 26(3-4): 303-324 (1999) |
| 1998 |
10 | | Tomasz Janowski:
Semantics and Logic for Provable Fault-Tolerance, A Tutorial.
ASIAN 1998: 79-83 |
9 | | Tomasz Janowski,
Gustavo Giménez Lugo,
Hongjun Zheng:
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 | | Tomasz Janowski,
Hongjun Zheng,
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 |