|
17.06.2004
Aymeric Vincent
(LaBRI, Bordeaux)
|
 |
Mec 5, a model checker for AltaRica models
|
|
20.05.2004
Barbara Dunin-Kęplicz
(UW i IPI PAN)
|
|
Kalibrowanie kolektywnych zobowiązań w systemach wieloagentowych
|
29.04.2004 Edward Ochmański
(IPI PAN)
|
|
Spiski w sieciach Petriego i ich unikanie
|
|
25.03.2004 Beata Konikowska
(IPI PAN)
|
|
Logika do rozumowania o niepełnej informacji i sprzeczności
|
|
11.03.2004 Marek A. Bednarczyk
(IPI PAN, filia Gdańsk)
|
|
Mobilne HiperSieci Petriego
|
|
19.02.2004 Michal Lentner, Hanna Kozankiewicz, Kazimierz Subieta
|
|
Prace w zakresie baz danych i technologii internetowych prowadzone
w Zespole Inżynierii Oprogramowania IPI PAN
i
Katedrze Systemów Informacyjnych PJWSTK
|
|
22.01.2004 Agata Półrola
|
|
Testowanie osiągalności dla automatów czasowych
za pomoca algorytmu podziału
|
|
8.01.2004 Bożena Woźna
|
|
Ograniczona weryfikacja modelowa dla własności ACTL*
i systemów modelowanych przez Dyskretne Automaty Czasowe
|
|
11.12.2003 Dobiesław Wróblewski
|
|
Uniwersalny algorytm elekcji z wykorzystaniem polaczeń
przekierowujących
|
|
20.11.2003 Antoni Mazurkiewicz, IPI PAN
|
|
Lokalne negocjacje w
pewnych strukturach komunikacyjnych
|
|
30.10.2003 V. Wiktor Marek,
Wydział Informatyki,
Uniwersytet Stanu Kentucky
|
|
Formalizmy logiczne a programowanie deklaratywne
|
|
23.10.2003 Andrzej Borzyszkowski, IPI PAN
|
|
Systemy tranzycji bez tranzycji
|
|
09.10.2003 Stanisław Ambroszkiewicz, IPI PAN
|
|
Entish: język do opisu i integracji heterogenicznych aplikacji
w otwartym środowisku
|
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum - 2003/2004 
