Suchergebnisse - Isabelle, A

1

Isabelle Compagnon

Veröffentlicht in Angewandte Chemie International Edition

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Isabelle Hayeur von Fortin, Noémie

Veröffentlicht in Esse

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Using the Isabelle Ontology Framework: Linking the Formal with the Informal von Brucker, Achim D., Ait-Sadoune, Idir, Crisafulli, Paolo, Wolff, Burkhart

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Isabelle Rapin (1927–2017) von Dunn, Michelle A.

Veröffentlicht in Journal of autism and developmental disorders

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL von Marmsoler, Diego, Brucker, Achim D.

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Linear Resources in Isabelle/HOL von Smola, Filip, Fleuriot, Jacques D.

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Isabelle Compagnon

Veröffentlicht in Angewandte Chemie

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

UTP, Circus, and Isabelle von Woodcock, Jim, Cavalcanti, Ana, Foster, Simon, Oliveira, Marcel, Sampaio, Augusto, Zeyda, Frank

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

From LCF to Isabelle/HOL von Paulson, Lawrence C., Nipkow, Tobias, Wenzel, Makarius

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Revised Morning Loops of the Arabidopsis Circadian Clock Based on Analyses of Direct Regulatory Interactions von Adams, Sally, Manfield, Ian, Stockley, Peter, Carré, Isabelle A

Veröffentlicht in PloS one

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Certified Quantum Computation in Isabelle/HOL von Bordg, Anthony, Lachnitt, Hanna, He, Yijun

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Circadian regulation of abiotic stress tolerance in plants von Grundy, Jack, Stoker, Claire, Carré, Isabelle A

Veröffentlicht in Frontiers in plant science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Circadian control of abscisic acid biosynthesis and signalling pathways revealed by genome-wide analysis of LHY binding targets von Adams, Sally, Grundy, Jack, Veflingstad, Siren R., Dyer, Nigel P., Hannah, Matthew A., Ott, Sascha, Carré, Isabelle A.

Veröffentlicht in The New phytologist

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Emerging awareness on the importance of skeletal muscle in liver diseases: time to dig deeper into mechanisms von Nachit, Maxime, Leclercq, Isabelle A

Veröffentlicht in Clinical science (1979)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL von Dalvandi, Sadegh, Dongol, Brijesh, Doherty, Simon, Wehrheim, Heike

Veröffentlicht in Journal of automated reasoning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

The Nine Lives of Cosmic Rays in Galaxies von Grenier, Isabelle A, Black, John H, Strong, Andrew W

Veröffentlicht in Annual review of astronomy and astrophysics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Planning for tomorrow: global cancer incidence and the role of prevention 2020–2070 von Soerjomataram, Isabelle, Bray, Freddie

Veröffentlicht in Nature reviews. Clinical oncology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Unifying semantic foundations for automated verification tools in Isabelle/UTP von Foster, Simon, Baxter, James, Cavalcanti, Ana, Woodcock, Jim, Zeyda, Frank

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Formalizing Ordinal Partition Relations Using Isabelle/HOL von Džamonja, Mirna, Koutsoukou-Argyraki, Angeliki, Paulson, Lawrence C.

Veröffentlicht in Experimental mathematics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Isabelle Olivieri (1957–2016) von Savolainen, Vincent

Veröffentlicht in Journal of evolutionary biology

Volltext
Artikel

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
[100]

Isabelle Compagnon

Isabelle Hayeur von Fortin, Noémie

Using the Isabelle Ontology Framework: Linking the Formal with the Informal von Brucker, Achim D., Ait-Sadoune, Idir, Crisafulli, Paolo, Wolff, Burkhart

Isabelle Rapin (1927–2017) von Dunn, Michelle A.

Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL von Marmsoler, Diego, Brucker, Achim D.

Linear Resources in Isabelle/HOL von Smola, Filip, Fleuriot, Jacques D.

Isabelle Compagnon

UTP, Circus, and Isabelle von Woodcock, Jim, Cavalcanti, Ana, Foster, Simon, Oliveira, Marcel, Sampaio, Augusto, Zeyda, Frank

From LCF to Isabelle/HOL von Paulson, Lawrence C., Nipkow, Tobias, Wenzel, Makarius

Revised Morning Loops of the Arabidopsis Circadian Clock Based on Analyses of Direct Regulatory Interactions von Adams, Sally, Manfield, Ian, Stockley, Peter, Carré, Isabelle A

Certified Quantum Computation in Isabelle/HOL von Bordg, Anthony, Lachnitt, Hanna, He, Yijun

Circadian regulation of abiotic stress tolerance in plants von Grundy, Jack, Stoker, Claire, Carré, Isabelle A

Circadian control of abscisic acid biosynthesis and signalling pathways revealed by genome-wide analysis of LHY binding targets von Adams, Sally, Grundy, Jack, Veflingstad, Siren R., Dyer, Nigel P., Hannah, Matthew A., Ott, Sascha, Carré, Isabelle A.

Emerging awareness on the importance of skeletal muscle in liver diseases: time to dig deeper into mechanisms von Nachit, Maxime, Leclercq, Isabelle A

Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL von Dalvandi, Sadegh, Dongol, Brijesh, Doherty, Simon, Wehrheim, Heike

The Nine Lives of Cosmic Rays in Galaxies von Grenier, Isabelle A, Black, John H, Strong, Andrew W

Planning for tomorrow: global cancer incidence and the role of prevention 2020–2070 von Soerjomataram, Isabelle, Bray, Freddie

Unifying semantic foundations for automated verification tools in Isabelle/UTP von Foster, Simon, Baxter, James, Cavalcanti, Ana, Woodcock, Jim, Zeyda, Frank

Formalizing Ordinal Partition Relations Using Isabelle/HOL von Džamonja, Mirna, Koutsoukou-Argyraki, Angeliki, Paulson, Lawrence C.

Isabelle Olivieri (1957–2016) von Savolainen, Vincent

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle