Suchergebnisse - Carroll Morgan

1

Abstract Hidden Markov Models: a monadic account of quantitative information flow von Annabelle McIver, Carroll Morgan, Tahiry Rabehaja

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings von Bird, R. S, Morgan, C. C, Woodcock, J. C. P

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System von Andronick, June, Lewis, Corey, Morgan, Carroll

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Characterising Testing Preorders for Finite Probabilistic Processes von Deng, Yuxin, van Glabbeek, Robert, Hennessy, Matthew, Morgan, Carroll

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Probabilistic guarded commands mechanized in HOL von Hurd, Joe, McIver, Annabelle, Morgan, Carroll

Veröffentlicht in Theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

The Shadow Knows: Refinement and security in sequential programs von Morgan, Carroll

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

(In-)Formal Methods: The Lost Art: A Users’ Manual von Morgan, Carroll

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

A Demonic Lattice of Information von Morgan, Carroll

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

An old new notation for elementary probability theory von Morgan, Carroll

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings von Leucker, Martin, Morgan, Charles Carroll

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

The Shadow Knows: Refinement of Ignorance in Sequential Programs von Morgan, Carroll

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Probabilistic predicate transformers von Morgan, Carroll, McIver, Annabelle, Seidel, Karen

Veröffentlicht in ACM transactions on programming languages and systems

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Compositional noninterference from first principles von Morgan, Carroll

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Veröffentlicht in Acta informatica

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011) von Simao, Adenilso, Morgan, Carroll

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Correctness by Construction for Probabilistic Programs von McIver, Annabelle, Morgan, Carroll

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[42]

Abstract Hidden Markov Models: a monadic account of quantitative information flow von Annabelle McIver, Carroll Morgan, Tahiry Rabehaja

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings von Bird, R. S, Morgan, C. C, Woodcock, J. C. P

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System von Andronick, June, Lewis, Corey, Morgan, Carroll

Characterising Testing Preorders for Finite Probabilistic Processes von Deng, Yuxin, van Glabbeek, Robert, Hennessy, Matthew, Morgan, Carroll

Probabilistic guarded commands mechanized in HOL von Hurd, Joe, McIver, Annabelle, Morgan, Carroll

The Shadow Knows: Refinement and security in sequential programs von Morgan, Carroll

(In-)Formal Methods: The Lost Art: A Users’ Manual von Morgan, Carroll

A Demonic Lattice of Information von Morgan, Carroll

An old new notation for elementary probability theory von Morgan, Carroll

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings von Leucker, Martin, Morgan, Charles Carroll

Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

The Shadow Knows: Refinement of Ignorance in Sequential Programs von Morgan, Carroll

Probabilistic predicate transformers von Morgan, Carroll, McIver, Annabelle, Seidel, Karen

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Compositional noninterference from first principles von Morgan, Carroll

Preface von Höfner, Peter, Morgan, Carroll, Pratt, Vaughan

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011) von Simao, Adenilso, Morgan, Carroll

Correctness by Construction for Probabilistic Programs von McIver, Annabelle, Morgan, Carroll

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle