Follow
Jerzy Tiuryn
Jerzy Tiuryn
Profesor informatyki, Uniwersytet Warszawski
Verified email at mimuw.edu.pl
Title
Cited by
Cited by
Year
Dynamic logic
D Harel, D Kozen, J Tiuryn
ACM SIGACT News 32 (1), 66-69, 2001
19172001
Logics of programs
D Kozen, J Tiuryn
Formal Models and Semantics, 789-840, 1990
4081990
Applying dynamic Bayesian networks to perturbed gene expression data
N Dojer, A Gambin, A Mizera, B Wilczyński, J Tiuryn
BMC bioinformatics 7, 1-11, 2006
2162006
The undecidability of the semi-unification problem
AJ Kfoury, J Tiuryn, P Urzyczyn
Proceedings of the twenty-second annual ACM symposium on Theory of computing …, 1990
2031990
Dynamic logic. Foundations of computing
D Harel, D Kozen, J Tiuryn
MIT press, 2000
1692000
Type reconstruction in the presence of polymorphic recursion
AJ Kfoury, J Tiuryn, P Urzyczyn
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (2), 290-311, 1993
1641993
Comprehensive prediction in 78 human cell lines reveals rigidity and compactness of transcription factor dimers
A Jankowski, E Szczurek, R Jauch, J Tiuryn, S Prabhakar
Genome research 23 (8), 1307-1318, 2013
1412013
Identification of functional modules from conserved ancestral protein–protein interactions
J Dutkowski, J Tiuryn
Bioinformatics 23 (13), i149-i158, 2007
1332007
DLS-trees: a model of evolutionary scenarios
P Górecki, J Tiuryn
Theoretical computer science 359 (1-3), 378-399, 2006
1332006
An analysis of ML typability
AJ Kfoury, J Tiuryn, P Urzyczyn
Journal of the ACM (JACM) 41 (2), 368-398, 1994
1181994
A new characterization of lambda definability
A Jung, J Tiuryn
Typed Lambda Calculi and Applications: International Conference on Typed …, 1993
1171993
A specialized histone H1 variant is required for adaptive responses to complex abiotic stress and related DNA methylation in Arabidopsis
K Rutowicz, M Puzio, J Halibart-Puzio, M Lirski, M Kotliński, MA Kroteń, ...
Plant Physiology 169 (3), 2080-2101, 2015
1072015
Subtype inequalities
J Tiuryn
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
891992
ML typability is DEXPTIME-complete
AJ Kfoury, J Tiuryn, P Urzyczyn
CAAP'90: 15th Colloquium on Trees in Algebra and Programming Copenhagen …, 2005
722005
The subtyping problem for second-order types is undecidable
J Tiuryn, P Urzyczyn
Information and Computation 179 (1), 1-18, 2002
682002
Type reconstruction in finite rank fragments of the second-order λ-calculus
AJ Kfoury, J Tiuryn
Information and computation 98 (2), 228-257, 1992
681992
Satisfiability of inequalities in a poset
V Pratt, J Tiuryn
Fundamenta Informaticae 28 (1-2), 165-182, 1996
661996
Unique fixed points vs. least fixed points
J Tiuryn
Theoretical Computer Science 12 (3), 229-254, 1980
661980
Discovering regulatory binding-site modules using rule-based learning
TR Hvidsten, B Wilczyński, A Kryshtafovych, J Tiuryn, J Komorowski, ...
Genome research 15 (6), 856-866, 2005
612005
Type inference problems: A survey
J Tiuryn
Mathematical Foundations of Computer Science 1990: Banská Bystrica …, 1990
591990
The system can't perform the operation now. Try again later.
Articles 1–20