Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by S. Istrail

Bisimulation Can't Be Traced

1988English

Lattice and Off-Lattice Side Chain Models of Protein Folding: Linear Time Structure Prediction Better Than 86% of Optimal

1996English

Related publications

Beggars Can't Be Choosers

2019English

It Can't Be Our Fault, Can It?

Chemical and Engineering News
Chemical Engineering
1973English

What Happens When Developers Can't Develop: Can and Should Resource Developers Be Compensated When They Can't Develop Their Assets?

Alberta Law Review
2010English

The Mark of Filtration Leadership. When It Can't Be Left to Chance

Chemical and Engineering News
Chemical Engineering
1944English

Neighbourhood Contingency Bisimulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Enhanced Coalgebraic Bisimulation

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

Deciding Orthogonal Bisimulation

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2007English

Polyprograms and Polyprogram Bisimulation

Modeling and Analysis of Information Systems
2018English

Bisimulation and Language Equivalence

2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy