| Dynamic logic D Harel, D Kozen, J Tiuryn ACM SIGACT News 32 (1), 66-69, 2001 | 1965 | 2001 |
| Logics of programs D Kozen, J Tiuryn Formal Models and Semantics, 789-840, 1990 | 428 | 1990 |
| 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 | 223 | 2006 |
| 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 | 206 | 1990 |
| Dynamic logic. Foundations of computing D Harel, D Kozen, J Tiuryn MIT press, 2000 | 180 | 2000 |
| 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 | 167 | 1993 |
| DLS-trees: a model of evolutionary scenarios P Górecki, J Tiuryn Theoretical computer science 359 (1-3), 378-399, 2006 | 137 | 2006 |
| Identification of functional modules from conserved ancestral protein–protein interactions J Dutkowski, J Tiuryn Bioinformatics 23 (13), i149-i158, 2007 | 135 | 2007 |
| 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 | 129 | 2013 |
| An analysis of ML typability AJ Kfoury, J Tiuryn, P Urzyczyn Journal of the ACM (JACM) 41 (2), 368-398, 1994 | 124 | 1994 |
| A new characterization of lambda definability A Jung, J Tiuryn International Conference on Typed Lambda Calculi and Applications, 245-257, 1993 | 121 | 1993 |
| 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 | 120 | 2015 |
| Subtype inequalities J Tiuryn 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992 | 90 | 1992 |
| ML typability is DEXPTIME-complete AJ Kfoury, J Tiuryn, P Urzyczyn Colloquium on Trees in Algebra and Programming, 206-220, 1990 | 75 | 1990 |
| Satisfiability of inequalities in a poset V Pratt, J Tiuryn Fundamenta Informaticae 28 (1-2), 165-182, 1996 | 68 | 1996 |
| Type reconstruction in finite rank fragments of the second-order λ-calculus AJ Kfoury, J Tiuryn Information and computation 98 (2), 228-257, 1992 | 68 | 1992 |
| The subtyping problem for second-order types is undecidable J Tiuryn, P Urzyczyn Information and Computation 179 (1), 1-18, 2002 | 67 | 2002 |
| Unique fixed points vs. least fixed points J Tiuryn Theoretical Computer Science 12 (3), 229-254, 1980 | 67 | 1980 |
| 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 | 61 | 2005 |
| Type inference problems: A survey J Tiuryn International Symposium on Mathematical Foundations of Computer Science, 105-120, 1990 | 59 | 1990 |
