Horváth Z. Fundamental relation operations in the mathematical models of programming. (1990) ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 0138-9491 10 277-298, 1660156
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1660156]
  1. Fóthi Á et al. Data types and inheritance. (1996) PUBLICATIONES MATHEMATICAE DEBRECEN 0033-3883 2064-2849 48 3-4, suppl. 275-289
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23274722] [Admin láttamozott]
    Független, Idéző: 23274722, Kapcsolat: 23274722
  2. Vargyas M. Formal derivation of arithmetic encoding. (1995) Megjelent: Proceedings of the Fourth Symposium on Programming Languages and Software Tools pp. 41-54
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23274815] [Admin láttamozott]
    Független, Idéző: 23274815, Kapcsolat: 23274815
  3. Fóthi Á et al. Programozási módszertan az ELTE programozó matematikus képzésében. (1993) Megjelent: Informatika a felsőoktatásban pp. 196-201
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23274757] [Admin láttamozott]
    Független, Idéző: 23274757, Kapcsolat: 23274757
Fóthi Ákos et al. The Weakest Precondition and the Theorem of the Specification. (1991) Megjelent: Proceedings of the Second Symposium on Programming Languages and Software Tools pp. 39-47, 2331033
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2331033]
  1. Harangozó Éva et al. Demonstration of a Problem-Solving Method. (1995) ACTA CYBERNETICA 0324-721X 12 1 71-82
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2198027] [Jóváhagyott]
    Független, Idéző: 2198027, Kapcsolat: 26124934
Horváth Zoltán. Tha Weakest Precondition and the Specification of Parallel Programs. (1993) Megjelent: Proceedings of the Third Symposium on Programming Languages and Software Tools pp. 21-23, 2112177
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2112177]
  1. Hajdara Sz et al. Synthesis of a system composed by many similar objects. (2003) ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 0138-9491 22 127-150
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1775796] [Admin láttamozott]
    Független, Idéző: 1775796, Kapcsolat: 23280389
Fóthi Ákos. Parallel Elementwise Processing: A Novel Version. (1995) Megjelent: Proceedings of The Fourth Symposium on Programming Languages and Software Tools pp. 180-194, 1653144
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1653144]
  1. Iványi Antal. Párhuzamos algoritmusok. (2003) ISBN:9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[23256700] [Admin láttamozott]
    Független, Idéző: 23256700, Kapcsolat: 23256700
  2. Hernyák Zoltán. Elosztott programozás oktatása a gyakorlatban. (2002) Megjelent: Informatika a felsőoktatásban 2002 pp. 1138-1145
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23256702] [Admin láttamozott]
    Független, Idéző: 23256702, Kapcsolat: 23256701
  3. Nikkelen V. Implementation of abstract UNITY algorithms in PVM. (2000)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[23256699] [Admin láttamozott]
    Független, Idéző: 23256699, Kapcsolat: 23256699
Horváth Z. Parallel asynchronous computation of the values of an associative function. (1995) ACTA CYBERNETICA 0324-721X 12 1 83-94, 1660157
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1660157]
  1. Kozsik Tamás. The Application of an Associative Function on the Prefixes of a Series. (2003)
    Egyéb/Kutatási jelentés (közzétett) (Egyéb)/Tudományos[1658316] [Jóváhagyott]
    Független, Idéző: 1658316, Kapcsolat: 23274972
  2. A Iványi. Párhuzamos Algoritmusok. (2003) ISBN:9789634635901; 9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[21766627] [Admin láttamozott]
    Független, Idéző: 21766627, Kapcsolat: 23275006
  3. Kozma László. Synthesizing Methods of Parallel Systems. (1994) Megjelent: The 8th Symposium on Microcomputer and Microprocessor Applications pp. 586-594
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23274946] [Admin láttamozott]
    Független, Idéző: 23274946, Kapcsolat: 23274946
Horváth Zoltán. On Composing Problems and Parallel Programs. (1996) Megjelent: Proceedings of the Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'96) pp. 225-226, 1962638
Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[1962638]
  1. Kozma László et al. Párhuzamos rendszerek elemzése. (2002)
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[1797605] [Admin láttamozott]
    Független, Idéző: 1797605, Kapcsolat: 23256706
  2. Kozma László. The Role of Abstraction Process in Software Development. (2001) Megjelent: Proceedings of the 5th International Conference on Applied Informatics pp. 113-123
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256710] [Admin láttamozott]
    Független, Idéző: 23256710, Kapcsolat: 23256710
  3. Blum L. Specifying Concurrent Object-Oriented Systems. (1999) Megjelent: 3rd International Conference on Applied Informatics pp. 35-41
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256709] [Admin láttamozott]
    Független, Idéző: 23256709, Kapcsolat: 23256709
  4. Blum L. A Synchronization Specification of Concurrent Objects. (1999) Megjelent: 3rd International Conference on Applied Informatics pp. 313-322
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256708] [Admin láttamozott]
    Független, Idéző: 23256708, Kapcsolat: 23256708
  5. Blum L. Implementation Problems of a New Synchronization-Scheme. (1997) Megjelent: Fifth Symposium on Programming Languages and Software Tools pp. 24-36
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256707] [Admin láttamozott]
    Független, Idéző: 23256707, Kapcsolat: 23256707
Horváth Zoltán. A Relational Model of Transformation in Programming. (1997) Megjelent: 3rd International Conference on Applied Informatics pp. 335-349, 2112091
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2112091]
  1. Gregorics Tibor. Concept of the abstract program. (2012) ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 1844-6086 2066-7760 2 1 7-16
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[26135974] [Jóváhagyott]
    Független, Idéző: 26135974, Kapcsolat: 26135974
  2. Gregorics Tibor. Abstract levels of programming theorems. (2012) ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 1844-6086 2066-7760 4 2 247-259
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2397586] [Érvényesített]
    Független, Idéző: 2397586, Kapcsolat: 24216446
Fóthi Ákos. A Formal Semantics of Internal Object Concurrency. (1998) Megjelent: Proceedings of the Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications) pp. 85-94, 1653145
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1653145]
  1. Blum L. Specifying Concurrent Object-Oriented Systems. (1999) Megjelent: 4th International Conference on Applied Informatics pp. 35-41
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256711] [Admin láttamozott]
    Független, Idéző: 23256711, Kapcsolat: 23256711
Fóthi Ákos. Parallel Elementwise Processing: A Novel Version. (1998) ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 0138-9491 17 105-124, 1639722
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1639722]
  1. A Iványi. Párhuzamos Algoritmusok. (2003) ISBN:9789634635901; 9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[21766627] [Admin láttamozott]
    Független, Idéző: 21766627, Kapcsolat: 23275456
  2. Hernyák Zoltán. Elosztott programozás oktatása a gyakorlatban. (2002) Megjelent: Informatika a felsőoktatásban 2002 pp. 1138-1145
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23256702] [Admin láttamozott]
    Független, Idéző: 23256702, Kapcsolat: 23275600
Horváth Zoltán. The Formal Specification of a Problem Solved by a Parallel Program - a Relational Model. (1998) ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 0138-9491 17 173-191, 2111115
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2111115]
  1. Sz Hajdara. Synthesis of a system composed by many similar object. (2003) ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EÖTVÖS NOMINATAE - SECTIO MATHEMATICA 0524-9007 22 127-150
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[26818418] [Jóváhagyott]
    Független, Idéző: 26818418, Kapcsolat: 26818418
  2. A Iványi. Párhuzamos Algoritmusok. (2003) ISBN:9789634635901; 9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[21766627] [Admin láttamozott]
    Független, Idéző: 21766627, Kapcsolat: 23275052
Horváth Zoltán. Proving the Temporal Properties of the Unique World. (1999) Megjelent: Software Technology, Fenno-Ugric Symposium (FUSST'99) pp. 113-125, 1653149
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1653149]
  1. Andrew Butterfield et al. Proving Correctness of Programs with IO — A Paradigm Comparison. (2002) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 2312 72-87
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23256693] [Admin láttamozott]
    Független, Idéző: 23256693, Kapcsolat: 23256693
  2. Richard Hayes. The Sam Loyd Puzzle and Assorted Problems: An Investigation of Updatable Arrays in Functional Programming. (2000)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[23256697] [Admin láttamozott]
    Független, Idéző: 23256697, Kapcsolat: 23256697
  3. Hans-jörg Kreowski et al. APPLIGRAPH - Applications of Graph Transformation. (2000)
    Egyéb/Kutatási jelentés (közzétett) (Egyéb)/Tudományos[23256698] [Admin láttamozott]
    Független, Idéző: 23256698, Kapcsolat: 23256696
