|
Search the dblp DataBase
Wieslaw Pawlowski:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Wieslaw Pawlowski
Context Institutions. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1995, pp:436-457 [Conf]
- 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]
- Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Recursive Definitions Revisited. [Citation Graph (0, 0)][DBLP] VDM Europe, 1990, pp:452-476 [Conf]
- 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]
- 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]
- 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]
- Wieslaw Pawlowski, Pawel Paczkowski, Stefan Sokolowski
Specifying and Verifying Parametric Processes. [Citation Graph (0, 0)][DBLP] MFCS, 1996, pp:469-481 [Conf]
- 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]
- 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]
- Wieslaw Pawlowski
Presentations for Abstract Context Institutions. [Citation Graph (0, 0)][DBLP] WADT, 2001, pp:256-279 [Conf]
- Wieslaw Pawlowski
Presenting and Combining Inference Systems: Presentations with Inference Rules. [Citation Graph (0, 0)][DBLP] WADT, 2002, pp:409-424 [Conf]
- Wieslaw Pawlowski
Context parchments. [Citation Graph (0, 0)][DBLP] WADT, 1997, pp:381-401 [Conf]
- 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.001secs, Finished in 0.002secs
|