학술논문

	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)

Cost–utility analysis of Dexcom G6 real-time continuous glucose monitoring versus FreeStyle Libre 1 intermittently scanned continuous glucose monitoring in adults with type 1 diabetes in Belgium

Academic Journal

Visser, M.M.; Charleer, S.; Mathieu, C.; Gillard, P.; Van Muylder, A.; Luyten, J.; Isitt, J.J.; Roze, S.; De Block, C.; Maes, T.; Vanhaverbeke, G.; Nobels, F.; Keymeulen, B.; Verhaeghe, N.

In: Diabetologia. (Diabetologia, April 2024, 67(4):650-662)

Full Text (ECC - 개별구독 전자저널) Web of Science JCR 저널정보 Scopus Find it@PNU

Cumulative pregnancy rates of two strategies: Day 3 fresh embryo transfer followed by Day 3 or Day 5/6 vitrificationãnd embryo transfer:ã randomized controlled trial

Academic Journal

Mengels, A.; Peeraer, K.; Spiessens, C.; Debrock, S.; Van Muylder, A.; Luyten, J.; Laenen, A.

In: Human Reproduction. (Human Reproduction, 1 January 2024, 39(1):62-73)

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

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Academic Journal

Haselwarter, P.G.; Sidorenco, N.; Spitters, B.; Rivas, E.; Van Muylder, A.; Winterhalter, T.; Abate, C.; Hriţcu, C.; Maillard, K.

In: ACM Transactions on Programming Languages and Systems. (ACM Transactions on Programming Languages and Systems, 20 July 2023, 45(3))

EBSCOHost PDF Web of Science JCR 저널정보 Scopus Find it@PNU

Cumulative pregnancy rates of two strategies: Day 3 fresh embryo transfer followed by Day 3 or Day 5/6 vitrification and embryo transfer: a randomized controlled trial

Academic Journal

Mengels, A.; Van Muylder, A.; Peeraer, K.; Luyten, J.; Laenen, A.; Spiessens, C.; Debrock, S.

HUMAN REPRODUCTION; OCT 26 2023, 12p.

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

Economic Evaluation of Medically Assisted Reproduction: A Methodological Systematic Review

Academic Journal

Van Muylder, A.; D’Hooghe, T.; Luyten, J.

In: Medical Decision Making. (Medical Decision Making, October-November 2023, 43(7-8):973-991)

Web of Science JCR 저널정보 Scopus Find it@PNU

The next 700 relational program logics

Academic Journal

Maillard, K.; Hrit, C.; Rivas, E.; Van Muylder, A.

In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2020, 4(POPL))

Scopus Find it@PNU

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq

Conference

Abate, C.; Winterhalter, T.; Hritcu, C.; Haselwarter, P.G.; Spitters, B.; Rivas, E.; Van Muylder, A.; Maillard, K.

In: Proceedings - IEEE Computer Security Foundations Symposium, Proceedings - 2021 IEEE 34th Computer Security Foundations Symposium, CSF 2021. (Proceedings - IEEE Computer Security Foundations Symposium, 2021, 2021-June)

Full Text (IEEE) Scopus Find it@PNU

LONG-TERM COST-UTILITY ANALYSIS OF REAL-TIME VERSUS INTERMITTENTLY SCANNED CONTINUOUS GLUCOSE MONITORING IN ADULTS WITH TYPE 1 DIABETES IN BELGIUM

Academic Journal

Visser, M.; Van Muylder, A.; Charleer, S.; Isitt, J.; Roze, S.; De Block, C.; Maes, T.; Vanhaverbeke, G.; Nobels, F.; Keymeulen, B.; Mathieu, C.; Luyten, J.; Gillard, P.; Verhaeghe, N.

DIABETES TECHNOLOGY & THERAPEUTICS; FEB 2023, 25 pA166-pA167, 2p. Supplement: 2

Web of Science JCR 저널정보 Find it@PNU

Costs and effects accounted for in economic evaluations of Medically Assisted Reproduction: a systematic review

Academic Journal

Van Muylder, A.; D'hooghe, T.; Luyten, J.

HUMAN REPRODUCTION; JUL 2022, 37 pI533-pI534, 2p. Supplement: 1

Full Text (Oxford University Press) Web of Science JCR 저널정보 Find it@PNU

부산대학교 도서관

메일 발송