Horváth Zoltán. Verification of the Temporal Properties of Dynamic Clean Processes. (1999) Megjelent: Proceedings of the 11th International Workshop on Implementation of Functional Languages (IFL'99) pp. 203-218, 1653150
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1653150]
  1. Hans-jörg Kreowski et al. APPLIGRAPH - Applications of Graph Transformation. (2000)
    Egyéb/Kutatási jelentés (közzétett) (Egyéb)/Tudományos[23256698] [Admin láttamozott]
    Független, Idéző: 23256698, Kapcsolat: 23256698
Horváth Zoltán. Parallel Programs Implementing Abstract Data Type Operations. (2000) PURE MATHEMATICS AND APPLICATIONS 1218-4586 1788-800X 11 2 293-308, 1639726
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1639726]
  1. Iványi Antal. Párhuzamos algoritmusok. (2003) ISBN:9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[23256700] [Admin láttamozott]
    Független, Idéző: 23256700, Kapcsolat: 23256703
  2. Hernyák Zoltán. Elosztott programozás oktatása a gyakorlatban. (2002) Megjelent: Informatika a felsőoktatásban 2002 pp. 1138-1145
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23256702] [Admin láttamozott]
    Független, Idéző: 23256702, Kapcsolat: 23256702
Horváth Zoltán. A Data Intensive Computation on a Cluster: Parallel Elementwise Processing. (2002) Megjelent: Distributed and Parallel Systems - Cluster and Grid Computing pp. 46-53, 1648356
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1648356]
  1. Iványi Antal. Párhuzamos algoritmusok. (2003) ISBN:9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[23256700] [Admin láttamozott]
    Független, Idéző: 23256700, Kapcsolat: 23256705
Horváth Zoltán. Safe Mobile Code - CPPCC: Certified Proved-Property-Carrying Code. (2002) Megjelent: Object-Oriented Technology. ECOOP 2002 Workshop Reader: ECOOP 2002 Workshops and Posters, Málaga, Spain, June 10--14, 2002. Pro... pp. 8-10, 1962635
Könyvrészlet/Absztrakt / Kivonat (Könyvrészlet)/Tudományos[1962635]
  1. Istenes Z. Verified Mobile Code Repository Simulator for the Intelligent Space. (2010) Megjelent: 8th Int'l Conf. Applied Informatics pp. 79-86
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256712] [Admin láttamozott]
    Független, Idéző: 23256712, Kapcsolat: 23256712
  2. Jeni. Adaptive, safe mobile robot programming in the intelligent space. (2009) Megjelent: Proceedings of the 2nd Conference on Human System interactions (Catania, Italy, May 21 - 23, 2009) pp. 418-423
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23256716] [Admin láttamozott]
    Független, Idéző: 23256716, Kapcsolat: 23256716
  3. Tejfel M. Verified Mobile Code Repository in the Intelligent Space. (2008) Megjelent: CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE CSCS 2008 p. 60
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[23256715] [Admin láttamozott]
    Független, Idéző: 23256715, Kapcsolat: 23256715
  4. Jeni L et al. Safe Robot Control in the Intelligent Space using Mobile Code Technology. (2007) Megjelent: 9th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics pp. 243-254
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256714] [Admin láttamozott]
    Független, Idéző: 23256714, Kapcsolat: 23256714
  5. Hernyák Zoltán. PEPDI as a Message Passing Interface with OO support. (2003) Megjelent: Workshop on Parallel/High Performance Object-Oriented Scientific Computing (POOSC’03) pp. 31-40
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256713] [Admin láttamozott]
    Független, Idéző: 23256713, Kapcsolat: 23256713
Zsók Viktória. Párhuzamos funkcionális programozás.. (2002) Megjelent: Informatika a felsőoktatásban 2002 pp. 1085-1094, 1983898
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1983898]
  1. Király Roland. Transforming client-server based Erlang programs to Erlang OTP design. (2007) Megjelent: Networkshop 2007 pp. 1-2
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[22786643] [Jóváhagyott]
    Független, Idéző: 22786643, Kapcsolat: 22786643
Horvath Z. Parallel elementwise processable functions in concurrent clean. (2003) MATHEMATICAL AND COMPUTER MODELLING 0895-7177 1872-9479 38 7-9 865-875, 2071263
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2071263]
  1. Michael Dever. AutoPar: Automating the Parallelization of Functional Programs. (2015)
    Disszertáció/PhD (Disszertáció)/Tudományos[26818274] [Jóváhagyott]
    Független, Idéző: 26818274, Kapcsolat: 26818274
  2. Dastgeer Usman. Performance-aware Component Composition for GPU-based systems. (2014)
    Disszertáció/PhD (Disszertáció)/Tudományos[27038197] [Jóváhagyott]
    Független, Idéző: 27038197, Kapcsolat: 27038197
  3. Saidani Tarik. Optimisation multi-niveau d’une application de traitement d’images sur machines parallèles. (2012)
    Disszertáció/PhD (Disszertáció)/Tudományos[22895639] [Admin láttamozott]
    Független, Idéző: 22895639, Kapcsolat: 22895639
  4. Dastgeer Usman. Skeleton Programming for Heterogeneous GPU-based Systems. (2011)
    Disszertáció/Külföldi fokozat (nem PhD) (Disszertáció)/Tudományos[22775001] [Admin láttamozott]
    Független, Idéző: 22775001, Kapcsolat: 22775001
  5. Gonzalez-Velez H et al. A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers. (2010) SOFTWARE-PRACTICE & EXPERIENCE 0038-0644 1097-024X 40 12 1135-1160
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[22650273] [Admin láttamozott]
    Független, Idéző: 22650273, Kapcsolat: 22650273
  6. Kozma László et al. Beyond 2000, Beyond Object- Orientation. (2001) Megjelent: ICAI 2001 pp. 125-134
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[22783314] [Jóváhagyott]
    Független, Idéző: 22783314, Kapcsolat: 22783314
Horváth Zoltán. Proving Invariants of Functional Programs. (2003) Megjelent: Proceedings of the 8th Symposium on Programming Languages and Software Tools pp. 115-126, 1648357
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1648357]
  1. Maarten de. Reasoning about functional programs: Sparkle, a proof assistant for Clean. (2009)
    Disszertáció/PhD (Disszertáció)/Tudományos[22455564] [Admin láttamozott]
    Független, Idéző: 22455564, Kapcsolat: 22455564
  2. Maarten de. Proving Properties of Lazy Functional Programs with Sparkle. (2008) Megjelent: Central European Functional Programming School pp. 41-86
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[22455614] [Jóváhagyott]
    Független, Idéző: 22455614, Kapcsolat: 22455614
  3. Dévai Gergely. Programming language elements for correctness proofs. (2008) ACTA CYBERNETICA 0324-721X 18 3 403-425
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2436426] [Érvényesített]
    Független, Idéző: 2436426, Kapcsolat: 22455635
  4. Maarten de et al. A Single-Step Term-Graph Reduction System for Proof Assistants. (2008) Megjelent: 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2007 pp. 184-200
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[24068004] [Jóváhagyott]
    Független, Idéző: 24068004, Kapcsolat: 22455633
Diviánszky Péter. Refactoring via Database Representation. (2004) Megjelent: 6th International Conference on Applied Informatics pp. 129-136, 2112096
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2112096]
  1. Huiqing Li et al. Automating property-based testing of evolving web services. (2014) Megjelent: PEPM '14 Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation pp. 169-180
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[26818379] [Jóváhagyott]
    Független, Idéző: 26818379, Kapcsolat: 26818379
  2. R P S. Refactoring and Its Benefits. (2010) AIP CONFERENCE PROCEEDINGS 0094-243X 1551-7616 1298 1
    Folyóiratcikk/Konferenciaközlemény (Folyóiratcikk)/Tudományos[27045599] [Jóváhagyott]
    Független, Idéző: 27045599, Kapcsolat: 27045599
  3. Tamás Nagy. Erlang kód tárolása adatbázisban. (2006)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[26148936] [Jóváhagyott]
    Független, Idéző: 26148936, Kapcsolat: 26818382
  4. Nagy Tamás et al. Egy Erlang Refaktor Lépés: Függvényparaméterek Összevonása Tuple-ba. (2006)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[27045890] [Jóváhagyott]
    Független, Idéző: 27045890, Kapcsolat: 27045890
