2018. február 2. Referált cikkek / Papers in referred proceedings [11], [12].

Hasonló dokumentumok
Nemzetközi konferencia-kiadványban megjelent lektorált cikk

List of Publications (Pánovics János)

Párhuzamos funkcionális programozás a D-Clean nyelvben

Publikációs jegyzék (Pánovics János)

és alkalmazások, MSc tézis, JATE TTK, Szeged, Témavezető: Dr. Hajnal Péter

KLIENS-SZERVER ALAPÚ ERLANG PROGRAMOK TRANSZFORMÁCIÓJA ERLANG OTP SÉMÁRA

1. Katona János publikációs jegyzéke

Mi is volt ez? és hogy is volt ez?

Publikációs lista. Gódor Győző július 14. Cikk szerkesztett könyvben Külföldön megjelent idegen nyelvű folyóiratcikk...

Publikációk. Libor Józsefné dr.

List of publications Almási Béla, University of Debrecen

P-gráf alapú workflow modellezés fuzzy kiterjesztéssel

Curriculum Vitae. 1 Personal Information: 2 Education and training: 3 PhD study and scientific qualifications:

Előrenéző és paraméter tanuló algoritmusok on-line klaszterezési problémákra

Szlávi Péter: Szakmai önéletrajz

Publikációs lista Szabó Szilárd

Telefonszám(ok) Mobil Fax(ok) Egyetem u. 10., 8200 Veszprém. Tehetséggondozás (matematika)

Várterész Magda publikációs listája

A MaCS konferencia első tizenöt éve

Városi légszennyezettség vizsgálata térinformatikai és matematikai statisztikai módszerek alkalmazásával

Erlang programok transzformációja bonyolultsági mérőszámok alapján

A D-Box koordinációs nyelv és a futtató rendszer

TUDOMÁNYOS ÖNÉLETRAJZ

Neme nő Születési dátum 26/10/1988 Állampolgárság magyar

B/16. számú melléklet Önéletrajz sablon

Publications Zoltán Porkoláb

DR. KOKOVAY ÁGNES. Személyes információk. Születési hely, idő: május 30. Várpalota. Képzettség

Hughes, M.- Dancs, H.( 2007) (eds): Basics of Performance Analysis, Cardiff- Szombathely, Budapest

Szimbólumfeldolgozó rendszerek leírási bonyolultsága - Klasszikus és nem-klasszikus számítási modellek

Publikációs jegyzék Dr. Farkas Éva az MTMT január 31-i adatai alapján

SZAKMAI ÖNÉLETRAJZ. Alapadatok: Név: E -mail: Telefonszám: Dr. Dévényi Márta devenyi@ktk.pte.hu /

DR. LAKATOS ÁKOS PH.D PUBLIKÁCIÓS LISTÁJA B) TUDOMÁNYOS FOLYÓIRATBELI KÖZLEMÉNYEK

Bokor Judit PhD. Szerz, cím, megjelenés helye, Szerz, cím, megjelenés helye, Szerz, cím, megjelenés. helye, PUBLIKÁCIÓ. Könyv, idegen nyelv

Generatív programok helyessége

Szakmai önéletrajz. Nyelvvizsga: Angol orvosi szaknyelv középfok (Bizonyítvány száma: D A 794/1997), orosz alapfok.

A hegyikerékpáros edzés szívfrekvencia változásainak regisztrálása. Sportoló fiúk hosszúsági méreteinek változása az érés idején

Sex: Male Date of Birth: 02 August 1947 Citizenship: Hungarian

Önéletrajz Dr. Bányai Orsolya.

Szakdolgozat, diplomamunka és TDK témák ( )

Publikációs lista. Dr. Molnárka-Miletics Edit Széchenyi István Egyetem Matematika és Számítástudományi Tanszék

TUDOMÁNYOS ÉS SZAKMAI TEVÉKENYSÉG

PUBLIKÁCIÓS LISTA MAGYAR NYELVEN, LEKTORÁLT FOLYÓIRATBAN MEGJELENT:

YANG ZIJIAN GYŐZŐ 杨子剑

Udvardyné Tóth Lilla intézeti biológus

Pacemaker készülékek szoftverének verifikációja. Hesz Gábor

Drótposta: ; ; Honlapom:

Publikációs lista. 3) Economic Reforms and Some Issues of International Trade Policy (Business Partner Hungary, September 1986)

műszaki tudomány doktora 1992 Beosztás: stratégiai tanácsadó, tudományos tanácsadó Munkahelyek: Nokia -Hungary kft Veszprémi Egyetem

Fügedi Balázs PhD. Szerz, cím, megjelenés helye, Szerz, cím, megjelenés. Szerz, cím, megjelenés helye, helye, PUBLIKÁCIÓ. Könyv, idegen nyelv

Thékes István. Publikációs lista. Thékes, István (2014): The development of an English as a foreign language vocabulary test.

Ács Péter. Béres Csaba Zoltán Filó Csilla.: E-neighbourhood, azaz a hipertér lokális perspektívái in: Kultúra és Közösség 2003/1

2004 Nyugat Magyarországi Egyetem, Faipari Mérnöki Kar Okleveles Könnyűipari Mérnök

Szakmai önéletrajz. Főbb tevékenységek elméleti nyelvészeti kutatások alkalmával asszisztensi feladatok ellátása

DEBRECENI EGYETEM EGYETEMI ÉS NEMZETI KÖNYVTÁR PUBLIKÁCIÓK

Publikációs lista - References. Referált nemzetközi folyóiratok Publications: peer reviewed (English)

Nyugat-magyarországi Egyetem Sopron, Cházár tér 1., P Épület, Erzsébetkert. University of West-Hungary

oklevél száma: P-1086/2003 (summa cum laude) A disszertáció címe: Integrálegyenletek és integrálegyenl½otlenségek mértékterekben

Süle Zoltán publikációs listája

Pannon Egyetem Vegyészmérnöki- és Anyagtudományok Doktori Iskola

Publikációk. Könyvek, könyvfejezetek:

E U R O P E A N PERSONAL INFORMATION DR. ADRIENNE KOMANOVICS. adrienne@ajk.pte.hu WORK EXPERIENCE EDUCATION AND TRAINING

SZAKMAI ÉLETRAJZ. Dr. Szuchy Róbert PhD. egyetemi adjunktus

Kongresszusi részvétel (előadás vagy poszter) Magyar nyelvű, hazai rendezvényeken

Az ELTE IK nemzetköziesedésének hatása a hazai hallgatókra, két jó gyakorlat bemutatása. - Bélik Márton,

Tudományos segédmunkatárs (MTA TK SZI) nők a tudományban, műszaki tudományok, magánélet és munka egyensúlya, gyermekvállalás

Magyarország, 4031, Debrecen szeptemberétől jelenleg is Ph.D. tanulmányok folytatása

Dobor Laura II. éves KDI hallgató

2nd Hungarian National and International Lifelong Learning Conference Proceeding

Lekérdező nyelv bonyolultság méréséhez

Curriculum Vitae Csaba Toth, PhD Born: October 7, 1979; Miskolc, Hungary

ZAJÁCZ EDIT publikációs lista

Körkép a lakossági felhasználók fogyasztásának készülékszintű becsléséről (NILM)

Curriculum vitae Önéletrajz

Tudományos munkatárs (MTA TK PTI)

PUBLIKÁCIÓS LISTA. KARÁCSONY P. (2008): A hazai gabonaágazat nemzetközi versenyképessége. XXXII. Óvári Tudományos Nap, Mosonmagyaróvár (elıadás)

Széchenyi István Egyetem Diplomamunka: A marketing lehetőségei a közúti közlekedésbiztonság javításában

Europass Önéletrajz. Személyi adatok. Szanyi Gyöngyi. Tanulmányok. Szakmai tapasztalat. Vezetéknév / Utónév

A TÉRINFORMATIKA OKTATÁSA ÉS ALKALMAZÁSI LEHETÕSÉGEI

Balogh András publikációs listája

Suskovics Csilla PhD. Szerz, cím, megjelenés. Szerz, cím, megjelenés helye, Szerz, cím, megjelenés helye, helye, PUBLIKÁCIÓ Könyv, idegen nyelv

Informatikaoktatás módszertana (1) FONTOSSÁGA: IKT + programozás

A japán tanszék profiljába sorolható szakmai közlemények

LÉGZÉSFUNKCIÓS VIZSGÁLATOK DOHÁNYZÓ ÉS NEM DOHÁNYZÓ FIÚKNÁL

Nyugat-magyarországi Egyetem. Doktori értekezés tézisei

Pécsi Tudományegyetem Közgazdaságtudományi Kar Regionális Politika és Gazdaságtan Doktori Iskola

.NET alapú programok minőségének és biztonságának növelése

Higher Education Programmes Offered in Foreign Languages in Hungary

