Fóthi Ákos et al. 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:9789634635901; 9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[21766627] [Egyeztetett]
    Független, Idéző: 21766627, 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/Konferenciaközlemény (Könyvrészlet)/Tudományos[23256702] [Nyilvános]
    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 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
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 et al. 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 et al. 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. Iványi Antal. Párhuzamos algoritmusok. (2003) ISBN:9789634635901; 9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[21766627] [Egyeztetett]
    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/Konferenciaközlemény (Könyvrészlet)/Tudományos[23256702] [Nyilvános]
    Független, Idéző: 23256702, Kapcsolat: 23275600
Gulyás László et al. The Multi-Agent Modeling Language. (1999) Megjelent: Proceedings of 4th International Conference on Applied Informatics (ICAI'99) pp. 43-50, 1648355
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1648355]
  1. Mohamed Nezar Abourraja. Gestion multi-agents d'un terminal à conteneurs. (2018)
    Disszertáció/PhD (Disszertáció)/Tudományos[27224119] [Nyilvános]
    Független, Idéző: 27224119, Kapcsolat: 27224119
  2. Meriem Chibani et al. TOWARD AN ASPECT-ORIENTED SIMULATION. (2013) INTERNATIONAL JOURNAL OF NEW COMPUTER ARCHITECTURES AND THEIR APPLICATIONS 2220-9085 3 1 1-10
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23251671] [Egyeztetett]
    Független, Idéző: 23251671, Kapcsolat: 23251671
  3. Rafael Sienkiewicz. The particle method for simulation ofself-organization phenomena. (2010)
    Disszertáció/PhD (Disszertáció)/Tudományos[31873977] [Admin láttamozott]
    Független, Idéző: 31873977, Kapcsolat: 29851250
  4. Meyer D et al. A Simulation Framework for Heterogeneous Agents. (2003) COMPUTATIONAL ECONOMICS 0927-7099 1572-9974 22 2-3 285-301
    Folyóiratcikk[20521817] [Nyilvános]
    Független, Idéző: 20521817, Kapcsolat: 29851241
  5. O'Sullivan D et al. Agent-based models and individualism: is the world agent-based?. (2000) ENVIRONMENT AND PLANNING A 0308-518X 1472-3409 32 8 1409-1425
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[10279577] [Nyilvános]
    Független, Idéző: 10279577, Kapcsolat: 29851237
Gulyás László et al. The Use of Aspect-Oriented Programming in Scientific Simulations. (1999) Megjelent: Software Technology, Fenno-Ugric Symposium (FUSST'99) pp. 17-28, 1653148
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1653148]
  1. Meriem CHIBANI. VERS UN ENVIRONNEMENT DE SIMULATION ÀÉVÈNEMENTS DISCRETS BASÉ SUR LE PARADIGME DELA PROGRAMMATION ORIENTÉE ASPECTS. (2015)
    Disszertáció/PhD (Disszertáció)/Tudományos[31873928] [Admin láttamozott]
    Független, Idéző: 31873928, Kapcsolat: 29851187
  2. Meriem Chibani et al. Practical benefits of aspect-oriented programming paradigm in discrete event simulation. (2015) Modelling and Simulation in Engineering 1687-5591 2014
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[27238898] [Egyeztetett]
    Független, Idéző: 27238898, Kapcsolat: 27238898
  3. Meriem Chibani et al. Aspect and Subject Oriented Programming Paradigms: A Comparative Study. (2014) Megjelent: International Conference on Complex System (CISC'2014)
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[27238901] [Admin láttamozott]
    Független, Idéző: 27238901, Kapcsolat: 27238901
  4. M Chibani et al. Using AOP In Discrete Event Simulation: A Case Study with JAPROSIM. (2013) Megjelent: International Conference on Systems, Control and Informatics pp. 164-170
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[27238900] [Admin láttamozott]
    Független, Idéző: 27238900, Kapcsolat: 27238900
  5. Meriem Chibani et al. TOWARD AN ASPECT-ORIENTED SIMULATION. (2013) INTERNATIONAL JOURNAL OF NEW COMPUTER ARCHITECTURES AND THEIR APPLICATIONS 2220-9085 3 1 1-10
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23251671] [Egyeztetett]
    Független, Idéző: 23251671, Kapcsolat: 23251670
  6. Meriem Chibani et al. THE USE OF THE ASPECT ORIENTED PROGRAMMING (AOP) PARADIGM IN DISCRETE EVENT SIMULATION DOMAIN: OVERVIEW AND PERSPECTIVES. (2013) Megjelent: The Third International Conference on Digital Information Processing and Communications (ICDIPC2013) pp. 653-660
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23080300] [Egyeztetett]
    Független, Idéző: 23080300, Kapcsolat: 23251677
  7. Keith L Lee et al. Composition of bioinformatics model federations using communication aspects. (2012) Megjelent: 2012 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) pp. 1-5
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[27238899] [Egyeztetett]
    Független, Idéző: 27238899, Kapcsolat: 27238899
  8. Judicaël Ribault et al. OSIF: a framework to instrument, validate, and analyze simulations. (2010) Megjelent: 3rd International ICST Conference on Simulation Tools and Techniques
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[27238891] [Admin láttamozott]
    Független, Idéző: 27238891, Kapcsolat: 27238891
  9. Stotts David et al. Supporting Computational Systems Science: Genomic Analysis Tool Federations Using Aspects and AOP. (2008) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 4983 457-468
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[24542535] [Egyeztetett]
    Független, Idéző: 24542535, Kapcsolat: 24542535
  10. L Coquelle. Simulation de comportements individuels instinctifs d'animaux dans leur environnement. (2005)
    Disszertáció/Külföldi fokozat (nem PhD) (Disszertáció)/Tudományos[27238895] [Admin láttamozott]
    Független, Idéző: 27238895, Kapcsolat: 27238895
Gulyás L et al. The multi-agent modelling language and the model design interface. (1999) JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION 1460-7425 2 3, 162153
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[162153]
  1. Rainey Larry B. et al. Modeling and Simulation Support for System of Systems Engineering Applications. (2015) Megjelent: Modeling and Simulation Support for System of Systems Engineering Applications pp. 187-217
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[31637243] [Nyilvános]
    Független, Idéző: 31637243, Kapcsolat: 29497977
  2. Meriem Chibani et al. TOWARD AN ASPECT-ORIENTED SIMULATION. (2013) INTERNATIONAL JOURNAL OF NEW COMPUTER ARCHITECTURES AND THEIR APPLICATIONS 2220-9085 3 1 1-10
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23251671] [Egyeztetett]
    Független, Idéző: 23251671, Kapcsolat: 29842737
  3. Meriem Chibani et al. THE USE OF THE ASPECT ORIENTED PROGRAMMING (AOP) PARADIGM IN DISCRETE EVENT SIMULATION DOMAIN: OVERVIEW AND PERSPECTIVES. (2013) Megjelent: The Third International Conference on Digital Information Processing and Communications (ICDIPC2013) pp. 653-660
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23080300] [Egyeztetett]
    Független, Idéző: 23080300, Kapcsolat: 23080300
  4. Stéphane Galland. Méthodologie et outils pour la simulation multiagent dans des univers virtuels. (2013)
    Disszertáció/Külföldi fokozat (nem PhD) (Disszertáció)/Tudományos[23794328] [Admin láttamozott]
    Független, Idéző: 23794328, Kapcsolat: 23794328
  5. Alfredo Garro et al. A Process Based on the Model-Driven Architecture to Enable the Definition of Platform-Independent Simulation Models. (2013) Megjelent: Simulation and Modeling Methodologies, Technologies and Applications pp. 113-129
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23251710] [Egyeztetett]
    Független, Idéző: 23251710, Kapcsolat: 23080296
  6. Jacob Beal et al. Organizing the Aggregate: Languages for Spatial Computing. (2012) Megjelent: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments pp. 436-501
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23080220] [Admin láttamozott]
    Független, Idéző: 23080220, Kapcsolat: 23080220
  7. Márk Török et al. Agents in Multicore Realm. (2011) Megjelent: Proceedings of the 11th International Conference on Informatics 2011 pp. 213-215
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1996757] [Egyeztetett]
    Független, Idéző: 1996757, Kapcsolat: 29843085
  8. Garro A et al. easyABMS: A domain-expert oriented methodology for agent-based modeling and simulation. (2010) SIMULATION MODELLING PRACTICE AND THEORY 1569-190X 18 10 1453-1467
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23079997] [Nyilvános]
    Független, Idéző: 23079997, Kapcsolat: 23079997
  9. Torrens PM. Agent-based Models and the Spatial Sciences. (2010) GEOGRAPHY COMPASS 1749-8198 4 5 428-448
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23080280] [Nyilvános]
    Független, Idéző: 23080280, Kapcsolat: 23080280
  10. Nikolai Cynthia et al. Tools of the Trade: A Survey of Various Agent Based Modeling Platforms. (2009) JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION 1460-7425 12 2
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23080208] [Admin láttamozott]
    Független, Idéző: 23080208, Kapcsolat: 23080208
  11. Lees Michael et al. Simulation Engines for Multi-Agent Systems. (2009) Megjelent: Multi-Agent Systems pp. 77-105
    Könyvrészlet/Könyvfejezet (Könyvrészlet)/Tudományos[31866383] [Nyilvános]
    Független, Idéző: 31866383, Kapcsolat: 29842530
  12. Kl¨ugl Franziska. SeSAm. (2009) Megjelent: Multi-Agent Systems pp. 477-507
    Könyvrészlet/Könyvfejezet (Könyvrészlet)/Tudományos[31866478] [Nyilvános]
    Független, Idéző: 31866478, Kapcsolat: 29842655
  13. Isaac AG. Simulating Evolutionary Games: A Python-Based Introduction. (2008) JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION 1460-7425 11 3
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23079998] [Admin láttamozott]
    Független, Idéző: 23079998, Kapcsolat: 23079998
  14. Clemens van Dinther. Adaptive Bidding in Single-Sided Auctions under Uncertainty: An Agent-based Approach in Market Engineering. (2007) ISBN:3764380942
    Könyv/Monográfia (Könyv)/Tudományos[23080261] [Admin láttamozott]
    Független, Idéző: 23080261, Kapcsolat: 23080261
  15. M T PARKER et al. AGENT-BASED META-MODELS. (2006) Megjelent: Proceedings of the Agent 2006 Conference on Social Agents: Results and Prospects pp. 69-79
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23080301] [Admin láttamozott]
    Független, Idéző: 23080301, Kapcsolat: 23080301
  16. Benenson Itzhak et al. Let's talk objects: generic methodology for urban high-resolution simulation. (2005) COMPUTERS ENVIRONMENT AND URBAN SYSTEMS 0198-9715 1873-7587 29 4 425-453
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23080214] [Admin láttamozott]
    Független, Idéző: 23080214, Kapcsolat: 23080214
  17. Torrens PM et al. Geographic automata systems. (2005) INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SCIENCE 1365-8816 1365-8824 19 4 385-412
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23079999] [Admin láttamozott]
    Független, Idéző: 23079999, Kapcsolat: 23079999
  18. Benenson Itzhak et al. Geosimulation: object-based modeling of urban phenomena. (2004) COMPUTERS ENVIRONMENT AND URBAN SYSTEMS 0198-9715 1873-7587 28 1-2 1-8
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[31866209] [Egyeztetett]
    Független, Idéző: 31866209, Kapcsolat: 29842100
  19. Gómez-Sanz Jorge et al. A Survey on Agent-Oriented Oriented Software Engineering Research. (2004) Megjelent: Methodologies and Software Engineering for Agent Systems pp. 33-62
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23423494] [Egyeztetett]
    Független, Idéző: 23423494, Kapcsolat: 23423494
  20. Abdel Mazher. The Social Dimension Of Engineering Education. (2003) Megjelent: Proceedings of the 2003 American Society for Engineering Education Annual Conference & Exposition
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Oktatási[23080294] [Admin láttamozott]
    Független, Idéző: 23080294, Kapcsolat: 23080294
  21. T Iba. Resolving the Existing Problems by Boxed Economy Simulation Platform. (2002) Megjelent: Agent-based Approaches in Economic and Social Complex Systems pp. 59-68
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[23080295] [Admin láttamozott]
    Független, Idéző: 23080295, Kapcsolat: 23080295
  22. Charlotte Bruun. Prospect for an Economics Framework for Swarm. (2002) Megjelent: Agent-Based Methods in Economics and Finance pp. 3-35
    Könyvrészlet/Könyvfejezet (Könyvrészlet)/Tudományos[23080265] [Admin láttamozott]
    Független, Idéző: 23080265, Kapcsolat: 23080265
  23. Szergej Ivanovics Parinov. K Teorij Szetevoj Ekonomiki. (2002) ISBN:5896650620
    Könyv/Monográfia (Könyv)/Tudományos[23080297] [Admin láttamozott]
    Független, Idéző: 23080297, Kapcsolat: 23080297
  24. T Iba. Boxed Economy Simulation Platform for Agent-Based Economic and Social Modeling. (2002) Megjelent: Computational Analysis of Social and Organizational Systems
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23080293] [Admin láttamozott]
    Független, Idéző: 23080293, Kapcsolat: 23080293
  25. T Iba et al. Boxed Economy Foundation Model. (2002) Megjelent: The AAAI-02 Workshop on Multi-Agent Modeling and Simulation of Economic Systems pp. 78-83
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23080289] [Nyilvános]
    Független, Idéző: 23080289, Kapcsolat: 23080289
  26. Bruun C. Prospect for an economics framework for Swarm.. (2001) Megjelent: Agent based methods in economics and finance. Simulations in SWARM (ADVANCES IN COMPUTATIONAL ECONOMICS 17) pp. 3-38
    Könyvrészlet/Szaktanulmány (Könyvrészlet)/Tudományos[10279310] [Admin láttamozott]
    Független, Idéző: 10279310, Kapcsolat: 10279310
  27. Iba T et al. Boxed Economy Simulation Platform and foundation model. (2001) Megjelent: Computational Intelligence and Multimedia Applications, 2001. ICCIMA 2001. Proceedings. Fourth International Conference on pp. 34-38
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23080270] [Nyilvános]
    Független, Idéző: 23080270, Kapcsolat: 23080270
  28. Takashi Iba et al. Boxed Economy Foundation Model: Model Framework for Agent-Based Economic Simulations. (2001) LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 0302-9743 2253 227-236
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23080263] [Nyilvános]
    Független, Idéző: 23080263, Kapcsolat: 23080263
  29. Abel K Mazher. Toward A Unified Approach to Modeling and Computer Simulation of Social Systems: Part I: Methodology of Model Construction. (2000) Megjelent: Workshop on norms and institutions in multi-agent systems
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23080278] [Admin láttamozott]
    Független, Idéző: 23080278, Kapcsolat: 23080278
  30. Sergei Parinov. Theoretical Model of Online Community. (1999)
    Egyéb/Kutatási jelentés (közzétett) (Egyéb)/Tudományos[23080298] [Admin láttamozott]
    Független, Idéző: 23080298, Kapcsolat: 23080298
