Autor: "David, Cristina" - OpacWWW

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""David, Cristina"" wg kryterium: Autor

Wyświetlanie 1-20 z 117

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Synthesising Programs with Non-trivial Constants
Autorzy:: Abate, Alessandro
Barbosa, Haniel
Barrett, Clark
David, CristinaAff4, IDs10817023096644_cor4
Kesseli, Pascal
Kroening, Daniel
Polgreen, Elizabeth
Reynolds, Andrew
Tinelli, Cesare; Pokaż więcej
Źródło:: Journal of Automated Reasoning. 67(2)

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Synbit: synthesizing bidirectional programs using unidirectional sketches
Autorzy:: Yamaguchi, MasaomiAff1, Aff2
Matsuda, KazutakaAff1, IDs10703023004369_cor2
David, Cristina
Wang, Meng; Pokaż więcej
Źródło:: Formal Methods in System Design: An International Journal. 61(2-3):198-247

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Automated formal synthesis of provably safe digital controllers for continuous plants
Autorzy:: Abate, Alessandro
Bessa, Iury
Cordeiro, Lucas
David, Cristina
Kesseli, Pascal
Kroening, Daniel
Polgreen, Elizabeth; Pokaż więcej
Źródło:: Acta Informatica. 57(1-2):223-244

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 6.

Tytuł:: Counterexample Guided Inductive Synthesis Modulo Theories
Autorzy:: Abate, Alessandro
David, CristinaAff16, Aff17
Kesseli, Pascal
Kroening, DanielAff15, Aff17
Polgreen, Elizabeth; Pokaż więcej
Źródło:: Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I. 10981:270-288

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Program synthesis: challenges and opportunities
Autorzy:: David, Cristina
Kroening, Daniel; Pokaż więcej
Źródło:: Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 2017 Oct . 375(2104), 1-20.
Dostęp URL:: https://www.jstor.org/stable/44678578 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
Autorzy:: Abate, Alessandro
Bessa, Iury
Cattaruzza, Dario
Cordeiro, LucasAff15, Aff16
David, Cristina
Kesseli, Pascal
Kroening, Daniel
Polgreen, Elizabeth; Pokaż więcej
Źródło:: Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. 10426:462-482

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Danger Invariants
Autorzy:: David, Cristina
Kesseli, Pascal
Kroening, Daniel
Lewis, MattAff17, Aff18; Pokaż więcej
Źródło:: FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. 9995:182-198

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: N-terminal pro-brain natriuretic peptide levels during the acute phase of sepsis may be a useful indicator of higher risk of long-term impairments: some confounders to consider
Autorzy:: Honore, Patrick M.
David, Cristina
Mugisha, Aude
Attou, Rachid
Redant, Sebastien
Gallerani, Andrea
De Bels, David; Pokaż więcej
Źródło:: Critical Care. 24(1)

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Thrombolytic therapy during resuscitation for pulmonary embolism-related out-of-hospital cardiac arrest: perhaps not the ideal solution for everyone
Autorzy:: Honore, Patrick M.
David, Cristina
Mugisha, Aude
Attou, Rachid
Redant, Sebastien
Gallerani, Andrea
De Bels, David; Pokaż więcej
Źródło:: Critical Care. 24(1)

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: In severe liver disease, citrate can be used safely: the question remains—by which mechanism
Autorzy:: Honore, Patrick M.
Mugisha, Aurore
David, Cristina
Attou, Rachid
Redant, Sebastien
Gallerani, Andrea
De Bels, David; Pokaż więcej
Źródło:: Critical Care. 24(1)

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: No dose adjustment of tigecycline is necessary during continuous renal replacement therapy: we are not sure
Autorzy:: Honore, Patrick M.
David, Cristina
Kugener, Luc
Redant, Sebastien
Attou, Rachid
Gallerani, Andrea
De Bels, David; Pokaż więcej
Źródło:: Critical Care. 24(1)

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Using Program Synthesis for Program Analysis
Autorzy:: David, Cristina
Kroening, Daniel
Lewis, MattAff17, Aff18; Pokaż więcej
Źródło:: Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. 9450:483-498

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs
Autorzy:: David, Cristina
Kroening, Daniel
Lewis, Matt; Pokaż więcej
Źródło:: Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9032:183-204

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs
Autorzy:: David, Cristina
Kroening, Daniel
Lewis, Matt; Pokaż więcej
Źródło:: Programming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9032:661-684

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Model and Proof Generation for Heap-Manipulating Programs
Autorzy:: Brain, Martin
David, Cristina
Kroening, Daniel
Schrammel, Peter; Pokaż więcej
Źródło:: Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. 8410:432-452

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Political Economy of Rice Price Protection in Asia
Autorzy:: David, Cristina C.
Huang, Jikun; Pokaż więcej
Źródło:: Economic Development and Cultural Change, 1996 Apr 01. 44(3), 463-483.
Dostęp URL:: https://www.jstor.org/stable/1154462 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 19.

Tytuł:: Bi-Abduction with Pure Properties for Specification Inference
Autorzy:: Trinh, Minh-Thai
Le, Quang Loc
David, Cristina
Chin, Wei-Ngan; Pokaż więcej
Źródło:: Programming Languages and Systems : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. 8301:107-123

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Structured Specifications for Better Verification of Heap-Manipulating Programs
Autorzy:: Gherghina, Cristian
David, Cristina
Qin, Shengchao
Chin, Wei-Ngan; Pokaż więcej
Źródło:: FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. 6664:386-401

Książka elektroniczna

na półce

Szczegóły

Wyświetlanie 1-20 z 117

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę ""David, Cristina"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji