전남대학교 중앙도서관

Enabling Development of an Extensible, Multi-Perspective Ontology

회의자료

issue: 2024 IEEE 18th International Conference on Semantic Computing (ICSC) ICSC Semantic Computing (ICSC), 2024 IEEE 18th International Conference on. :77-80 Feb, 2024
Author: Moitra, Abha
Siu, Kit
Cuddihy, Paul
Russell, Daniel
Mertens, Eric
Archer, David
Quick, Kevin
DB Label: Database : IEEE Xplore Digital Library

A Semantic Reference Model for Capturing System Development and Evaluation

회의자료

issue: 2022 IEEE 16th International Conference on Semantic Computing (ICSC) ICSC Semantic Computing (ICSC), 2022 IEEE 16th International Conference on. :173-174 Jan, 2022
Author: Moitra, Abha
Cuddihy, Paul
Siu, Kit
Meng, Baoluo
Interrante, John
Archer, David
Mertens, Eric
Quick, Kevin
Robert, Valentin
Russell, Daniel
DB Label: Database : IEEE Xplore Digital Library

Aviation Certification Powered by the Semantic Web Stack

전자책

issue: The Semantic Web – ISWC 2023 : 22nd International Semantic Web Conference, Athens, Greece, November 6–10, 2023, Proceedings, Part II. 14266:345-361
Author: Cuddihy, Paul^Aff16
Russell, Daniel^Aff17
Mertens, Eric^Aff18
Siu, Kit^Aff16
Archer, Dave^Aff18
Williams, Jenny^Aff16
DB Label: Database : Springer Nature eBooks

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence

전자책

issue: Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings. 14182:149-160
Author: Moitra, Abha^Aff12
Cuddihy, Paul^Aff12
Siu, Kit^Aff12
Archer, David^Aff13
Mertens, Eric^Aff13
Russell, Daniel^Aff14
Quick, Kevin^Aff13
Robert, Valentin^Aff13
Meng, Baoluo^Aff12
DB Label: Database : Springer Nature eBooks

Weird Machines as Insecure Compilation

보고서

Author: Paykin, Jennifer
Mertens, Eric
Tullsen, Mark
Maurer, Luke
Razet, Benoît
Bakst, Alexander
Moore, Scott
DB Label: Database : arXiv

Continuous Formal Verification of Amazon s2n

전자책

issue: 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 II. 10982:430-446
Author: Chudnov, Andrey^Aff15
Collins, Nathan^Aff15
Cook, Byron^{Aff17, Aff18}
Dodds, Joey^Aff15
Huffman, Brian^Aff15
MacCárthaigh, Colm^Aff17
Magill, Stephen^Aff15
Mertens, Eric^Aff15
Mullen, Eric^Aff16
Tasiran, Serdar^Aff17
Tomb, Aaron^Aff15
Westbrook, Eddy^Aff15
DB Label: Database : Springer Nature eBooks

Pupil dilation dynamics with an intracameral fixed combination of mydriatics and anesthetic during cataract surgery

학술저널

issue: In Journal of Cataract & Refractive Surgery March 2018 44(3):341-347
Author: Hartani, Dahbia
Mohabeddine, Slimane
Smaili, Amar
Lazreg, Sihem
Daghbouche, Mounir
Benmoussa, Salah Eddine
Meziane, Mustapha
Grabner, Gunter
Findl, Olivier
Sallet, Guy
Mertens, Eric
Pourjavan, Sayeh
Tassignon, Marie-José
Gohier, Philippe
Milea, Dan
Mazit, Cherif
Delemazure, Barbara
Colin, Joseph
Bouchut, Pierre
Cochener, Béatrice
Chiambaretta, Frédéric
Buffet, Jean-Michel
Muselier, Aurore
Pey, Christophe
Robert, Pierre-Yves
Duquesne, Nicolas
Normand, Françoise
Rozot, Pascal
Perone, Jean-Marc
Salaun, Nicolas
Allieu, Sandrine
Lenoble, Patrick
Weber, Michel
Bosc, Jean-Michel
Berard, Alain
Bonicel, Pierre
Labetoulle, Marc
Laroche, Laurent
Cochereau, Isabelle
Boureau-Andrieux, C.
Williamson, Wilfrid
Mercie, Martial
L'Herron, François
Muraine, Marc
Uzzan, Joël
Gain, Philippe
Le Bot, Bruno
Lebrun, Thierry
Jaulerry, Stéphane
Malacaze, François
Pisella, Pierre-Jean
Bourcier, Tristan
Francoz, Nicole
Pleyer, Uwe
Kampik, Anselm
Liekfeld, Anja
Lanzl, Ines
Mencucci, Rita
Menchini, Ugo
Fasce, Francesco
Beltram, G.
Szaflik, Jacek
Lobo, Maria Conceição
Limao, Antonio
Trigo, José Miguel
Aguiar, Carlos
Alio, Jorge
Fernandez, Joaquim
Vila, Jesús Costa
Torras, Josep
Güell, José Luis
Laurell, Carl Gustav
Behndig, Anders
Nuijts, Rudy
Rosen, Paul
Chiambaretta, Frederic
Mertens, Erik
Fernandez, Joaquin
Benmoussa, Salah-Eddine
Cochener, Beatrice
DB Label: Database : ScienceDirect

원문보기: Full Text (ScienceDirect) Full Text (Clinical Key) 등재 - Web of Science (SCIE) 등재 - SCOPUS 조회 - Impact Factor (JCR) 원문복사신청 - FRIC

TrackOS: A Security-Aware Real-Time Operating System

전자책

issue: Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings. 10012:302-317
Author: Pike, Lee^Aff15
Hickey, Pat^Aff16
Elliott, Trevor^Aff15
Mertens, Eric^Aff15
Tomb, Aaron^Aff15
DB Label: Database : Springer Nature eBooks

Der Eisenberg – Handel und Bergbau im Vogtland

학술저널

Application-Scale Secure Multiparty Computation

전자책

issue: 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:8-26
Author: Launchbury, John^Aff17
Archer, Dave^Aff17
DuBuisson, Thomas^Aff17
Mertens, Eric^Aff17
DB Label: Database : Springer Nature eBooks

링크메뉴