Comprehensive prediction in 78 human cell lines reveals rigidity and compactness of transcription factor dimers von Jankowski, Aleksander, Szczurek, Ewa, Jauch, Ralf, Tiuryn, Jerzy, Prabhakar, Shyam

Volltext

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers von Pacholski, Leszek, Tiuryn, Jerzy

Volltext

Bi-billboard: symmetrization and careful choice of informant species results in higher accuracy of regulatory element prediction von Dojer, Norbert, Biecek, Przemyslaw, Tiuryn, Jerzy

Volltext

Introducing knowledge into differential expression analysis von Szczurek, Ewa, Biecek, Przemysław, Tiuryn, Jerzy, Vingron, Martin

Volltext

Type inference problems: A survey von Tiuryn, Jerzy

Volltext

Evolution of gene families based on gene duplication, loss, accumulated change, and innovation von Wójtowicz, Damian, Tiuryn, Jerzy

Volltext

Intuitionistic linear logic and partial correctness von Kozen, D., Tiuryn, J.

Volltext

On Rational Graphs von Morvan, Christophe

Volltext

Discovering regulatory binding-site modules using rule-based learning von Hvidsten, Torgeir R, Wilczyński, Bartosz, Kryshtafovych, Andriy, Tiuryn, Jerzy, Komorowski, Jan, Fidelis, Krzysztof

Volltext

Locality and Polyadicity in Asynchronous Name-Passing Calculi von Merro, Massimo

Volltext

The State Explosion Problem from Trace to Bisimulation Equivalence von Laroussinie, François, Schnoebelen, Philippe

Volltext

A new approach to the assessment of the quality of predictions of transcription factor binding sites von Nowakowski, Szymon, Tiuryn, Jerzy

Volltext

Sequential and Concurrent Abstract Machines for Interaction Nets von Pinto, Jorge Sousa

Volltext

The Undecidability of the Semi-unification Problem von Kfoury, A.J., Tiuryn, J., Urzyczyn, P.

Volltext

An analysis of ML typability von KFOURY, A. J, TIURYN, J, URZYCZYN, P

Volltext

Subtyping over a lattice (abstract) von Tiuryn, Jerzy

Volltext

On the completeness of propositional Hoare logic von Kozen, Dexter, Tiuryn, Jerzy

Volltext

Hierarchical Graph Transformation von Drewes, Frank, Hoffmann, Berthold, Plump, Detlef

Volltext

Subtyping and Typing Algorithms for Mobile Ambients von Zimmer, Pascal

Volltext

Type reconstruction in the presence of polymorphic recursion von Kfoury, A. J., Tiuryn, J., Urzyczyn, P.

Volltext