학술논문

	o	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	あ a	ぁ	か ka	が ga	さ sa	ざ za	た ta	だ da		な na	は ha	ば ba	ぱ pa	ま ma	や ya	ゃ lya	ら ra	わ wa	ゎ lwa	ん n
l	い i	ぃ	き ki	ぎ gi	し si	じ zi	ち ti	ぢ di		に ni	ひ hi	び bi	ぴ pi	み mi			り ri
ㅜ	う u	ぅ	く ku	ぐ gu	す su	ず zu	つ tu	づ du	っ	ぬ nu	ふ hu	ぶ bu	ぷ pu	む mu	ゆ yu	ゅ lyu	る ru
ㅔ	え e	ぇ	け ke	げ ge	せ se	ぜ ze	て te	で de		ね ne	へ he	べ be	ぺ pe	め me			れ re
ㅗ	お o	ぉ	こ ko	ご go	そ so	ぞ zo	と to	ど do		の no	ほ ho	ぼ bo	ぽ po	も mo	よ yo	ょ lyo	ろ ro	を wo

	o	ㅋ	ㄱ	ㅅ	ㅈ	ㅌ	ㄷ	촉	ㄴ	ㅎ	ㅂ	ㅃ	ㅁ	야	ㄹ	와
ㅏ	ア a	ァ	カ ka	ガ ga	サ sa	ザ za	タ ta	ダ da		ナ na	ハ ha	バ ba	パ pa	マ ma	ヤ ya	ャ lya	ラ ra	ワ wa	ヮ lwa		ン n
l	イ i	ィ	キ ki	ギ gi	シ si	ジ zi	チ ti	ヂ di		ニ ni	ヒ hi	ビ bi	ピ pi	ミ mi			リ ri
ㅜ	ウ u	ゥ	ク ku	グ gu	ス su	ズ zu	ツ tu	ヅ du	ッ	ヌ nu	フ hu	ブ bu	プ pu	ム mu	ユ yu	ュ lyu	ル ru			ヴ vu
ㅔ	エ e	ェ	ケ ke	ゲ ge	セ se	ゼ ze	テ te	デ de		ネ ne	ヘ he	ベ be	ぺ pe	メ me			レ re
ㅗ	オ o	ォ	コ ko	ゴ go	ソ so	ゾ zo	ト to	ド do		ノ no	ホ ho	ボ bo	ポ po	モ mo	ヨ yo	ョ lyo	ロ ro	ヲ wo		ーー

독일어
ä	Ä	ö	Ö	ü	Ü	ß
프랑스어
á	à	Á	À	é	è	É	È	ç	Ç	ê
스페인어
à	á	Á	é	É	í	Í	Ó	ó	Ú	ú	Ñ	ñ	ä	Ä

발행년	- (예 : 2010-2015)

Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks

Academic Journal

Albert, E.; Grossman, S.; Rinetzky, N.; Rodriguez-Nunez, C.; Rubio, A.; Sagiv, M.

IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 20(3):2256-2273 Jun, 2023

Full Text (IEEE) Web of Science JCR 저널정보 Scopus Find it@PNU

The pupillary dilation reflex to a nociceptive stimulus as a tool for analgesia management: A diagnostic study

Academic Journal

López de Audícana-Jimenez de Aberasturi, Y.; Rodriguez-Borrajo, M.J.; Vallejo-De la Cueva, A.; Parraza-Diez, N.; Aretxabala-Cortajarena, N.; Rodriguez-Nuñez, C.; Pelegrin-Gaspar, P.M.; Gil-Garcia, Z.I.; Margüello-Fernandez, A.A.

In: Australian Critical Care. (Australian Critical Care, March 2024, 37(2):230-235)

Full Text (ScienceDirect 종량제) Web of Science JCR 저널정보 Scopus Find it@PNU

Registros enfermeros, medidas de prevención e incidencia de úlceras por presión en una Unidad de Cuidados Intensivos

Academic Journal

Rodríguez-Núñez, C.; Iglesias-Rodríguez, A.; Irigoien-Aguirre, J.; García-Corres, M.; Martín-Martínez, M.; Garrido-García, R.

In Enfermería intensiva July-September 2019 30(3):135-143

Full Text (ScienceDirect 종량제) JCR 저널정보 Scopus Find it@PNU

Nursing records, prevention measures and incidence of pressure ulcers in an Intensive Care Unit

Academic Journal

Rodríguez-Núñez, C.; Iglesias-Rodríguez, A.; Irigoien-Aguirre, J.; García-Corres, M.; Martín-Martínez, M.; Garrido-García, R.

In Enfermería Intensiva (English ed.) July-September 2019 30(3):135-143

Full Text (ScienceDirect 종량제) Find it@PNU

Pupillary dilation reflex and behavioural pain scale: Study of diagnostic test

Academic Journal

López de Audícana-Jimenez de Aberasturi, Y.; Vallejo-De la Cueva, A.; Parraza-Diez, N.; Aretxabala-Cortajarena, N.; Quintano-Rodero, A.; Rodriguez-Nuñez, C.; Pelegrin-Gaspar, P.M.; Gil-Garcia, Z.I.; Margüello-Fernandez, A.A.; Aparicio-Cilla, L.

In: Intensive and Critical Care Nursing. (Intensive and Critical Care Nursing, February 2023, 74)

Full Text (ScienceDirect 종량제) Full Text (ScienceDirect) Full Text (ProQuest Central) Web of Science JCR 저널정보 Scopus Find it@PNU

Taming callbacks for smart contract modularity

Academic Journal

Albert, E.; Rubio, A.; Grossman, S.; Rinetzky, N.; Sagiv, M.; Rodríguez-Núñez, C.

In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 13 November 2020, 4(OOPSLA))

Scopus Find it@PNU

Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts

Book

Albert, E.; Gordillo, P.; Hernández-Cerezo, A.; Rodríguez-Núñez, C.; Rubio, A.

In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13385 LNAI:3-7)

Scopus Find it@PNU

Distilling Constraints in Zero-Knowledge Protocols

Book

Albert, E.; Isabel, M.; Rodríguez-Núñez, C.; Rubio, A.; Bellés-Muñoz, M.

In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13371 LNCS:430-443)

Scopus Find it@PNU

부산대학교 도서관

메일 발송