Publikacje

Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

Liczba publikacji: 4

2006

• A. Janowska i P. Janowski, Slicing of Timed Automata with Discrete Data, Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk Nr 990 2006, s. 1–29.zobacz w PBN

2005

• Rafał Hryniów, Michał Lentner, Krzysztof Stencel i Kazimierz Subieta, Types and Type Checking in Stack-Based Query Languages, Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk Nr 984 2005, s. 1–60.zobacz w PBN

2004

• Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankiewicz, Michał Lentner, Krzysztof Stencel i Kazimierz Subieta, Data-Intensive Grid Computing Based on Updatable Views, Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk Nr 974 2004, s. 1–56.zobacz w PBN

2000

• A. Wiszniewska-Matyszkiel, Equilibria in dynamic games with continuum of players : discrete time case, Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk nr 904 2000, s. 1–14.zobacz w PBN