학술논문

	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)

전체선택

Kaki: Efficient Concurrent Update Synthesis for SDN

Academic Journal

Johansen, N.S.; Kær, L.B.; Madsen, A.L.; Nielsen, K.; Srba, J.; Tollund, R.G.

In: Formal Aspects of Computing. (Formal Aspects of Computing, 6 October 2023, 35(3))

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

Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata

Conference

Tollund, R.G.; Johansen, N.S.; Nielsen, K.Ø.; Torralba, Á.; Larsen, K.G.

In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, 30 May 2024, 34:588-596)

Scopus Find it@PNU

FBR: Dynamic Memory-Aware Fast Rerouting

Conference

Johansen, N.S.; Kar, L.B.; Madsen, A.L.; Nielsen, K.O.; Srba, J.; Tollund, R.G.; Schmid, S.

In: Proceedings of the 2022 IEEE Conference on Cloud Networking 2022, CloudNet 2022, Proceedings of the 2022 IEEE Conference on Cloud Networking 2022, CloudNet 2022. (Proceedings of the 2022 IEEE Conference on Cloud Networking 2022, CloudNet 2022, 2022, :55-60)

Full Text (IEEE) Scopus Find it@PNU

Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games

Book

Johansen, N.S.; Kær, L.B.; Madsen, A.L.; Nielsen, K.Ø.; Srba, J.; Tollund, R.G.

In: Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13274 LNCS:249-267)

Scopus Find it@PNU

부산대학교 도서관

메일 발송