Hernyák Zoltán. Clean-CORBA Interface Supporting Pipeline Skeleton. (2004) Megjelent: Proceedings of the 6th international conference on applied informatics (ICAI 2004) pp. 191-200, 2092103
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2092103]
  1. Ugron B et al. Synthesis of the synchronization of general pipeline systems. (2005) ACTA CYBERNETICA 0324-721X 17 1 123-151
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1762901] [Admin láttamozott]
    Független, Idéző: 1762901, Kapcsolat: 22775084
  2. Balázs Ugron. Synthesis of the synchronization of pipeline systems. (2004) Megjelent: ICAI 2004 pp. 351-359
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[22782735] [Admin láttamozott]
    Független, Idéző: 22782735, Kapcsolat: 22782735
Hernyák Zoltán. Design of Language Elements for Dynamic Distributed Computation of Clean Expressions on Clusters. (2004) Megjelent: Proceedings of Fifth Symposium on Trends in Functional Programming pp. 257-270, 2092517
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2092517]
  1. Krisztián Pócza. Cross-language Program Slicing in the .NET Framework. (2005) Journal of .NET Technologies 3 1-3 141-150
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[22782784] [Admin láttamozott]
    Független, Idéző: 22782784, Kapcsolat: 22782784
Horváth Zoltán. Implementing Pipeline Skeleton in Clean using CORBA Channels. (2004) Megjelent: Proceedings of the Workshop on Multiparadigm Programming with Object-Oriented languages pp. 1-6, 2092107
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2092107]
  1. Ugron Balázs. Synzhesis of the synchronisation code of pipeline systems. (2007)
    Disszertáció/PhD (Disszertáció)/Tudományos[22787499] [Admin láttamozott]
    Független, Idéző: 22787499, Kapcsolat: 22787499
Horváth Zoltán. Verifying invariants of abstract functional objects - a case study. (2004) Megjelent: 6th International Conference on Applied Informatics pp. 201-209, 1653154
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1653154]
  1. Maarten de. Reasoning about functional programs: Sparkle, a proof assistant for Clean. (2009)
    Disszertáció/PhD (Disszertáció)/Tudományos[22455657] [Admin láttamozott]
    Független, Idéző: 22455657, Kapcsolat: 22455657
Szabó-Nacsa Rozália. Prototype Environment for Refactoring Clean programs. (2004) Megjelent: The Fourth Conference of PhD Students in Computer Science pp. 113-113, 2112934
Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[2112934]
  1. Huiqing Li et al. Automating property-based testing of evolving web services. (2014) Megjelent: PEPM '14 Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation pp. 169-180
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[26818353] [Jóváhagyott]
    Független, Idéző: 26818353, Kapcsolat: 26818353
  2. Huiqing Li et al. Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse. (2008) Megjelent: Proceeding ERLANG '08 Proceedings of the 7th ACM SIGPLAN workshop on ERLANG pp. 61-72
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[26818279] [Jóváhagyott]
    Független, Idéző: 26818279, Kapcsolat: 26818279
  3. Nagy Tamás et al. Egy Erlang Refaktor Lépés: Függvényparaméterek Összevonása Tuple-ba. (2006)
    Egyéb/Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)/Tudományos[27038449] [Jóváhagyott]
    Független, Idéző: 27038449, Kapcsolat: 27038449