Horváth Zoltán et al. 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. Tejfel Máté. Proving Composed Specifications of Clean Programs in Sparkle-T. (2007) Megjelent: Proceedings of the 7th International Conference on Applied Informatics pp. 155-162
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1983913] [Egyeztetett]
    Független, Idéző: 1983913, Kapcsolat: 29822172
  2. 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
  3. 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
  4. 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 et al. 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. Tejfel Máté. Proving Composed Specifications of Clean Programs in Sparkle-T. (2007) Megjelent: Proceedings of the 7th International Conference on Applied Informatics pp. 155-162
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1983913] [Egyeztetett]
    Független, Idéző: 1983913, Kapcsolat: 29822194
  2. 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
László Gulyás et al. Model Design Interface–A CASE Tool for the Multi-Agent Modeling Language. (1999) Megjelent: 2nd International Conference of PhD Students pp. 97-104, 27238894
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[27238894]
  1. Lekýr M et al. Flexible models of service systems based on the ABAsim architecture. (2005) Megjelent: Simulation in Wider Europe - 19th European Conference on Modelling and Simulation, ECMS 2005 pp. 527-532
    Könyvrészlet/Tudományos[23292996] [Nyilvános]
    Független, Idéző: 23292996, Kapcsolat: 29851313
  2. Franziska Klügl. Aktivitätsbasierte Verhaltensmodellierung und ihre Unterstützung bei Multiagentensimulationen. (2000)
    Disszertáció/Külföldi fokozat (nem PhD) (Disszertáció)/Tudományos[31874017] [Egyeztetett]
    Független, Idéző: 31874017, Kapcsolat: 29851307
