Publikacje

Czasopismo: Electronic Notes in Theoretical Computer Science

2011

• Jacek Chrząszcz, Patryk Czarnik, Aleksy Schubert , A Dozen Instructions Make Java Bytecode, Electronic Notes in Theoretical Computer Science, 2011. Zobacz w PBN

2010

• Aleksy Schubert , Krzysztof Jakubczyk, Jędrzej Fulara, Konrad Durnoga, Relational Abstract Domain of Weighted Hexagons, Electronic Notes in Theoretical Computer Science, 2010. Zobacz w PBN

2009

• Sibylle B. Fröschle, Sławomir Lasota , Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences, Electronic Notes in Theoretical Computer Science, 2009. Zobacz w PBN
• Aleksy Schubert , Daria Walukiewicz-Chrząszcz, The Non-Interference Protection in BML, Electronic Notes in Theoretical Computer Science, 2009. Zobacz w PBN

2006

• Sibylle Froeschle, Sławomir Lasota , Causality Versus True-Concurrency, Electronic Notes in Theoretical Computer Science, 2006. Zobacz w PBN

2003

• Marcin Szczuka, Jakub Wróblewski, Dominik Ślęzak , Neural network architecture for synthesis of the probabilistic rule based classfiers, Electronic Notes in Theoretical Computer Science, 2003. Zobacz w PBN
• Hung Son Nguyen , On the decision table with maximal number of reducts, Electronic Notes in Theoretical Computer Science, 2003. Zobacz w PBN
• Hung Son Nguyen , James F. Peters, Andrzej Skowron, Marcin Szczuka, Rough Set Approach to Pattern Extraction from Classifiers, Electronic Notes in Theoretical Computer Science, 2003. Zobacz w PBN
• J Bazan, Hung Son Nguyen , J Peters, Andrzej Skowron, Marcin Szczuka, Rough set approach to pattern extraction from classifiers, In: Proceedings of the Workshop on Rough Sets in Knowledge Discovery and Soft Computing at ETAPS’2003, Electronic Notes in Theoretical Computer Science, 2003. Zobacz w PBN

1999

• Sławomir Lasota , Coalgebra morphisms subsume open maps, Electronic Notes in Theoretical Computer Science, 1999. Zobacz w PBN