The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wieslaw Pawlowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
    Modular System Development with Pullbacks. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:140-160 [Conf]
  2. Wieslaw Pawlowski
    Context Institutions. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:436-457 [Conf]
  3. Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
    Combining and Representing Logical Systems. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:177-196 [Conf]
  4. Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
    Recursive Definitions Revisited. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:452-476 [Conf]
  5. Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
    Towards the Semantics of the Definitional Language of MetaSoft. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1990, pp:471-503 [Conf]
  6. Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Andrzej Jodlowski, Krzysztof Skowronski, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski
    Dynamic AI Methods Applied to Internet-Based Integration of Credit Scoring Systems. [Citation Graph (0, 0)][DBLP]
    FQAS, 2000, pp:560-569 [Conf]
  7. Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz, Marek A. Bednarczyk, Wieslaw Pawlowski, Andrzej Wasowski
    Bayesian Network Mining System. [Citation Graph (0, 0)][DBLP]
    Intelligent Information Systems, 2001, pp:179-193 [Conf]
  8. Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski
    Specifying and Verifying Parametric Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:469-481 [Conf]
  9. Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello
    Modelling Mobility with Petri Hypernets. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:28-44 [Conf]
  10. Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
    Combining and representing logical systems using model-theoretic parchments. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:349-364 [Conf]
  11. Wieslaw Pawlowski
    Presentations for Abstract Context Institutions. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:256-279 [Conf]
  12. Wieslaw Pawlowski
    Presenting and Combining Inference Systems: Presentations with Inference Rules. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:409-424 [Conf]
  13. Wieslaw Pawlowski
    Context parchments. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:381-401 [Conf]
  14. Marek A. Bednarczyk, Wojciech Jamroga, Wieslaw Pawlowski
    Expressing and Verifying Temporal and Structural Properties of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:51-63 [Journal]

Search in 0.014secs, Finished in 0.015secs
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