Volgen
Jędrzej Fulara
Jędrzej Fulara
PhD in computer science, University of Warsaw, founder of www.sparkbit.pl
Geverifieerd e-mailadres voor mimuw.edu.pl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Propagation of JML non-null annotations in Java programs
M Cielecki, J Fulara, K Jakubczyk, Ł Jancewicz
Proceedings of the 4th International Symposium on Principles and Practice of …, 2006
382006
Practically applicable formal methods
J Fulara, K Jakubczyk
SOFSEM 2010: Theory and Practice of Computer Science: 36th Conference on …, 2010
162010
Relational abstract domain of weighted hexagons
J Fulara, K Durnoga, K Jakubczyk, A Schubert
Electronic Notes in Theoretical Computer Science 267 (1), 59-72, 2010
152010
Generic abstraction of dictionaries and arrays
J Fulara
Electronic Notes in Theoretical Computer Science 287, 53-64, 2012
62012
Abstract Analysis of Numerical and Container Variables
J Fulara
32013
Analiza abstrakcyjna zmiennych numerycznych oraz struktur danych
J Fulara
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–6