Δημοσιεύσεις

Βιβλία – Έκδοση Συλλογικών Τόμων :

  1. Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca :  Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 – Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) Decision CAMP 2019 (Decision CAMP 2019), Bolzano, Italy, September 16-24, 2019 . CEUR Workshop Proceedings 2438, CEUR-WS.org 2019 
  2. Lampropoulou, P. Stefaneas, D. Theodorou, L. Kauffman (Eds.), “Algebraic Modeling of Topological and Computational Structures and Applications”, THALES, Athens, Greece, July 1– 3, 2015, Springer Proceedings in Mathematics & Statistics (PROMS), Vol. 219; 2017.
  3. Morgenstern, P. Stefaneas, F. Levy, A. Wyner, A. Paschke (Eds.), “Theory, Practice, and Applications of Rules on the Web – 7th International Symposium, RuleML 2013”, Seattle, WA, USA, July 11-13, 2013. Proceedings. Lecture Notes in Computer Science 8035, Springer 2013.

Άρθρα σε περιοδικά στη διαδικασία κρίσης :

  1. Almpani, A. Gatzounis, P. Stefaneas, Modeling argumentation and concurrent reasoning in multi-agent goal-driven proving.
  2. Pitsiladis, C. Koutras and P. Stefaneas, On the specification of smart contracts in Temporal Type Theory.
  3. Couillault, K. Zdravkova, S. Almpani, T. Mitsikas and P. Stefaneas, Evaluating Privacy Notices: Introducing the PET score for ethical scoring.

 Άρθρα σε περιοδικά με κριτές :

  1. Dimarogkona, P. Stefaneas and N. Angius, A meta-logical framework for Philosophy of Science (έχει γίνει δεκτό στο Philosophies και αναμένεται να δημοσιευτεί το 2025). 
  2. D. Zafeirakopoulos and P. Stefaneas, Towards Responsible AI: A Framework for Ethical Design utilizing Deontic Logic (έχει γίνει δεκτό στο International Journal on Artificial Intelligence Tools και αναμένεται να δημοσιευτεί το 2025).
  3. Almpani, P. Stefaneas and M. Chakraborty, A dualistic interpretation of mathematical creation through art and argumentation (έχει γίνει δεκτό στο Humanistic Mathematics και αναμένεται να δημοσιευτεί το 2025). 
  4. Ν. Angius and P. Stefaneas, The Logical Structure of Modular Semantic Theories of Software Systems. Metaphilosophy, pp 440-456, Wiley vol55 (3) 2024.
  5. Dazea and P. Stefaneas, An Explainable AI Model for ICU admission prediction of COVID-19 patients. International Journal on Artificial Intelligence Tools 32 (07) Article No. 2350031, World Scientific 2023.
  6. Almpani and P. Stefaneas, Bridging Informal Reasoning and Formal Proving: The Role of Argumentation in Proof-Events. Foundations of Science, 1-25, (9), Springer 2023.
  7. G. Pitsiladis and P. Stefaneas, A logical framework to model software development by multiple agents following a common specification Journal of Logic and Computation, 1-23 (6) Oxford 2023.
  8. Almpani, P. Stefaneas and I. Vandoulakis, Formalization of Mathematical Proof Practice Through an Argumentation-Based Model. Axiomathes 33 (3):1-28, Springer 2023.
  9. Almpani, P. Stefaneas, and P.Frangos. Formalization of Ethical Decision Making: Implementation in the Data Privacy of Wearable Robots. International Journal of Extreme Automation and Connectivity in Healthcare (IJEACH), 5(1), 1-13.2023.
  10. Almpani, Y. Kiouvrekis, P. Stefaneas, P. Frangos: Computational Argumentation for Medical Device Regulatory Classification.International Journal on Artificial Intelligence Tools 31(1): 2250005:26, pp 1-28, World Scientific 2022.
  11. D. Serakioti and P.Stefaneas, Ambiguity in Argumentation: The Impact of Contextual Factors on Semantic Interpretation, Studia Humana 11 (3-4) pp, 18-24, 2022.
  12. Almpani, P. Stefaneas and P. Frangos, “Argumentation-Based Logic for Ethical Decision Making” Studia Humana, vol.11, no.3-4, pp.46-52 2022.
  13. Konstantinos Barlas Petros Stefaneas An Algebraic Speciifcation / Schema for JSON Journal of Engineering Research and Sciences, Volume 1, Issue 5, Page # 243-250, 2022
  14. Zafeirakopoulos, S. Almpani, P. Stefaneas, Applications of Deontic Logic to Wearable Robots, Special Issue Electronic Communications of the EASST 81 11 2022.
  15. Zafeirakopoulos and P. Stefaneas, Remarks on Deontic Logic and Artificial Intelligence, Algebra and Model Theory 13, pp 9-26, Novosibirsk, 2021.
  16. Stefaneas, A Novel Tool for Social Media Narratives, The Polish Journal of Aesthetics, pp 193-205 62 (3/2021).
  17. Almpani, T. Mitsikas, P. Stefaneas and P. Frangos, “ExosCE: A legal-based computational system for compliance with exoskeletons’ CE marking”, Paladyn, Journal of Behavioral Robotics; (11): 414–427, de Gruyter 2020.
  18. Kiouvrekis, P. Stefaneas and S. Sudoplatov, “Lattices in generatice classes”, Sib. Electronic Math. Reports (16): 1752-1761, 2019.
  19. Bournazos and P. Stefaneas, “On arguments, fallacies and critical validity”, Algebra and Model Theory (12): 47-54, 2019 [special issue Erlagol 2019]
  20. Almpani, P. Stefaneas, H. Boley, T. Mitsikas and P. Frangos, “A Rule-Based Model for Compliance of Medical Devices Applied to the European Market”, in International Journal of Extreme Automation and Connectivity in Healthcare (IJEACH), IGI Global, 1(2): 1-23, 2019.
  21. Kiouvrekis, P. Stefaneas and S. Sudoplatov, “Definable Sets in Generic Structures and their Cardinalities” S.V. Sib. Adv. Math. 28 (1) : 39-52, Springer 2018.
  22. Barlas, E. Berki, P. Stefaneas and G. Koletsos, “Towards formal open standards: formalizing a standard’s requirements” Innovations in Systems and Software Engineering, A NASA Journal,13(1): 51-66, Springer 2017.
  23. Ksystra and P. Stefaneas, “Formal analysis and verification for reactive rule-based Web agents”. International Journal of Web Information Systems 12(4): 418-447, 2016.
  24. C. Fernandes, A. Alencar, E. Schmitz, M. da Silva and P. Stefaneas, “Evaluation of Agile Software Projects in the Public Sector: A literature review”. Journal of Software 11(3): 312-325, 2016. [Review paper]
  25. Mamakos and P. Stefaneas, “Conciousness reframed” Technonoetic Arts, 14(3): 169-176, Intellect Journals, 2016.
  26. Ksystra, P. Stefaneas and P. Frangos, “An algebraic Framework for the verification of context-aware adaptive systems” International Journal of Software Engineering and Knowledge Engineering 25(7): 1105-1128, World Scientific 2015.
  27. Stefaneas and I. Vandoulakis, “On Mathematical Proving”. Journal Artificial General Intelligence 6(1): 130-149, 2015.
  28. de Faria, E. A. Schmitz, A. Alencar, M. F da Silva and P. Stefaneas, “Analyzing IT Governance Initiatives with Game Theory: A Literature Review”. Journal of Software 10(9): 1056-1069, 2015. [Review paper]
  29. Kiouvrekis and P. Stefaneas, “Topological Semantics in Institutions with Proofs” Algebra and Model Theory. Collection of papers eds.: A.G. Pinus, K.N. Ponomaryov, S.V. Sudoplatov, and E.I. Timoshenko. (10): 92-100, Novosibirsk: NSTU 2015.[special issue Erlagol 2015].
  30. Ouranos, K. Ogata and P. Stefaneas, “TESLA source authentication protocol verification experiment in the Timed OTS/CafeOBJ method: Experiences and Lessons Learned”. IEICE Transactions,97-D(5): 1160-1170, Oxford 2014.
  31. Stefaneas and I. Vandoulakis, “Proofs as spatio-temporal processes” Philosophia Scientiae, 19(1): 111-128, 2014.
  32. Malamou, C. Pandis, P. Frangos, P. Stefaneas, A. Karakasiliotis and D. Kodokostas, “Application of the Modified Signature Method for Terrain Classification from Synthetic Aperture Radar Images” ELEKTRONIKA IR ELEKTROTECHNIKA, 20 (6): 118-121 2014.
  33. Vandoulakis and P. Stefaneas, “Proof events in history of mathematics” Ganita Bharati: Bulletin of the Indian Society for History of Mathematics, 35 (1-2): 119-157, MD Publications, New Delhi, 2013.
  34. Dimarogkona and P. Stefaneas, “Semantic Networks and the Theory of Institutions”. Algebra and Model Theory. Collection of papers eds.: A.G.Pinus, K.N.Ponomaryov, S.V.Sudoplatov, and E.I.Timoshenko. Novosibirsk: NSTU, (9): 8-18, 2013.[special issue Erlagol 2013]
  35. Tsiavos, P. Stefaneas, and T. Karounos, “The Transposition of European Union Open Data/Public Sector Information Policies in Greece: A Critical Analysis”. Policy & Internet, (5), no. 4: 402-418, Wiley 2013.
  36. Triantafyllou, P. Stefaneas and P. Frangos, “An Algorithm for Allocating User Requests to Licenses in the OMA DRM System”. IEICE Transactions 96-D (6): 1258-1267, Oxford 2013.
  37. Triantafyllou,  K. Ksystra, P. Stefaneas and P. Frangos, “Proof Carrying Code using Algebraic Specifications”, Journal of Applied Mathematics & Bioinformatics, vol.3, no.1, 43-56, 2013.
  38. Stefaneas and I. Vandoulakis, “The Web as a tool for proving”. Metaphilosophy, 43 (4): 480-498, Wiley-Blackwell, 2012.
  39. Barlas, G. Koletsos, P. Stefaneas and I. Ouranos, “Towards a correct Translation from ASN.1 into CafeOBJ”, Special Issue on Innovations in Intelligent Systems and Applications of the International Journal of Reasoning-based Intelligent Systems  (2): n. 3-4 : 300-309, 2010.
  40. Ι. Ouranos, P. Stefaneas and Frangos, “An Algebraic Framework for Modeling of Mobile Systems”. IEICE Transactions 90-A(9): 1986-1999, Oxford, 2007.
  41. Diaconescu and P. Stefaneas, “Ultraproducts and possible worlds semantics in institutions”. Theoretical Computer Science 379 no 1-2, 210-230. Elsevier, 2007.
  42. Diaconescu and P. Stefaneas, “Modalities in Open Institutions with Concrete Syntax” Bulletin of the Greek Mathematical Society, (49): 89-99, 2004.
  43. Georgiou and P. Stefaneas, “Strategies for Accelerating the Worldwide Adoption of e-Commerce”, Communications of the ACM, Vol.45 (4)ve, 145-151, 2002.
  44. Stefaneas, “Chartering second order logic”. Romanian Academy- Journal of Information Science and Technology, (2): 157 – 172, 2000.
  45. Stefaneas, Chartering modal logic, An. Univ. Buc. Mathematics Informatics (48): 89 – 100, 1999.
  46. Stefaneas Chartering first order logic. An. Univ. Buc. Mathematics Informatics (47): 13 – 28, 1998.
  47. Stefaneas, “A note on Eisenstein’s criterion”. Bull. Greek Math. Soc. (37): 97 – 101, 1995.

Άρθρα σε συνέδρια με κρίση στο πλήρες άρθρο – Συλλογικοί Τόμοι :

  1. Gkantzounis and P. Stefaneas, Topological Inquiry in Abstract Model Theory, έχει γίνει δεκτό στο STAF pp. 16,  LNCS 2024.
  2. Ε. Plithas, Α. Gkantzounis and P. Stefaneas, Ontological Neutrality: The Square of Opposition and Abstract Model Theory (θα περιληφθεί σε τόμο στη σειρά Logica Universalis) pp. 15, Birkhäuser 2024.
  3. Pitsiladis and P. Stefaneas, Converting BPMN Diagrams to Privacy Calculus, Proc. Working Formal Methods Symposium (FROM), pp 16, Electronic Proceedings in Theoretical Computer Science 2024.
  4. Gouvatsou, D. Pantazatos, M. Grammatikou, V. Maglaris and P. Stefaneas  Analysing User Engagement in e-Learning Platforms: A Machine Learning Approach to Web Analytics, pp 12, ICL 2024.
  5. Moutafis, A. Andreatos and P. Stefaneas, Spam Email Detection Using Machine Learning Techniques, European Conference on Cyber Warfare and Security 22 (1), 303-310, 2023.
  6. Serakioti and P. Stefaneas, Linguistic depiction through mathematical diagrams: challenges and prospects, International Conference “Semiotics across and in between’, 1-12, 2023.
  7. Ksystra, M. Dimarogkona, N.Triantafyllou, P. Stefaneas and P. Kavassalis:
    Towards a Methodology for Formally Analyzing Federated Identity Management Systems.ISoLA (4) 382-405, LNCS 2022.
  8. Almpani, Y. Kiouvrekis and P. Stefaneas: Modeling of Medical Devices Classification with Computational Argumentation.IISA : 1-6, 2021.
  9. Stefaneas, On post-truth and correctness over the Web.WebSci (ACM Companion) 2021: 67-68, 2021.
  10. Nousias, A. Couillault, S. Almpani, T. Mitsikas, P. Stefaneas:
    From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper).SETN Workshops : 131-132, 2020.
  11. Ouranos, P. Stefaneas, K. Ogata: Towards algebraic specification and verification of airport baggage handling systems algorithms. pp 6, Proc. 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021).
  12. Zafeirakopoulos, P. Stefaneas: Remarks on the Ethical Behavior of Artificial Intelligence (short paper).SETN Workshops 2020: 123-125, 2020.
  13. Kiouvrekis, P. Stefaneas and I. Vandoulakis, “On the transformations of the square of opposition from the point of view of Institution Model Theory, Studies of Universal Logic Book Series, The Birkhauser.
  14. Zafeirakopoulos and P. Stefaneas, “Remarks on the Ethical Behaviour of Artificial Intelligence” Artificial Intelligence, Law and Ethics, SETN 2020, 11th EETN Conference on Artificial Intelligence
  15. Barlas and P. Stefaneas, “An algebraic schema for JSON” [Short paper], Proc. 24th Panhellenic conference on Informatics, 2020.
  16. Deryck, T. Mitsikas, S. Almpani, P.Stefaneas, P.Frangos, I. Ouranos, H.Boley, J.Vennekens “Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP”, Proceedings RuleML+RR 2019, P. Fodor et al. (eds) Lecture Notes Computer Science 11784, 52-66,, Springer 2019.
  17. Dimarogkona, M. Addis, and P. Stefaneas, “Syntax, Semantics and the Formalization of Social Science Theories”, Chapter 9, M. Addis, Lane, P.C.R., D Sozou, P., Gobet, F. (eds.), Scientific Discovery in the Social Sciences, (413): 141-154, Springer Synthese Library, 2019.
  18. V. Pitsiladis, P. S. Stefaneas, Implementation of Privacy Calculus and Its Type Checking in Maude. Proceedings Part II. Leveraging Applications of Formal Methods, Verification and Validation. Verification – 8th International Symposium ISoLA, Limassol, Cyprus, November 5-9, 2018, Tiziana Margaria and Bernhard Steffen (eds). Lecture Notes in Computer Science 11245, 477-493 Springer 2018.
  19. Alpmani, P.Stefaneas, H. Boley, T. Mitsikas, P. Frangos:Object-Relational Rules for Medical Devices: Classification and Conformity.Proceedings Valetta, Malta, October 22-26, 2018  Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman (eds.) Lecture Notes in Computer Science 11230, 584-591 Springer 2018. 
  20. Mitsikas, S. Almpani, P. Stefaneas, P.Frangos, I. Ouranos: Formalizing Air Traffic Control Regulations in PSOA RuleML.Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), Luxembourg, September 20-26, 2018. Wolfgang Faber, Paul Fodor, Giovanni De Gasperis, Adrian Giurca, Kia Teymourian (eds.): CEUR Workshop Proceedings 2204, CEUR-WS.org 2018, (9) 1-14, 2018.
  21. Almpani, P. Stefaneas, H. Boley, T.Mitsikas, P.Frangos: Computational Regulation of Medical Devices in PSOA RuleML.Rules and Reasoning – Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings.Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman (eds) Lecture Notes in Computer Science 11092, 203-210, Springer 2018.
  22. Dimarogkona and P. Stefaneas, Institutions and Computer Ethics , Cryptography, Cyber-Security and Information Warfare, (Ed. N. J. Darras), Cybercrime and Cybersecurity Research Series, Chapter 6, 1-20, Nova Science Publishers, NY 2018.
  23. V. Sudoplatov, Y.Kiouvrekis and P.Stefaneas. Generic constructions and generic limits, in Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.), 375 – 398, Springer PROMS 2017.
  24. Almpani, A. Gantzounis, and P. Stefaneas,Zero-Knowledge Proof Events: Ali Baba’s cave, Proceedings ISSC 2018, Logics of Image, Visual Learning, Logic and Philosophy of Form in East and West, Kolymbari, Crete, August 2018 (to appear at a special issue of Symmetry Journal).
  25. Mitsikas, P. Stefaneas, and I. Ouranos.A Rule-Based Approach for Air Traffic Control in the Vicinity of the Airport, in Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.),  423 – 438, Springer PROMS 2017.
  26. Almpani, P. Stefaneas: “On Proving and argumentation”.Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition, AIC 2017, Larnaca, Cyprus, November 1-3, 2017. I.-A.Diakidoy, A. C. Kakas, A.Lieto, L. Michael (eds.) CEUR Workshop Proceedings 2090, CEUR-WS.org 2018.
  27. Almpani, P. Stefaneas, I. Vandoulakis, “On the role of argumentation in discovery proof events”, C3GI Madrid 2017 Proceedings of the Sixth International Workshop on Computational Creativity, Concept Invention, and General Intelligence(C3GI 2017)Madrid, Spain, December 15, 2017. Edited by Carlos Leon, Oliver Kutz and Tarek R. Besold. CEUR Workshop Proceedings 2090, 72-84, CEUR-WS.org 2018.
  28. Mitsikas, N. Spanoudakis, P. Stefaneas and A. Kakas. “From Natural Language to Argumentation and Cognitive Systems”Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition, AIC 2017, Larnaca, Cyprus, November 1-3, 2017.I.-A.Diakidoy, A. C. Kakas, A.Lieto, L. Michael (eds.) CEUR Workshop Proceedings2090, CEUR-WS.org 2018, 55-57. Also, Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, COMMONSENSE 2017, A. S. Gordon, R. Miller, G.Turán (Eds) London, UK, November 6-8, 2017. CEUR Workshop Proceedings 2052, CEUR-WS.org 2018.
  29. Ksystra, N. Triantafyllou, P. Stefaneas, “Combining Algebraic Specifications with FirstOrder Logic via Athena”, Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.), 399 – 422, Springer PROMS 2017.
  30. Angius, M. Dimarogkona, and P. Stefaneas, “Building and Integrating Semantic Theories over Institutions “, Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.), 363 – 374, Springer PROMS 2017.
  31. Stefaneas, On Legal Semantic Theories, Festschrift fur Johannes Strangas, jus, ars, philosophia et historia, 385 – 389, NOMOS, Baden Baden 2017.
  32. Kiouvrekis, P. Stefaneas, A.Kokkinaki, and N.Asimakis. “Limiting the impact of statistics as a proverbial source of falsehood”. Proceedings – 15th European, Mediterranean, and Middle Eastern Conference on Information Systems, EMCIS 2018 433-442 Vol. 341. Lecture Notes in Business Information Processing, Springer 2018.
  33. Kalampakas, N. Triantafyllou, K. Ksystra and P. Stefaneas “A Formal Representation of Video Content with the Picture Hyperoperation” Algebraic Modeling of Topological and Computational Structures and Applications, THALES, S. Lambropoulou, D. Theodorou, P. Stefaneas, L.H. Kauffman, L.H. (Eds.), 447 – 451 Springer PROMS 2017.
  34. J. Alencar, M. P. Bastos, E. A. Schmitz, M. F. da Silva and P. Stefaneas, Chapter 19 “Maximizing the Return on Investment in Big-Data Projects: An Approach Based upon the Incremental Funding of Project Development” in Kuan-Ching Li, Hai Jiang, Albert Y. Zomaya (Org.) Big Data Management and Processing, Florida CRC, 385-402 Taylor and Francis, 2017.
  35. Vandoulakis and P. Stefaneas, Mathematical Proving as multi agent spatio-temporal activity, Boris Chendov (ed.) Modeling, Logical and Philosophical Aspects of Foundations of Science, Proceedings of the round table on “Methodology of Mathematical Modeling and of Applications of Logical Systems in Scientific Knowledge”, 23rd World Conference on Philosophy (Athens, 2013), Vol 1, 1-14, LAP LAMBERT Academic Publishing 2016.
  36. Stefaneas and I. Vandoulakis, “On Mathematical Style and its Communicative Functions”, Proceedings, Unilog 2015, Publications of the Institute of Cognitive Science, Osnabruck University, pp. 70-80, Volume 2 – 2015. Also, (another version), Proceedings 2nd International Conference on Science, Technology and Art Relations (STAR), 228-245, Tel Aviv AEAI 2014.
  37. Stefaneas, I. Vandoulakis, H. Foundalis and M. Martinez, “Collective Discovery Events: Web-Based Mathematical problem-solving with Codelets”, Computational Creativity Research: Creative Machines. Tarek R. Besold, Marco Schorlemmer, Alan Smaill (eds.), 371-372. Atlantis Press, Springer 2015 (extended version of C3GI – ECAI paper).
  38. Angius and P. Stefaneas, “Discovering Empirical Theories of Modular Software Systems. An Algebraic approach”. Müller, Vincent C. (ed.) Computing and Philosophy: Proceedings of IACAP 2014, 99-115 Synthese Library, Springer: Berlin 2016.
  39. Triantafyllou,K. Ksystra, P. Stefaneas, A. Kalampakas, “Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics”. Proceedings SMAP, Corfu 6-7 November 2014, 48-53, IEEE 2014.
  40. Ksystra,N. Triantafyllou and P. Stefaneas, “On Verifying Reactive Rules Using Rewriting Logic”. Proceedings RuleML 2014. Antonis Bikakis, Paul Fodor, Dumitru Roman (Eds.): Rules on the Web. From Theory to Applications – 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, 67-81, Proceedings. LNCS Springer 2014.
  41. Triantafyllou, K. Ksystra and P. Stefaneas, “On the Algebraic Specification and Verification of Parallel Systems” T. Margaria and B. Steffen (eds): Proceedings IsoLa 2014, Part II, LNCS 8803, 623-624, Springer 2014.
  42. Kalambakas, N. Triantafyllou, K. Ksystra and P. Stefaneas, “The picture hyperoperation” 12th AHA (Algebraic Hyperstructures Association) Conference, Xanthi, Greece, Sept. 2014 [accepted].
  43. Mamakos, P. Stefaneas, M. Dimarogkona and J. Paine, “Polytropos project: Experiments in Blending” Proceedings 3rd International Workshop on Computational Creativity, Concept Invention and General Intelligence (C3GI) – European Conference on Artificial Intelligence, Prague, Czech Republic, Eds: T. Besold, K.-U. Kühnberger, M. Schorlemmer & A. Smail University of Osnabruk, Publications of the Institute of Cognitive Science, vol. 1, 61-66, August 2014.
  44. Ksystra, P. Stefaneas, and P. Frangos, “An Algebraic Framework for Modeling of Reactive Rule-based Intelligent Agents”. Proceedings 40th International Conference on Current Trends in Theory and Practice of Computer Science, SofSEM,January 25-30, 2014 Nový Smokovec, High Tatras, Slovakia. Viliam Geffert,Bart Preneel, Branislav Rovan, Julius Stuller, A Min Tjoa (Eds). 407-418, Lecture Notes in Computer Science, Springer 2014. 
  45. Stefaneas, I. Ouranos, N. Triantafyllou and K. Ksystra, “Some Engineering Applications of the OTS/CafeOBJ Method”. Specification, Algebra, and Software. A Festschrift Symposium in Honor of KokichiFutatsugi (SAS 2014) 2014 Kanazawa, Japan. eds: S. Iida, J. Meseguer, K. Ogata, 541-559, Springer LNCS Festschrift 2014.
  46. Ouranos and P. Stefaneas. “Towards a Protocol Algebra Based on Algebraic Specifications”. Software Engineering Research, Management and Applications, Roger Y. Lee (Ed.) [selected papers from the 11th International Conference on Software Engineering Research, Management and Applications, SERA 2013, Prague, Czech Republic, August 7-9, 2013]. 85-98. Studies in Computational Intelligence. Springer 2014.
  47. Malamou, C. Pandis, A. Karakasiliotis, P. Stefaneas, E. Kallitsis and P. Frangos, “SAR Imaging: An auto-focusing method for improving image quality and MFS image classification technique” in “Applications of Mathematics and Informatics in Science and Engineering”, Springer Optimization and its applications (SOIA) Volume 91,199-215, Springer 2014.
  48. Malamou, C. Pandis, P. Frangos and P. Stefaneas, “SAR Image terrain classification using the MFS method” Proceedings Conference on Communications, Electromagnetics and Medical Applications (CEMA), 16-18th October 2014. 1-5, D. Dimitrov (Ed.) Technical University of Sofia, Bulgaria.
  49. Dimarogkona and P. Stefaneas, “Compurer Ethics, Information and Institutions”, Proceedings ISSC, Symmetry 2016 [accepted].
  50. Vandoulakis and P. Stefaneas, “Conceptions of proof in mathematics”. Proceedings of the Moscow Seminar on Philosophy of Mathematics. In Proof. Evidence, reliability and convincingness, URSS, Moscow, BazhanovV.A., Krichevech A.N.,  Shaposhnikov V.A.(Ed.), 256-281, 2013.
  51. Malamou, C. Pandis, A. Karakasiliotis, P. Stefaneas, D. Kodokostas and P. Frangos, “Application of an Autofocusing Algorithm for SAR Image Quality Improvement and Application of the Modified Fractal Signature (MFS) Method for SAR Image Classification for the case of Real Radar Data’, Proceedings CEMA’13 Conference, Technical University of Sofia, Bulgaria, October 2013. D. Dimitrov (Ed.), 108 – 111, KING, Sofia, 2013.
  52. Mamakos and P. Stefaneas, “Polytropos project: a mechanism for new media”. Proceedings of the 9th Interdisciplinary Symmetry Congress-Festival of ISIS-Symmetry (International Society for the Interdisciplinary Study of Symmetry), Special issue [1-4] of the Journal Symmetry: Art and Science. International Society for the Interdisciplinary Study of Symmetry. Budapest and Melbourne. 230-235, 2013.
  53. Theologou and P. Stefaneas, “Digital symmetries of the web and postmodern identities”. Proceedings of the 9th Interdisciplinary Symmetry Congress-Festival of ISIS-Symmetry (International Society for the Interdisciplinary Study of Symmetry), Special issue [1-4] of the Journal Symmetry: Art and Science.International Society for the Interdisciplinary Study of Symmetry. Budapest and Melbourne, 322-325, 2013.
  54. Ouranos, K. Ogata and P. Stefaneas, “Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method”. Tiziana Margaria, Bernhard Steffen (Eds.): Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies – 5th International Symposium, ISoLA 2012, Heraklion, Crete, October 15-18, 2012, Part II. Lecture Notes in Computer Science. Proceedings ISoLA (2) 2012: 126-142, Springer 2012.
  55. Ksystra, N. Triantafyllou and P. Stefaneas, “On the Algebraic Semantics of Reactive Rules”. Antonis Bikakis, Adrian Giurca (Eds.): Rules on the Web: Research and Applications – 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings RuleML 2012: 136-150, Lecture Notes in Computer Science. Springer 2012.
  56. Ksystra, N. Triantafyllou, P. Stefaneas and P. Frangos, “Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications”. Proceedings SMAP 2012: 81-86. Seventh International Workshop on Semantic and Social Media Adaptation and Personalization, SMAP 2012, Luxembourg City, Luxembourg, December 3-4, 2012. IEEE 2012.
  57. Vafopoulos, P. Stefaneas, I. Anagnostopoulos and K. O’Hara: A methodology for internal Web ethics. In WWW2012, PhiloWeb 2012.Proceedings of the WWW 2012 conference workshop PhiloWeb 2012: “Web and Philosophy, Why and What For?” Lyon, France, Apr 17, 2012. Edited by Alexandre Monnin, Harry Halpin and Leslie Car. pp 1-9.
  58. Pandis, A. Malamou, P. Stefaneas and P. Frangos, ‘Applying the modified fractal signature method to image classification : some preliminary results for ISAR radar images’, Proceedings CEMA’12 International Conference, National Technical University of Athens (NTUA), Athens, Greece, 8 – 10/11/2012. CEMA’12, Athens : Edit. Co. KING 2001, Sofia, ISSN : 1314-2100. Responsible for the edition : Prof. D. Dimitrov, pp. 50 – 52.
  59. Ksystra, N. Triantafyllou, K. Barlas and P. Stefaneas, “An Algebraic Specification of Social Networks”, Proceedings Software Quality Management Conference XX, Editors: E. Berki, J. Valtanen, P. Nykanen, M. Ross, G. Staples, K. Systa, British Computer Society Quality SG SQM/INSPIRE Conference, Tampere, Finland, 135-146, 2012 [best student paper].
  60. Stefaneas, I. Vandoulakis, H. Foundalis and M. Martinez, “Web-Based Mathematical problem-solving with Codelets”, Proceeding of the Workshop “Computational Creativity, Concept Invention, and General Intelligence (C3GI) ECAI-2012, Montpellier, France, August 27, 2012. Tarek R. Besold, Kai-Uwe Kuhnberger, Marco Schorlemmer, Alan Smaill (eds.), 41-44. Publications of the Institute of Cognitive Science, Volume 1 – 2012. Osnabruck, Germany, 2012.
  61. Barlas, P. Stefaneas and G. Koletsos, Extending standards with formal methods: Open Document Architecture, Proceedings INISTA 2012. 2-4 July Trabzon, Turkey, 1– 5, 2012 IEEE Conference Publications.
  62. Tsiavos, P. Stefaneas and T. Karounos, Financial Crisis and The Promised Land of Open Data. ‘IPP2012: Big Data’Oxford Internet Institute 2012. [A shorter version (abstract) had been accepted at PMOD (Brussels 19-20 June 2012) organized by W3C and JRC-IPTS].
  63. Pappas and P. Stefaneas, “On legal documents and formal methods”. 5th ICIL 2012 – Equity, Integrity & Beauty in Information Law & Ethics. Corfu 2012, [accepted and presented].
  64. Triantafyllou, K. Ksystra, P. Stefaneas and P. Frangos, “Applying Algebraic specifications to Digital Rights Management Systems”, in Andrew V. Jones (Ed.): Proceedings of the 1st Imperial College Student Workshop (ICCSW ʻ11), 94–100. September 29th–30th 2011, London UK.
  65. Stefaneas “On Scientific Theories and Abstract Model Theory”3rd EPSA 2011 (3rd Conference of the European Philosophy of Science Association), Athens, 5-8 October 2011. Another version published as “On Scientific Theories and Institutions”, Proceedings 8th Panhellenic Logic Symposium, Ioannina, 4-8 July, 2011.
  66. Tsiavos and P. Stefaneas, “Hybrid Models for Open Digital Archives: Necessity?” International Seminar on Information Law [accepted, 2011]. Also, at  https://arxiv.org/abs/1109.0680,
  67. Ouranos, P. Stefaneas, and K. Ogata, “Formal Modelling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method” T. Margaria and B. Steffen (Eds): Proceedings ISoLA 2010, Part I, LNCS, 75-89, 2010, Springer-Verlag Berlin Heidelberg 2010.
  68. Triantafyllou, P. Stefaneas, Iakovos Ouranos and Panayiotis Frangos, “Formal specification and verification of the OMA License Choice Algorithm in OTS/CAFEOBJ method”, R. F. S. Caldeirinha and M. S. Obaidat (Eds.): Proceedings WINSYS 2010 – International Conference on Wireless Information Networks and Systems, 173 – 180, SciTePress 2010. Also, (after selection) at M.S. Obaidat, G.A. Tsihrintzis, and J. Filipe (Eds.): ICETE 2010, CCIS 222, 424–438, 2011. Springer-Verlag Berlin Heidelberg 2011. [best student paper]
  69. Ksystra, P. Stefaneas, I. Ouranos and P. Frangos, “A parallel version of the MPEG-2 encoding algorithm formally analyzed using algebraic specifications” George A. Tsihrintzis, Maria Virvou (Eds.): Proceedings SIGMAP 2010 – International Conference on Signal Processing and Multimedia Applications, 35 – 38, SciTePress 2010.
  70. Stefaneas, “On Formal Methodologies for Computer Supported Computer Ethics”. In M. Botti ed. Proceedings Third International Seminar on Information Law 2010 – An Information Law for the 21st Century, 485-489, Nomiki Vivliothiki, 2011.
  71. Ksystra, P. Stefaneas, N. Triantafyllou and I. Ouranos, “An Algebraic Specification for the MPEG-2 Encoding Algorithm”, Fourth SEE Workshop on Formal Methods, 46-52, IEEE Computer Society CPS, 2009.
  72. Barlas, G. Koletsos, P. Stefaneas and I. Ouranos, “From ASN.1 into CafeOBJ: Some first steps”, Fourth SEE Workshop on Formal Methods, pp 66-72, IEEE Computer Society CPS, 2009. Also presented as part of “Towards a correct Translation from ASN.1 into CafeOBJ” Proceedings International Symposium on Innovations in Intelligent Systems and Applications (INISTA), 141-145, Trabzon, Turkey, 2009.
  73. Triantafyllou, I. Ouranos and P. Stefaneas, “Algebraic Specifications for OMA REL Licenses”, 5th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WIMOB 2009, Proceedings, IEEE Computer Society, 376 – 381, Marrakech 2009.
  74. Ouranos and P. Stefaneas, “Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques”, Proceedings 3rd Conference on Algebraic Informatics, Thessaloniki, Lecture Notes Computer Science 4728, 247- 259, Springer 2007.
  75. Ouranos, P. Stefaneas and P. Frangos, “A Formal Specification Framework for Ad Hoc Mobile Communication Networks”. Proceedings SOFSEM (2), 91-102, Prague, 2007.
  76. Ouranos, P. Stefaneas, et. al, “Modelling real time authentication protocols using algebraic specification techniques – the case of TESLA protocol” , 23rd IFIP TC 7 Conference on System Modelling and Optimization, Cracow, Poland, July 23-27, 2007.
  77. Diaconescu and P. Stefaneas, “Abstract Modalities and Institutions”, Proc. CombLog’04, Workshop on Combination of Logics: Theory and Applications, Lisbon, 159-165, 2004.Also part of “Modalities in Open Institutions with Concrete Syntax”, Proc. 4th Panhellenic Logic Conference, 85-88, Thessaloniki, 2003.
  78. Ouranos, P. Stefaneas and P. Frangos, “An Algebraic Specification of Mobile IPv6 Protocol”,Proc. International Conference Principles of Software Engineering (PRISE), 131-140, Buenos Aires, Argentina, 2004.
  79. Ouranos, P. Stefaneas and P. Frangos, “MobileOBJ: A Mobility Approach Using CafeOBJ Algebraic Specification Language”, Proc. ICNAAM 2004, 375-378, Wiley Publ, 2004.
  80. Papas and P. Stefaneas, “Virtual Career Guidance in Education”, Proc. ED-MEDIA, AACE, Turku, Finland, 1442 – 1449, 2001.
  81. Papas and P. Stefaneas, “Requirements and Management of IT Resources in Education”, Proc. ED-MEDIA, AACE, Turku, Finland, 1450 – 51, 2001.
  82. Andreatos and P. Stefaneas, “On hierarchically organized networks – an algebraic approach”. Proc. 2nd IMACS International Conference on Circuits, Systems and Computing. Athens, 128-132, 1998.
  83. Paine and P. Stefaneas, “Everything is not an object”, Proc. 6th Hellenic Congress in Informatics, Greek Computing Society, 74, 1-9, 1997.
  84. Stefaneas, “Chartering First Order Logic”, Proc. 3rd International Conference “Developments in Language Theory”, DLT 1997, Thessaloniki Greece, 579-592, S. Bozapalides (Ed.) Aristotle University of Thessaloniki 1997.
  85. Karounos and P. Stefaneas, “Managing the Quality of Network Services within an Academic Environment”, Proc. International Conference on Telecommunications (ICT’ 98)”, 399-403, 1998.
  86. Andreatos and P. Stefaneas, “Applying Category Theory to Computing Networks”, Proc. Workshop on Circuits, Systems and Computing, 1-5, 1996.
  87. Stefaneas, “Randomized Specifications”, Proc. 5th Hellenic Congress in Informatics, Greek Computing Society, 581-588, 1995.
  88. Stefaneas, “Randomized Computing Logics”,Hellenic European Research on Mathematics and Informatics ’94, Proc. HERMES’94, Greek Mathematical Society, 933-940, 1994.
  89. Diaconescu, J. Goguen and P. Stefaneas, “Logical support for modularisation”. Logical environments (Editors: G. Huet and G. Plotkin,), 83-130, Cambridge Univ. Press, Cambridge,1993.

Συνέδρια μετά από κρίση στην περίληψη ή ομιλίες με πρόσκληση :

  1. Fikiori, A. Gkatzounis, F. Skarpelos and P. Stefaneas, On abstract logics for interacting provers, Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives, 2025
  2. Gkantzounis, F. Skarpelos, Y. Kiouvrekis and Stefaneas, P.: On Abstract Model Theory and Logical Topologies, TACL 2024.
  3. Gkantzounis, Stefaneas, P.: Topological Inquiry in Abstract Model Theory, WADT 2024.
  4. Stefaneas, P. and Gkantzounis A.,: On Mathematical Proving and Algebra, 22nd Annual Conference of the Calcutta Logic Circle, 2023.
  5. Gkantzounis A., P. Stefaneas and A. Kontogeorgis: On Provings and Sheaves, PSSL 107, 2023.
  6. Arsenidis, A. Moraitopoulos, A, Athanasiou, P. Bamidis, P. Stefaneas, A. Astaras, MOCAST 2023.
  7. Φ. Σκαρπέλος και Π. Στεφανέας. Άλγεβρα και σημειωτική: μια ενδεχομένως γόνιμη σχέση, 7ο Πανελλήνιο Συνέδριο Φιλοσοφίας της Επιστήμης, 2022.
  8. D. Zafeirakopoulos and P. Stefaneas, Remarks on Deontic Logic and Artificial Intelligence, Erlagol, 14th International Summer-School Conference, Problems Allied to Model Theory and Universal Algebra, June 2021.
  9. Kiouvrekis, P. Stefaneas and I. Vandoulakis, A unified category-theoretic framework for the study of the Square of Opposition, Square of Opposition Leuven September 2021 (ακυρώθηκε λόγω Covid-19).
  10. Dimarogkona and P.Stefaneas, A Meta-Logical Framework for Philosophy of Science, CLMPST, August 2019, Prague, Czech Republic.
  11. Stefaneas and I.Vandoulakis, Mathematical Proving as Spatio-Temporal Activity of Multi-Agent Systems August 2019, Prague, Czech Republic
  12. Almpani, P. Stefaneas and I.Vandoulakis On the Significance of Argumentation in Discovery Proof-Events CLMPST, August 2019, Prague, Czech Republic
  13. Stefaneas, Research Trends and Open Problems in the Formalization of Computer Ethics, Rules: Logic and Applications, Athens 2018 [introductory talk]
  14. Kiouvrekis, S. Sudoplatov and P. Stefaneas, On definable sets in generic structures, Handbook of the 6th World Congress and School on Universal Logic June 16–26, 2018 Vichy, France. – Vichy: Vichy University, 2018. – P. 233-234.
  15. Kiouvrekis, S. Sudoplatov and P. Stefaneas, Calculi for definable sets, Handbook of the 6th World Congress and School on Universal Logic June 16–26, 2018 Vichy, France. – Vichy: Vichy University, 2018. – P. 240-241.
  16. Kiouvrekis, S. Sudoplatov and P. Stefaneas. On lattices in generative classes, Handbook of the 6th World Congress and School on Universal Logic June 16–26, 2018 Vichy, France. – Vichy: Vichy University, 2018. – P. 243-244
  17. Tsiavos, T.Karounos and P. Stefaneas: (Un)learning from Athens: Architectures of e-Democracy in the European Global South, IPP 2018, Oxford Internet Institute 2018
  18. Dimarogkona and P. Stefaneas, Ethics of Algorithms, Formal Methods, and Abstract Model Theory, ETHICOMP, September 2018, Sopot, Poland.
  19. Dimarogkona and P. Stefaneas, Styles of Programming, Workshop on Philosophy of Computer Science, International Association for Computing and Philosophy (IACAP) Annual Meeting, June 2016, Ferrara, Italy.
  20. Stefaneas, “Views on the concept of correctness in computer science” 4rd Panhellenic Philosophy of Science and Technology Conference, December 2016 [Abstract in Greek].
  21. Stefaneas and D. Kouzapas, “Formal Methods on Privacy” FM-Priv 2016: 1st Workshop on Formal Methods for Privacy, FM 2016 Limassol Cyprus [Introductory talk].
  22. V. Pitsiladis and P. Stefaneas, “Implementing Type Checking of π-calculus Processes for Privacy in Maude” FM-Priv 2016: 1st Workshop on Formal Methods for Privacy, FM 2016 Limassol Cyprus.
  23. Triantafyllou, K. Ksystra, P. Stefaneas and P. Kavassalis, et al. “Towards a secure environment for financial risk reporting over BlockChain” FM-Priv 2016: 1st Workshop on Formal Methods for Privacy, FM 2016 Limassol Cyprus.
  24. Stefaneas, P. Tsiavos and T. Karounos, “The platform as a mirror: understanding regulatory ecologies through their interaction with mega-platforms” Internet, Policies and Politics (IPP 2016), Oxford Internet Institute [Abstract].
  25. Mamakos and P. Stefaneas, “Mind the Gap”, ISSC, The Logics of Image: Visualization, Iconicity, Imagination and Human Creativity, Santorini Greece 2016 [Abstract].
  26. Stefaneas, “Logics in computer science and the social context”, in Logic and Utopia Workshop, ISSC, The Logics of Image: Visualization, Iconicity, Imagination and Human Creativity, Santorini Greece 2016 [introductory talk].
  27. Dimarogkona and P. Stefaneas, On the Theory of Institutions and the Philosophical Significance of Categorical Thinking. 15th Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015), August 2015, Helsinki, Finland. [Abstract].
  28. Dimarogkona and P. Stefaneas, Syntax, Semantics and the Formalization of Social Science Theories, Workshop on Scientific Discovery in the Social Sciences, Centre of Philosophy of Natural and Social Sciences, London School of Economics, January 2015, London, England. (keynote speaker). [Abstract].
  29. Dimarogkona and P. Stefaneas, Towards a Formal Model of the Semiotic Web, 4th International Symposium on the Web and Philosophy, Co-located at ICIL, May 2014, Thessaloniki, Greece. [Talk as co-organizer].
  30. Angius and P. Stefaneas, “Defending the Semantic View of Theories: A Computer Science Perspective” 15h Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015), Helsinki 3-8 August, 2015. [Abstract].
  31. Stefaneas and I. Vandoulakis, “Characterization of the style of mathematical proving by means of Roman Jakobson’s communication model” 15h Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015), Helsinki 3-8 August, 2015. [Abstract].
  32. Dimarogkona and P. Stefaneas,“Syntax, Semantics and the Formalization of Social Science Theories”, Workshop on Scientific Discovery in the Social Sciences, Centre of Philosophy of Natural and Social Sciences, London School of Economics, London 2015 (Keynote). [Abstract]
  33. Stefaneas, “Some Open Problems in the Philosophy of Computer Science” 3rd Panhellenic Philosophy of Science and Technology, November 2014 – also at the Workshop “Philosophy of Computer Science” [co-organized with N. Angius] at UNILOG 2015, Instabul, 28th June, 2015 [Abstract].
  34. Arkoudas, K. Ksystra, N. Triantafyllou and P. Stefaneas, “Integrating Athena with Algebraic Spcifications” Preliminary Proceedings 22nd WADT, International Workshop on Algebraic Development Techniques, 4-7 September 2014, in memoriam of Joseph Goguen, Sinaia, Romania, Technical Report Simion Stoilow Institute of Mathematics, Romanian Academy, eds R. Diaconescu, M. Codescu, I Tutu. pp 12-13, Sinaia 2014. [Extended Abstract]
  35. Kiouvrekis and P. Stefaneas, “Fixed Point Logics as Institutions” Preliminary Proceedings 22nd WADT, International Workshop on Algebraic Development Techniques, 4-7 September 2014, in memoriam of Joseph Goguen, Sinaia, Romania, Technical Report SimionStoilow Institute of Mathematics, Romanian Academy, eds R. Diaconescu, M. Codescu, I Tutu. pp 70-71, Sinaia 2014. [Extended Abstract]
  36. Stefaneas, “On the Logical Semantics of Computer Ethics”, International Conference on Information Law (ICIL) 30-31 May 2014, Salonika (Thessaloniki), Greece. [Abstract]Dimarogkona and P. Stefaneas “Towards a Formal Model of the Semiotic Web”, 4th International Symposium on the Web and Philosophy, Co-located at ICIL, 31 May 2014, Salonika (Thessaloniki), Greece.
  37. Stefaneas, P. Tsiavos and T. Karounos, “Failed Policies or Politics of Failure? The case of crowdsourcing initiatives in the Greek Public Administration as an instance. Oxford Internet Institute. Crowdsourcing for Politics and Policy, 25-26 September 2014, Oxford. [Extended Abstract]
  38. P. Stefaneas and I. Vandoulakis, “The Web as a tool for proving”. The Second International Symposium on the Web and Philosophy, Co-located at Philosophy and Theory of AI Conference (PT-AI), Salonika (Thessaloniki), Greece, October 2011. [Abstract]
  39. Stefaneas and I. Vandoulakis, “Proofs as spatio-temporal processes”
    14th CLMPS 2011 Proceedings, edited by Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister, 2011. [Abstract]
  40. Stefaneas, “Proof events in computing”, 2nd Romanian Japanese Algebraic Specification Workshop, Sinaia, Romania, 2011.[Invitation] Also, “On Institutions and proof events”, 3rd World Congress on Universal Logic, Lisbon 2010.
  41. P. Stefaneas, “Internet Based Open Governance: the case of Greece”, Internet, Politics, Policy 2010: An Impact Assessment, Oxford Internet Institute, September 2010 [poster and short paper]
  42. Α. Andreatos and Stefaneas, “Interactive Educational Television: A Digital Bridge for the Knowledge Gap?”EDEN 2007, Annual Confernce, pp. 146 – 147, Naples, Italy, 2007. [Abstract]
  43. Tsalapati, G. Koletsos, P. Stefaneas, The processof proving in School Mathematics, MICOM, Paphos, Cyprus, 2006. [Abstract]. Επίσης Τσαλαπάτη Ε., Κολέτσος Γ., Στεφανέας Π. H απόδειξη στη Διαδικασία της Μάθησης, 22ο Πανελλήνιο Συνέδριο Μαθηματικής Παιδείας, 2005.
  44. Stefaneas and G. Koletsos, “Towards a conceptual Framework for e-learning: Visual Environments, Signs and Meaning”, Proc. Fourth International Scientific and Technical Conference, Section A, pp 1-2, “Internet – Education – Science 2004” Vinnytsia, Ukraine, 2004.[Abstract]
  45. Diaconescu and P. Stefaneas, “Institutions: Methodological Implications”. Abstract of papers presented at Logic Colloquium 2005 (July 28-August 3, 2005), Athens, Greece, p. 66. Extended version “On Institutions and their methodological implications”, Proc. 7th Panhellenic Logic Symposium, pp 173-178, Patras 2009. “Institutions: Methodological Implications”,1st International Congress and School on Universal Logic (UNILOG 2005),Montreux – Switzerland, 2005.
  46. Α. Andreatos and P. Stefaneas, “Teaching Telematics via Telematics”, NETIES 97 Ancona, 1997.[Abstract]
  47. Stefaneas, “Chartering Modal Logic”, Workshop on Logic, Domains and Programming Languages, Darmstadt, Germany, 1994. [Abstract]

Παρουσιάσεις Έργων Πληροφορικής :

  1. Maglaris, T. Karounos, N. Katsanou and P. Stefaneas. EU Conference “The Information Society and Telematics Applications: an opportunity for the Mediterranean Third Countries”, Catania Sicily, 1999.
  2. Katsanou, P. Stefaneas, C. Aposkitis, T.Karounos and P. Tzounakis, Teleteaching Infrastructure for Higher Education, Education & Information Society 98, Euromed Working Conference Morocco 1998.
  3. Maglaris, T. Karounos, P. Stefaneas, T. Chrissafis, D. Papatriantafyllou, X. Psiakki, Recent Trends in European Research Networking – the role of Greece as a regional node.Proc. Euro-Med’98, Nicosia Cyprus, 1998.
  4. Θ. Καρούνος, Ο. Λάμπρου και Π. Στεφανέας, Οργάνωση και Λειτουργία Κέντρου Διαχείρισης Δικτύων, Πρακτικά 4ου Συνεδρίου Ελληνικής Εταιρείας Επιχ. Έρευνας, Σάμος 1998.
  5. Π. Στεφανέας και Χ. Γκιώνης, Μέθοδοι Κοινωνικής Έρευνας και Ηλεκτρονικό Εμπόριο, Πρακτικά 4ου Συνεδρίου Ελληνικής Εταιρείας Επιχ. Έρευνας, Σάμος 1998.

 

Άρθρα στα Ελληνικά με κρίση στο πλήρες κείμενο :

  1. Π. Στεφανέας «Λογικές Δράσεις για την εξάλειψη της τυχαιότητας, ιδίως στο πεδίο της διαχείρισης των προσωπικών δεδομένων», σελ 231-248. Τόμος «Ενέργημα, τυχαίο και δίκαιο» (9Α), Πεπραγμένα Ελληνικής εταιρείας δικαιοφιλοσοφικής και δικαιοιστορικής ερεύνης, Αθήνα 2024.
  2. Π. Στεφανέας “Η ηθική της πληροφορικής και η λογική της”, Τόμος «Οι Ανθρωπιστικές Επιστήμες στο Ε.Μ.Π”. σελ 89-96. E.M.Π. Αθήνα 2011.
  3. Π. Στεφανέας, “Δύο προσεγγίσεις στην έννοια της απόδειξης”, Signum, τ.1, σ. 13-23, Πανεπιστημικές Εκδόσεις ΕΜΠ, Αθήνα 2010.
  4. Π. Στεφανέας “Η αυτοματοποίηση των αποδείξεων και ηλεκτρονική επίλυση των προβλημάτων ”, Νεύσις, τ.15, Αθήνα 2006.

Άρθρα επισκόπησης στα Ελληνικά :

  1. Π. Στεφανέας, Η πολύγλωσση τεχνητή νοημοσύνη γίνεται πιο εύκολη, Πυρφόρος, Μάρτιος 2023.
  2. Β. Γούναρης και Π. Στεφανέας, Ψηφιακές Ανθρωπιστικές Επιστήμες: τι είναι τι; The Books’ Journal, Νοέμβριος 2021.
  3. Π. Στεφανέας, Ανισότητες στην Κοινωνία της Πληροφορίας, σελ. 23-27, Πληροφορική, Σεπτέμβριος
  4. Π. Στεφανέας, Λογικά Συστήματα και Κατηγορίες, Μαθηματική Επιθεώρηση, τεύχος 45, σελ. 6-19, 1996.
  5. Π. Στεφανέας, Στοιχεία της Θεωρίας των Πολυειδών Αλγεβρών, Παράστημα Β, στο βιβλίο του Σ.Π. Ζερβού Καθολική Άλγεβρα, σελ 413-419. Εκδόσεις Καρδαμίτσας, 1994.

Διδακτικό Βιβλίο :

  1. Στεφανέας, Π., Κολέτσος, Γ., 2015.Εφαρμογές της λογικής στην πληροφορική. [ηλεκτρονικό βιβλίο] Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών. Αθήνα: Αποθετήριο Κάλλιπος: http://hdl.handle.net/11419/4527

Επιστημονική Επιμέλεια Μετάφρασης :

  1. Διακριτά Μαθηματικά: με εφαρμογές, 2024 Επιστημονική επιμέλεια της μετάφρασης συλλογής κειμένων των Kenneth Rosen, Shier Douglas, και άλλων (μαζί με Σπύρο Κοντογιάννη και Δημήτρη Καββαδία). Εκδόσεις Τζιόλα

Τεχνικές Ανακοινώσεις (Technical Reports) :

  1. Gatzounis and P. Stefaneas, Institutional Topological Inquiry, Technical Report submitted to PEVE Universal Logic 2024.
  2. Gatzounis and P. Stefaneas, Proofs and Proof Descriptions by Sheaves based on Institutions, Technical Report submitted to PEVE Universal Logic 2024.
  3. Pitsiladis and P. Stefaneas, A formalization of proof events in the theory of institutions, Technical Report submitted to PEVE Universal Logic 2024.
  4. Bournazos, G. Pitsiladis and P. Stefaneas, Dialogical institutions, Technical Report submitted to PEVE Universal Logic 2024.
  5. Dimitrousis, S. Almpani, P. Stefaneas, J.Veneman, K.Nizamis, A. Astaras Neurorobotics: Review of Underlying Technologies, Current Developments and Future Directions. The Institution of Engineering and Technology Publishing (IET Publishing) pp 1-36, 2019.
  6. Diaconescu and P. Stefaneas, Possible Worlds Semantics in arbitrary Institutions, Technical Report 7, Institute of Mathematics of the Romanian Academy, 2003.
  7. J. Georgiou and P. Stefaneas, Strategies for accelerating the adoption of e-commerce by consumers worldwide, Research Report RC 21277, IBM Research, 1998.
  8. Diaconescu and P. Stefaneas, Categorical Foundations of Modularisation for Multi-paradigm Languages, Research Report IS-RR-98-0014F, School of Information Science, Japan Advanced Institute of Science and Technology, 1998.
  9. Diaconescu and P. Stefaneas, Modality in Open Institutions with Concrete Syntax, Research Report IS-RR-97-0046F, School of Information Science, Japan Advanced Institute of Science and Technology, 1997.
  10. Stefaneas, The Second Order Parchment, PRG-TR–9-93, Programming Research Group, Oxford University Computing Laboratory, 14 pp., 1993.
  11. Stefaneas, Chartering a Logic: An Introduction, Technical Note, Programming Research Group, Oxford University Computing Laboratory, 1993.
  12. Stefaneas, The First Order Parchment, PRG-TR–16-92, Programming Research Group, Oxford University Computing Laboratory, 11 pp., 1992.
  13. Stefaneas, The Modal Charter, PRG-TR-29-92, Programming Research Group, Oxford University Computing Laboratory, 8 pp., 1992.
Menu