Horváth Zoltán et al. 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:9789634635901; 9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[21766627] [Egyeztetett]
    Független, Idéző: 21766627, 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/Konferenciaközlemény (Könyvrészlet)/Tudományos[23256702] [Nyilvános]
    Független, Idéző: 23256702, Kapcsolat: 23256702
Kozma László et al. Beyond 2000, Beyond Object-Orientation. (2000), 1822114
Egyéb/Nem besorolt (Egyéb)/Tudományos[1822114]
  1. Horvath Z et al. Parallel elementwise processable functions in concurrent clean. (2003) MATHEMATICAL AND COMPUTER MODELLING 0895-7177 1872-9479 38 7-9 865-875
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2071263] [Egyeztetett]
    Független, Idéző: 2071263, Kapcsolat: 23298255
Kozma László et al. Beyond 2000, Beyond Object-Orientation. (2001) Megjelent: Proceedings of the 5th International Conference on Applied Informatics pp. 125-134, 1804286
Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[1804286]
  1. Pataki N et al. C++ exam methodology. (2010) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117 37 211-223
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[1995741] [Egyeztetett]
    Független, Idéző: 1995741, Kapcsolat: 23254962
  2. Horvath Z et al. Parallel elementwise processable functions in concurrent clean. (2003) MATHEMATICAL AND COMPUTER MODELLING 0895-7177 1872-9479 38 7-9 865-875
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2071263] [Egyeztetett]
    Független, Idéző: 2071263, Kapcsolat: 22871721