Horváth Zoltán. Coordination Language for Distributed Clean. (2005) ACTA CYBERNETICA 0324-721X 17 2 247-271, 2071286
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2071286]
  1. Aswad KH. Architecture Aware Parallel Programming in Glasgow Parallel Haskell (GpH). (2012)
    Disszertáció/PhD (Disszertáció)/Tudományos[22775023] [Admin láttamozott]
    Független, Idéző: 22775023, Kapcsolat: 22775023
  2. Tejfel Máté. Object Based Multiparadigm Concepts for Verification of Functional Components. (2008) Megjelent: MPOOL 2008 pp. 1-9
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[22782712] [Jóváhagyott]
    Független, Idéző: 22782712, Kapcsolat: 22782712
  3. Király Roland. Transforming client-server based Erlang programs to Erlang OTP design. (2007) Megjelent: Networkshop 2007 pp. 1-2
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[22786647] [Jóváhagyott]
    Független, Idéző: 22786647, Kapcsolat: 22786647
  4. Kozsik T. Proving program properties specified with subtype marks. (2007) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 4449 163-180
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2395470] [Érvényesített]
    Független, Idéző: 2395470, Kapcsolat: 22625686
  5. Kozsik Tamás. Types with subtype marks. (2006)
    Disszertáció/PhD (Disszertáció)/Tudományos[22787504] [Admin láttamozott]
    Független, Idéző: 22787504, Kapcsolat: 22787504
  6. Porubän Jaroslav. Inheritence Profiles of Process Functional Programs. (2006) Megjelent: Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics pp. 192-197
    Könyvrészlet/Könyvfejezet (Könyvrészlet)/Tudományos[22786899] [Jóváhagyott]
    Független, Idéző: 22786899, Kapcsolat: 22786899
  7. Tejfel M et al. Extending the Sparkle Core language with object abstraction. (2005) ACTA CYBERNETICA 0324-721X 17 2 419-445
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1949031] [Admin láttamozott]
    Független, Idéző: 1949031, Kapcsolat: 22782698
Horváth Zoltán. Funkcionális programozás témakörei a programtervező képzésben (Functional Programming in Computer Science Education). (2005) Megjelent: Informatika a felsőoktatásban, 2005 p. 189, 2146441
Könyvrészlet/Absztrakt / Kivonat (Könyvrészlet)/Tudományos[2146441]
  1. Király Roland. Funkcionális nyelvek. (2011)
    Egyéb/Nem besorolt (Egyéb)/Tudományos[26136747] [Jóváhagyott]
    Független, Idéző: 26136747, Kapcsolat: 23792360
  2. Király Roland. Functional Languages. (2011)
    Egyéb/Nem besorolt (Egyéb)/Tudományos[26136740] [Jóváhagyott]
    Független, Idéző: 26136740, Kapcsolat: 23792359
Horváth Zoltán. Implementing Distributed Skeletons using D-Clean and D-Box. (2005) Megjelent: Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages pp. 1-16, 2092512
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[2092512]
  1. Henrieta Telepovská. Extension of PowerBuilder Applications with Java Message Service. (2010)
    Egyéb/Nem besorolt (Egyéb)/Tudományos[22782770] [Jóváhagyott]
    Független, Idéző: 22782770, Kapcsolat: 22782770
  2. Király Roland. Transforming client-server based Erlang programs to Erlang OTP design. (2007) Megjelent: Networkshop 2007 pp. 1-2
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[22786656] [Admin láttamozott]
    Független, Idéző: 22786656, Kapcsolat: 22786656
  3. Václávík Peter. Type Environments in Object Oriented Process Functional Language. (2006) ACTA ELECTROTECHNICA ET INFORMATICA 1335-8243 1338-3957 6 4 65-72
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[22782773] [Admin láttamozott]
    Független, Idéző: 22782773, Kapcsolat: 22782773
  4. Václavík Peter. Objects in Functional Languages. (2006) Megjelent: Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics pp. 198-203
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[22786908] [Jóváhagyott]
    Független, Idéző: 22786908, Kapcsolat: 22786908