A tudományos munkák jegyzéke

PUBLIKÁCIÓS ÉS ALKOTÁSI TEVÉKENYSÉG ÉRTÉKELÉSE, IDÉZETTSÉG Oktatói, kutatói munkakörök betöltéséhez, magasabb fokozatba történı kinevezéshez.

Hampel György Publikációk, konferencia előadások

ZIJIAN GYŐZŐ YANG 杨子剑 Language technology expert specialized in machine translation evaluation

SZAKMAI ÖNÉLETRAJZ. Alapadatok: Név: E -mail: Telefonszám: Schmuck Roland 72/ / mellék

DR. PÉTER-SZARKA SZILVIA Konferencia, előadás

Önéletrajz. Burai Pál Debreceni Egyetem, Informatikai Kar Alkalmazott Matematika és Valószín ségszámítás Tanszék

MULTIMÉDIA ALAPÚ OKTATÁSI TECHNOLÓGIÁK GYAKORLATI ALKALMAZÁSÁNAK VIZSGÁLATA A KATONAI SZAKNYELVOKTATÁSBAN

1918 December 1 út, 15/H/4, Sepsiszentgyörgy (Románia) Mobil biro_biborka@yahoo.com

Munkahely: Magyarország, 6800 Hódmezővásárhely, Andrássy út / /112 megbízott dékáni hivatalvezető, tanársegéd

Átírás:

Publikációs lista Diviánszky Péter 2018. február 2. Folyóirat cikkek / Journal papers [15], [16], [3], [1]. Referált cikkek / Papers in referred proceedings [11], [12]. Konferencia kiadványban megjelent cikkek / Papers in proceedings [23], [19], [18], [22]. Beszámolók / Reports [26], [25], [24]. Poszterek / Posters [20]. Kibővített absztraktok / Extended abstracts [9], [10], [13], [14], [21]. Absztraktok / Abstracts [27], [28], [2]. PhD tézis / PhD thesis [17]. Egyéb / Misc [4], [6], [5], [7], [8]. Hivatkozások [1] Péter Diviánszky, Erika Bene, and Tamás Vértesi. Qutrit witness from the grothendieck constant of order four. Physical Review A, 96(1):012113, 2017. 1

[2] Péter Diviánszky and Gáspár Erdélyi. Case study on imperative data types in a functional language. In MaCS 06 6th Joint Conference on Mathematics and Computer Science, pages 33 33, 2006. [3] Péter Diviánszky, Réka Trencsényi, Erika Bene, and Tamás Vértesi. Bounding the persistency of the nonlocality of w states. Physical Review A, 93(4):042113, 2016. [4] Péter Diviánszky. Halmazműveletek gyorsítása B-rep poliédereken. Első díj a XXV. OTDK helyi fordulóján, Informatika szekció, Debreceni Egyetem, 1999. Témavezető: Dr. Schwarcz Tibor egyetemi adjunktus. [5] Péter Diviánszky. Constructive solid geometry with hierarchies. Presented at the 5th International Conference on Applied Informatics, Eger, Hungary, 28 January-3 February, 2001. [6] Péter Diviánszky. Halmazműveletek gyorsítása B-rep poliédereken. Diplomamunka, 2001. Témavezető: Dr. Schwarcz Tibor egyetemi adjunktus. [7] Péter Diviánszky. Syntactical analyser with combinators for Clean. Presented at National Scientific Students Associations Conference, Informatics Section, Széchenyi István University, Győr, 2003. [8] Péter Diviánszky. Funkcionális programok átfogalmazása. Presented at the ELTE Eötvös Nap, Eötvös Loránd University of Sciences, Budapest, Hungary, November 4, 2004. [9] Péter Diviánszky. Direct graph manipulation in functional languages. Presented at the Central-European Functional Programming School, Eötvös Loránd University, Budapest, Hungary, 4-16 July, 2005. [10] Péter Diviánszky. Substructural functional programming. In A. Butterfield, editor, Implementation and Application of Functional Languages, 17th International Workshop, IFL 05, volume 5, page 3. Trinity College, Dublin, 2005. Technical Report TCD-CS-2005-60. 2

[11] Péter Diviánszky. Unique identifiers in pure functional languages. In Henrik Nilsson, editor, Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP), pages 84 98. The University of Nottingham, 2006. [12] Péter Diviánszky. Efficient implementation of linearly used finite maps. In Zoltán Horváth, László Kozma, and Viktória Zsók, editors, Proceedings of the 10th Symposium on Programming Languages and Software Tools, pages 199 213. Eötvös University Press, 2007. [13] Péter Diviánszky. Linearly used finite maps. In 2nd Central European Functional Programming School (CEFP 2007), Cluj Napoca, Romania, PhD workshop abstracts, page 1 page, 2007. [14] Péter Diviánszky. Translating imperative algorithms to functional code with unique variable environments. In Sven-Bodo Scholz, editor, Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008, pages 216 221, Hatfield, Hertfordshire, UK, September 2008. Technical Report No. 474, School of Computer Science, University of Hertfordshire. [15] Péter Diviánszky. Efficient implementation of linearly used finite maps. Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae, Sectio Computatorica, 30:201 218, 2009. [16] Péter Diviánszky. Non-monadic models of mutable references. In Zoltán Horváth, Rinus Plasmeijer, and Viktória Zsók, editors, Third Summer School, CEFP 2009, Budapest, Hungary, May 2009 and Komárno, Slovakia, May 2009, Revised Selected Lectures, volume 6299 of Lecture Notes of Computer Science, pages 147 187. Springer Verlag, 2010. [17] Péter Diviánszky. References in Pure Functional Languages. D.Phil thesis, Eötvös Loránd University, 2013. [18] Péter Diviánszky, Attila Góbi, and Tamás Kozsik. Size analysis of higher-order functions. In Ricardo Pena, editor, Draft Proceedings of 3

the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2011), pages 23 37, 2011. [19] Péter Diviánszky, Attila Góbi, Dániel Leskó, Mónika Mészáros, and Gábor Páli. Detaching and reconstructing the documentary structure. In Zoltán Horváth, Zsók Viktória, Peter Achten, and Pieter Koopman, editors, Proceedings of the Tenth Symposium on Trends in Functional Programming (TFP 2009), pages 43 58. Eötvös Loránd University, Faculty of Informatics, 2009. [20] Péter Diviánszky, Zoltán Horváth, Mónika Mészáros, Gábor Páli, Artyom Antyipin, Dorián Batha, Andrea Kovács, Péter Kovács, Judit Kőszegi, and Dániel Leskó. Infrastructure for analysis of F# programs. Poster, ELTE Innovation Day, 2009. [21] Péter Diviánszky, Mónika Mészáros, and Gábor Páli. Analysis of F# programs. Morgan Stanley - BME Financial Innovation Centre, Kick-off & Workshop, Budapest, Hungary, 15th June 2009, 2009. [22] Péter Diviánszky and Gábor Páli. A funkcionális programozás tanulásának támogatása interaktív tanulássegítő eszközökkel. pages 518 525, 2011. [23] Péter Diviánszky, Rozália Szabó-Nacsa, and Zoltán Horváth. A framework for refactoring Clean programs. In Lajos Csőke et al., editors, 6th International Conference on Applied Informatics, volume 1, pages 129 136. B.V.B. Press, 2004. [24] Zoltán Horváth, Péter Diviánszky, Attila Góbi, Mónika Mészáros, and Gábor Páli. Adatok és erőforrások használata F# programokban. Készült a ELTE IKKK keretében a Morgan Stanley Magyarország Elemző Kft megbízásából és támogatásával, 98 oldal, 2009. [25] Zoltán Horváth, Péter Diviánszky, Attila Góbi, Mónika Mészáros, and Gábor Páli. F# forrásprogramok stílusának elemzése. Készült a ELTE IKKK keretében a Morgan Stanley Magyarország Elemző Kft megbízásából és támogatásával, 84 oldal, 2009. 4

[26] Zoltán Horváth, Péter Diviánszky, Gábor Páli, and Mónika Mészáros. F# funkcionális programok elemzése dedikált lexikális elemző, megvalósíthatósági tanulmány. Készült a ELTE IKKK keretében a Morgan Stanley Magyarország Elemző Kft megbízásából és támogatásával, 83 oldal, 2008. [27] Rozália Szabó-Nacsa, Péter Diviánszky, and Zoltán Horváth. Prototype environment for refactoring Clean programs. In Conference of PhD students on Computer Sciences (CSCS), Volume of extended abstracts, pages 113 113, Szeged, Hungary, 2004. [28] Rozália Szabó-Nacsa, Péter Diviánszky, and Zoltán Horváth. Prototype environment for refactoring Clean programs. In Summer School on Advanced Functional Programming (AFP 04), Student Session, University of Tartu, Estonia, pages 19 23, 2004. 5