Horváth Zoltán et al. 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:9789634635901; 9634635903
    Könyv/Felsőoktatási tankönyv (Könyv)/Oktatási[21766627] [Egyeztetett]
    Független, Idéző: 21766627, Kapcsolat: 23256705
Horváth Zoltán et al. 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 et al. Verified Mobile Code Repository Simulator for the Intelligent Space. (2010) Megjelent: Proceedings of the 8th International Conference on Applied Informatics, ICAI 2010 pp. 79-86
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1985851] [Egyeztetett]
    Független, Idéző: 1985851, Kapcsolat: 23256712
  2. Jeni L A et al. Adaptive, safe mobile robot programming in the Intelligent Space. (2009) Megjelent: Proceedings - 2009 2nd Conference on Human System Interactions, HSI '09 pp. 421-426
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1881155] [Egyeztetett]
    Független, Idéző: 1881155, Kapcsolat: 23256716
  3. Tejfel Máté et al. Verified Mobile Code Repository in the Intelligent Space. (2008) Megjelent: Proceedings of the Sixth Conference of PhD Students in Computer Science (CSCS'08) p. 60
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[3383170] [Egyeztetett]
    Független, Idéző: 3383170, Kapcsolat: 23256715
  4. Jeni A László et al. Safe Robot Control in the Intelligent Space using Mobile Code Technology. (2008) Megjelent: Proceedings of the 9th International Symposium of Hungarian Researchers on Computational Intelligence (CINTI 2008) pp. 243-254
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[2650986] [Admin láttamozott]
    Független, Idéző: 2650986, 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
Horváth Zoltán et al. 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 Mol. Reasoning about Functional Programs: Sparkle, a proof assistant for Clean. (2008)
    Disszertáció/PhD (Disszertáció)/Tudományos[23256717] [Egyeztetett]
    Független, Idéző: 23256717, Kapcsolat: 22455564
  2. Maarten de Mol 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[22455614] [Admin láttamozott]
    Független, Idéző: 22455614, Kapcsolat: 22455614
  3. Maarten de Mol 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] [Egyeztetett]
    Független, Idéző: 23256656, Kapcsolat: 22455633
Zólyomi I et al. An extension to the subtype relationship in C++ implemented with template metaprogramming. (2003) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 2830 209-227, 2395314
Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2395314]
  1. Sinkovics Abel. The connection between C++ template metaprogramming and functional programming. (2013)
    Disszertáció/PhD (Disszertáció)/Tudományos[24213435] [Nyilvános]
    Független, Idéző: 24213435, Kapcsolat: 29786166
  2. Sipos Ádám et al. EClean - An Embedded Functional Language. (2009) ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 1571-0661 238 2 47-58
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2071281] [Egyeztetett]
    Független, Idéző: 2071281, Kapcsolat: 23293065
  3. Thierry Géraud. Semantics-driven genericity: A sequel to the static C++ object-oriented programming paradigm (scoop 2).. (2008) Megjelent: 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23293072] [Admin láttamozott]
    Független, Idéző: 23293072, Kapcsolat: 23293072
  4. Slodičák Viliam et al. Tree Automata in the Mathematical Theory. (2007) Megjelent: 5th Slovakian - Hungarian Joint Symposium on Applied Machine Intelligence and Informatics (SAMI 2007) pp. 447-456
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23293075] [Egyeztetett]
    Független, Idéző: 23293075, Kapcsolat: 23293075
  5. Valerie NOVITZKÁ et al. POLYMORPHIC TYPE THEORY AS A BASE FOR CATEGORICAL LOGIC. (2007) ACTA ELECTROTECHNICA ET INFORMATICA 1335-8243 1338-3957 7 3 1-7
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23293073] [Egyeztetett]
    Független, Idéző: 23293073, Kapcsolat: 23293073
  6. Valerie Novitzká et al. Finite automata in the mathematical theory of programming. (2007) Megjelent: Proceedings of the 7th International Conference on Applied Informatics pp. 91-98
    Egyéb konferenciaközlemény/Konferenciaközlemény (Egyéb konferenciaközlemény)/Tudományos[23256661] [Egyeztetett]
    Független, Idéző: 23256661, Kapcsolat: 23293070
  7. Mihályi Daniel et al. Categorical Type Analysis for Parsing Algebras. (2007) Megjelent: 5th Slovakian - Hungarian Joint Symposium on Applied Machine Intelligence and Informatics (SAMI 2007) pp. 477-485
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23293074] [Egyeztetett]
    Független, Idéző: 23293074, Kapcsolat: 23293074
  8. Horváth Zoltán et al. Coordination Language for Distributed Clean. (2005) ACTA CYBERNETICA 0324-721X 2676-993X 17 2 247-271
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[2071286] [Egyeztetett]
    Független, Idéző: 2071286, Kapcsolat: 23293071
  9. Lahire Ph et al. MASPEGHI 2004: Mechanisms for specialization, generalization and inheritance. (2004) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 3344 101-117
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[23293066] [Egyeztetett]
    Független, Idéző: 23293066, Kapcsolat: 23293066
Horváth Zoltán et al. 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 Mol. Reasoning about Functional Programs: Sparkle, a proof assistant for Clean. (2008)
    Disszertáció/PhD (Disszertáció)/Tudományos[23256717] [Egyeztetett]
    Független, Idéző: 23256717, Kapcsolat: 22455657
Kozsik Tamás. Reasoning with Sparkle: a case study. (2004), 1658314
Egyéb/Kutatási jelentés (közzétett) (Egyéb)/Tudományos[1658314]
  1. Horváth Zoltán et al. Verification of Functional Skeletons. (2004) Megjelent: 5th Joint Conference on Mathematics and Computer Science p. 48
    Egyéb konferenciaközlemény/Absztrakt / Kivonat (Egyéb konferenciaközlemény)/Tudományos[2093685] [Admin láttamozott]
    Független, Idéző: 2093685, Kapcsolat: 29784730
Gulyás László et al. The Multi-Agent Simulation Suite (MASS) and the Functional Agent-Based Language of Simulation (FABLES). (2005), 1962633
Egyéb/Nem besorolt (Egyéb)/Tudományos[1962633]
  1. Alfredo Garro et al. A Process Based on the Model-Driven Architecture to Enable the Definition of Platform-Independent Simulation Models. (2013) Megjelent: Simulation and Modeling Methodologies, Technologies and Applications pp. 113-129
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23251710] [Egyeztetett]
    Független, Idéző: 23251710, Kapcsolat: 23251710
  2. Márk Török et al. Agents in Multicore Realm. (2011) Megjelent: Proceedings of the 11th International Conference on Informatics 2011 pp. 213-215
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[1996757] [Egyeztetett]
    Független, Idéző: 1996757, Kapcsolat: 29784374
Lőrincz László Csaba et al. 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. Kannan G. et al. 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] [Egyeztetett]
    Független, Idéző: 23804329, Kapcsolat: 23804329
  2. Ajanta De Sarkar 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] [Egyeztetett]
    Független, Idéző: 23256718, Kapcsolat: 23256718
  3. Sarkar AD et al. 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] [Egyeztetett]
    Független, Idéző: 27183506, Kapcsolat: 27183506
  4. Ján Kollár. Structural Proposition for Aspect Oriented Software Evolution. (2006) Megjelent: Proceedings of the Seventh International Scientific Conference Electronic Computers and Informatics pp. 180-185
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23256654] [Admin láttamozott]
    Független, Idéző: 23256654, Kapcsolat: 23256720
  5. Porubän Jaroslav et al. 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/Konferenciaközlemény (Könyvrészlet)/Tudományos[22786899] [Admin láttamozott]
    Független, Idéző: 22786899, Kapcsolat: 29741300
  6. Lipovits Á et al. 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 Cs 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 et al. Data Decomposition in Biomedical e-Science Applications. (2011) Megjelent: The Seventh IEEE International Conference on e-Science Workshops pp. 158-165
    Könyvrészlet/Konferenciaközlemény (Könyvrészlet)/Tudományos[23256480] [Egyeztetett]
    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 COMPUTER SCIENCE 0302-9743 1611-3349 5331 886-897
    Folyóiratcikk/Szakcikk (Folyóiratcikk)/Tudományos[22654454] [Egyeztetett]
    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
2021-10-27 19:37