The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tomasz Janowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  28. Building a Dependable Messaging Infrastructure for Electronic Government. [Citation Graph (, )][DBLP]


  29. Semantic interoperability architecture for electronic government. [Citation Graph (, )][DBLP]


  30. A whole-of-government approach to information technology strategy management. [Citation Graph (, )][DBLP]


  31. Developing a GCIO system: enabling good government through e-Leadership. [Citation Graph (, )][DBLP]


  32. Semantic Interoperability Middleware - Cases and applications in Electronic Government. [Citation Graph (, )][DBLP]


  33. A model for policy interventions in support of electronic governance. [Citation Graph (, )][DBLP]


  34. Technological foundations of electronic governance. [Citation Graph (, )][DBLP]


  35. A readiness assessment framework for e-government planning: design and application. [Citation Graph (, )][DBLP]


  36. A Composite Domain Framework for Developing Electronic Public Services. [Citation Graph (, )][DBLP]


  37. Organizing and Managing Knowledge for e-Government - Issues, Practices and Challenges. [Citation Graph (, )][DBLP]


Search in 0.081secs, Finished in 0.083secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002