Lőrincz László. A method for job scheduling in Grid based on job execution status. (2005) MULTIAGENT AND GRID SYSTEMS 1574-1702 1 3 197-208, 1639732
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1639732]
  1. Brown C et al. An Expression Processor: A Case Study in Refactoring Haskell Programs. (2011) LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 0302-9743 6546 31-49
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[22666877] [Jóváhagyott]
    Független, Idéző: 22666877, Kapcsolat: 22666877
  2. G Kannan. Nonpreemptive Priority (NPRP) based Job Scheduling model for virtualized grid environment. (2010) Megjelent: Advanced Computer Theory and Engineering (ICACTE), 2010 3rd International Conference on (Volume:4 ) pp. 377-381
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23804329] [Jóváhagyott]
    Független, Idéző: 23804329, Kapcsolat: 23804329
  3. Kovács J et al. Application and middleware transparent checkpointing with TCKPT on ClusterGrids. (2010) FUTURE GENERATION COMPUTER SYSTEMS 0167-739X 1872-7115 26 3 498-503
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1458951] [Érvényesített]
    Független, Idéző: 1458951, Kapcsolat: 26150643
  4. Ajanta De et al. An Adaptive Execution Scheme for Achieving Guaranteed Performance in Computational Grids. (2010) JOURNAL OF GRID COMPUTING 1570-7873 8 1 109-131
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23256718] [Admin láttamozott]
    Független, Idéző: 23256718, Kapcsolat: 23256718
  5. Sarkar AD. Achieving guaranteed performance on computational grid. (2008) Megjelent: 11th International Conference on Computer and Information Technology, ICCIT 2008 pp. 353-358
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[27183506] [Jóváhagyott]
    Független, Idéző: 27183506, Kapcsolat: 27183506
  6. Ján Kollár. Structural Proposition for Aspect Oriented Software Evolution. (2006) Megjelent: Seventh International Scientific Conference on Electronic Computers and Informatics (ECI 2006) pp. 180-185
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256720] [Admin láttamozott]
    Független, Idéző: 23256720, Kapcsolat: 23256720
  7. Jaroslav Porubän. Inheritance Profiles of Process Functional Programs. (2006) Megjelent: Proceedings of the Seventh International Scientific Conference on Electronic Computers and Informatics (ECI 2006) pp. 192-197
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256721] [Admin láttamozott]
    Független, Idéző: 23256721, Kapcsolat: 23256721
  8. Lipovits Á. Az NIIF Szuperszámítógép felhasználásának statisztikai elemzése adaptív GRID ütemezõ megvalósításához. (2006) Megjelent: Networkshop Konferencia pp. 1-9
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256719] [Admin láttamozott]
    Független, Idéző: 23256719, Kapcsolat: 23256719
Lőrincz L et al. Data access optimization on grid systems. (2005) Megjelent: Fourteenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises pp. 319-324, 2052518
Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2052518]
  1. Mohammed Y. Data Decomposition in Biomedical e-Science Applications. (2011) Megjelent: e-Science Workshops (eScienceW), 2011 IEEE Seventh International Conference on pp. 158-165
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23256480] [Admin láttamozott]
    Független, Idéző: 23256480, Kapcsolat: 23256480
  2. Montes J et al. The Grid as a Single Entity: Towards a Behavior Model of the Whole Grid. (2008) LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 0302-9743 5331 886-897
    Folyóiratcikk/Konferenciaközlemény (Folyóiratcikk)/Tudományos[22654454] [Jóváhagyott]
    Független, Idéző: 22654454, Kapcsolat: 22654454
  3. R Shiung. A predictive algorithm for replication optimization in data grid. (2006) Megjelent: ICS 2006 pp. 199-204
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256528] [Admin láttamozott]
    Független, Idéző: 23256528, Kapcsolat: 23256528
Tejfel M et al. Extending the Sparkle Core language with object abstraction. (2005) ACTA CYBERNETICA 0324-721X 17 2 419-445, 1949031
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1949031]
  1. Zsók Viktória et al. The Distributed D-Clean Model Revisited by Templates. (2011) AIP CONFERENCE PROCEEDINGS 0094-243X 1551-7616 1389 Vol A 877-880
    Folyóiratcikk/Konferenciaközlemény (Folyóiratcikk)/Tudományos[2071261] [Jóváhagyott]
    Független, Idéző: 2071261, Kapcsolat: 22663910
  2. Dévai G. Embedding a proof system in Haskell. (2010) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 6299 LNCS 354-371
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23293184] [Admin láttamozott]
    Független, Idéző: 23293184, Kapcsolat: 23256653
  3. Maarten de. Reasoning about functional programs: Sparkle, a proof assistant for Clean. (2009)
    Disszertáció/PhD (Disszertáció)/Tudományos[22455075] [Admin láttamozott]
    Független, Idéző: 22455075, Kapcsolat: 22455075
  4. Gergely Dévai et al. A tool for formally specifying the C++ standard template library. (2009) ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 0138-9491 31 147-166
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1996127] [Érvényesített]
    Független, Idéző: 1996127, Kapcsolat: 23256652
  5. Diviánszky Péter. Translating imperative algorithms to functional code with unique variable environments. (2008) Megjelent: Implementation and Application of Functional Languages, 20th International Symposium, IFL 2008 pp. 216-221
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23256644] [Admin láttamozott]
    Független, Idéző: 23256644, Kapcsolat: 23256644
  6. Maarten de et al. Proving Properties of Lazy Functional Programs with Sparkle. (2008) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 5161 41-86
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23256657] [Jóváhagyott]
    Független, Idéző: 23256657, Kapcsolat: 23256657
  7. Dévai Gergely. Programming language elements for correctness proofs. (2008) ACTA CYBERNETICA 0324-721X 18 3 403-425
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2436426] [Érvényesített]
    Független, Idéző: 2436426, Kapcsolat: 22455438
  8. Maarten de et al. A Single-Step Term-Graph Reduction System for Proof Assistants. (2008) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 5088 184-200
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23256656] [Admin láttamozott]
    Független, Idéző: 23256656, Kapcsolat: 23256656
  9. Maarten de et al. A Single-Step Term-Graph Reduction System for Proof Assistants. (2008) Megjelent: 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2007 pp. 184-200
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[24068004] [Jóváhagyott]
    Független, Idéző: 24068004, Kapcsolat: 24068004
  10. Gergely Dévai et al. Towards verified usage of the C++ Standard Template Library. (2007) Megjelent: Proceedings of the 10th Symposium on Programming Languages and Software Tools pp. 360-371
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1996640] [Admin láttamozott]
    Független, Idéző: 1996640, Kapcsolat: 22455482
  11. Gergely Dévai. Separation logic style reasoning in a refinement based language. (2007) Megjelent: Proceedings of the 7 th International Conference on Applied Informatics, Eger, Hungary, January 28–31, 2007 pp. 117-125
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23256646] [Admin láttamozott]
    Független, Idéző: 23256646, Kapcsolat: 23256646
  12. Valerie Novitzká et al. Finite automata in the mathematical theory of programming. (2007) Megjelent: Proceedings of the 7 th International Conference on Applied Informatics Eger, Hungary, January 28–31, 2007 pp. 91-98
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23256661] [Admin láttamozott]
    Független, Idéző: 23256661, Kapcsolat: 23256661
  13. Maarten de. Confluent Term-Graph Reduction for Computer-Aided Formal Reasoning. (2007)
    Egyéb/Nem besorolt (Egyéb)/Tudományos[22455448] [Jóváhagyott]
    Független, Idéző: 22455448, Kapcsolat: 22455448
  14. Péter Diviánszky. Unique Identifiers in Pure Functional Languages. (2006) Megjelent: Seventh Symposium on Trends in Functional Programming, TFP’06 pp. 84-98
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[22455266] [Jóváhagyott]
    Független, Idéző: 22455266, Kapcsolat: 22455266
  15. Ján Kollár. Structural Proposition for Aspect Oriented Software Evolution. (2006) Megjelent: Seventh International Scientific Conference on Electronic Computers and Informatics (ECI 2006) pp. 180-185
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256654] [Admin láttamozott]
    Független, Idéző: 23256654, Kapcsolat: 23256654
  16. Mészáros Mónika. Proving Quality of Service Constraints of Multimedia System. (2006) Megjelent: Conference of PhD Students in Computer Science, CSCS 2006 pp. 74-74
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[23256660] [Admin láttamozott]
    Független, Idéző: 23256660, Kapcsolat: 23256660
  17. Marko van et al. Proof Tool Support for Explicit Strictness. (2006) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 4015 37-54
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23256658] [Admin láttamozott]
    Független, Idéző: 23256658, Kapcsolat: 23256658
  18. Gergely Dévai. Programming language elements for proof construction. (2006) Megjelent: MaCS'06: 6th Joint Conference on Mathematics and Computer Science pp. 31-31
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[23256645] [Admin láttamozott]
    Független, Idéző: 23256645, Kapcsolat: 23256645
2020-08-05 06:51