{"id":10,"date":"2012-01-05T21:02:30","date_gmt":"2012-01-05T21:02:30","guid":{"rendered":"http:\/\/bertiemuller.wordpress.com\/?page_id=10"},"modified":"2026-02-02T12:09:49","modified_gmt":"2026-02-02T12:09:49","slug":"publications","status":"publish","type":"page","link":"http:\/\/va7.myqnapcloud.com\/WordPress\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"

[89] N. Micallef., B. M\u00fcller. Digital Culture in the Classroom: Measuring the Effectiveness of Integrating Social Media Content Into Cyber Security Education.<\/em> In: Legg, P., Coull, N., Clarke, C., Lallie, H., Atlam, H. (eds) Advances in Teaching and Learning for Cyber Security Education. CSE Connect 2025. Lecture Notes in Networks and Systems, vol 1791. Springer, 2026. Cham. https:\/\/doi.org\/10.1007\/978-3-032-15105-6_11<\/p>\n

[88] D. Bassett., N. Micallef., B. M\u00fcller. Authentication in the Connected World: Perceived Password Security Is Inflated<\/em>. In: Legg, P., Coull, N., Clarke, C. (eds) Advances in Teaching and Learning for Cyber Security Education. CSE 2024. Lecture Notes in Networks and Systems, vol 1213. Springer, 2024. https:\/\/doi.org\/10.1007\/978-3-031-77524-6_10<\/p>\n

[87] B. Wilson, D. Scott, M. Roach, E. Nielsen, B. M\u00fcller. Designing for situated AI-human decision making: Lessons learned from a primary care deployment. Proceedings of the 1st International Workshop on Designing and Building Hybrid Human\u2013AI Systems (SYNERGY 2024), Arenzano (Genoa), Italy, June 03, 2024.<\/p>\n

[86] B. M\u00fcller. Future Proofing Systems Engineering: Reliability, Responsibility, and Resilience.<\/em> In: K\u00f6hler-Bu\u00dfmeier, M., Renz, W., Sudeikat, J. (eds) Intelligent Distributed Computing XVI. IDC 2023. Studies in Computational Intelligence, vol 1138. Springer, 2024. \u00a0https:\/\/doi.org\/10.1007\/978-3-031-60023-4_5<\/a><\/p>\n

[85] C. Rees, B. M\u00fcller.\u00a0<\/em>Models and tools for extreme right imagery detection. <\/em>Accepted for:\u00a0Society for Terrorism Research 15th Annual International Conference Terrorism Research in a Polarized World.\u00a0Lisbon, Portugal, July 2023<\/p>\n

[84] C. Rees, B. M\u00fcller.\u00a0All That Glitters is not Gold: Trustworthy and Ethical AI Principles<\/a>.\u00a0<\/em>AI and Ethics, Springer Nature, 2022.<\/p>\n

[83] V. R. R. Kovvuri, S. Liu, M. Seisenberger, X. Fan, B. M\u00fcller, and H. Fu. On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study<\/em><\/a>. In: Proceedings of the 16th International Conference on INnovations in Intelligent SysTems and Applications (INISTA 2022). IEEE, 2022. (DOI: 10.1109\/INISTA55318.2022.9894147)<\/p>\n

[82]\u00a0S. Williams , J.M. Ware , and B. M\u00fcller. Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia<\/em>. In: F. Koch et al. (Eds.): AIH 2018, LNAI 11326, pp. 1\u201319, Springer Nature, Switzerland, 2019.<\/p>\n

[81] S. Williams, J.M. Ware, B. M\u00fcller. Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity.<\/em> Proceedings of the First Joint Workshop on AI in Health organised as part of the Federated AI Meeting (FAIM 2018), co-located with AAMAS 2018, ICML 2018, IJCAI 2018 and ICCBR 2018. 2018\u00a0(available from:\u00a0http:\/\/ceur-ws.org\/Vol-2142\/paper14.pdf<\/a>)<\/p>\n

[80] B. M\u00fcller. Chapter: Technology futures.<\/em> In: Securing the future: planning health and care for every generation. Pages 26-31. Future Care Capital, 2017. (available from: https:\/\/futurecarecapital.org.uk\/policy\/securing-the-future\/<\/a>)<\/p>\n

[79] S. Williams, B. M\u00fcller.\u00a0Agents and Dementia \u2013 Smart Risk Assessment.<\/em> In: Multi-Agent Systems and Agreement Technologies.\u00a0LNAI 10207, pages 277-284, Springer. 2017.<\/p>\n

[78] I.J. Abdullahi, B. M\u00fcller.\u00a0Towards Efficient Verification of Elementary Object Systems.<\/em> Proc. Concurrency, Specification, and Programming (CS&P 2016). CEUR Workshop Proceedings,\u00a0Vol-1698 (urn:nbn:de:0074-1698-4), pages 86-100. ISSN 1613-0073. 2016.<\/p>\n

[77] J. Betts, B. M\u00fcller. A Component-based C++ Framework for Developing BDI Agents.<\/em> Proc. SAI Intelligent Systems Conference. 877-883. IEEE, \u00a02015. (DOI 10.1109\/IntelliSys.2015.7361246)<\/p>\n

[76] J. Betts, B. M\u00fcller. Engineering\u00a0MAS<\/span>\u00a0\u2013 A Device Integration Framework for Smart Home Environments.<\/em> (Extended version) Fundamenta Informaticae, 135:4, pages 341-353. 2014. (DOI<\/span>\u00a010.3233\/FI-2014-1127)<\/p>\n

[75] J. Betts and B. M\u00fcller. Incorporating\u00a0BDI<\/span>-agent concepts into object-oriented programming.<\/em> Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, 2014.\u00a0CEUR<\/span>\u00a0\u2013 Workshop Proceedings Vol-1269 (urn:nbn:de:0074-1269-2), pages 138-149. 2014.<\/p>\n

[74] B.M\u00fcller, M. Fitting (Eds.). Fundamenta Informaticae 130 (2014) DOI 10.3233\/FI-2014-979 IOS Press. Logics, Agents, and Mobility. Extended Papers from the International Workshops LAM\u201910 and LAM\u201911.<\/p>\n

[73] J. Betts and B. M\u00fcller. A multi-agent system framework for smart-home environments.<\/em> In M. K\u00f6hler- Bu\u00dfmeier, editor, LAM\u201913, 6th International Workshop on Logics, Agents, and Mobility. Symposium at the University of Applied Science Hamburg, Germany, 22 November 2013, pages 4\u20138, 2013.<\/p>\n

[72] J. Betts, B. M\u00fcller. Engineering\u00a0MAS\u00a0\u2013 A Device Integration Framework for Smart Home Environments.<\/em> In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013). Eds.: M. Szczuka, L. Czaja, M. Kacprzak.\u00a0CEUR\u00a0Workshop Proceedings vol. 1032, pages 15-26, 2013. (Extended version \u00a0in Fundamenta Informaticae, 2014)<\/p>\n

[71] B. M\u00fcller. Observations from Current and Past Projects: 1. Shaping the Intelligent Home of the Future, 2. Settlers of Catan.<\/em> In: Agent-oriented programming, multiagent systems, Software methodologies for distributed systems, Programming distributed systems, Empirical evaluation. Dagstuhl Reports, Volume 2, Issue 8, pages 84-85, 2012.<\/p>\n

All of the following publications authored as\u00a0Berndt Farwer:<\/p>\n

[70] N. Bulling and B. Farwer.\u00a0On the (Un-)Decidability of Model-Checking Resource-Bounded Agents. In Proc, 19th European Conference on Artificial Intelligence (ECAI), volume 215 of Frontiers in Artificial Intelligence and Applications, pages 567\u2013572. IOS Press, 2010.<\/p>\n

[69] R. Bordini, L. Dennis, B. Farwer, M. Fisher.\u00a0Directions for Agent Model Checking. Book chapter in:\u00a0Specification and Verification of Multi-agent Systems. Pages 103-124, Springer. 2010.<\/p>\n

[68] N. Bulling and B. Farwer.\u00a0On the decidability of verifying resource-bounded agents.<\/a>\u00a0Technical Report IfI-10-05, Clausthal University of Technology, May 2010.<\/p>\n

[67] N. Bulling and B. Farwer.\u00a0Expressing properties of resource-bounded systems: The logics RTL and RTL*\u00a0(revised and extended version). In J. Dix et al, editors, Computational Logic in Multi-Agent Systems. Post-Proceedings of CLIMA X. Volume 6214 of LNAI, pages 22-45, Springer 2010.<\/p>\n

[66] N.\u00a0Bulling and B.\u00a0Farwer.\u00a0Expressing properties of resource-bounded systems: The logics RTL and RTL*. In J.\u00a0Dix et\u00a0al, editors, Pre-Proceedings of CLIMA X, Hamburg, Germany, September 2009.<\/p>\n

[65] N.\u00a0Bulling and B.\u00a0Farwer.\u00a0Towards modelling and reasoning about resource-bounded systems. In B.\u00a0Farwer, editor, Proceedings of Logics, Agents, and Mobility (LAM\u201909), Los Angeles, USA, August 2009.<\/p>\n

[64] T.\u00a0Behrens and B.\u00a0Farwer.\u00a0An infrastructure of hierarchy and processes for multiple agents in games AI. In B.\u00a0Farwer, editor, Proceedings of Logics, Agents, and Mobility (LAM\u201909), Los Angeles, USA, August 2009.<\/p>\n

[63] B. Farwer.\u00a0Task suspension in agent systems. In R. Bordini, M. Dastani, J. Dix, and A. E. Fallah-Seghrouchni, editors, Programming Multi-Agent Systems, number 08361 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2008. Schloss Dagstuhl – Leibniz-Zentrum f\u00fcr Informatik, Germany.<\/p>\n

[62] B. Farwer.\u00a0Towards a theory of task suspension\u00a0(Part I: Petri nets and agent systems). In Proceedings of Concurrency, Speci\ufb01cation, and Programming CS&P\u20192008 , volume 1, pages 128\u2013137. Gro\u00df V\u00e4ter, Germany, 2008.<\/p>\n

[61] R. H. Bordini, L. A. Dennis, B. Farwer, and M. Fisher.\u00a0Automated verification of multi-agent programs. In Proceedings of the 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2008), pages 69\u201378, 2008.<\/p>\n

[60] B.\u00a0Farwer, M.\u00a0Jantzen, M.\u00a0Kudlek, H.\u00a0R\u00f6lke, and G.\u00a0Zetzsche.\u00a0Petri Net Controlled Finite Automata.\u00a0Fundamenta Informaticae, 85\u00a0(1-4)\u00a02008:111-121, 2008.<\/p>\n

[59] L. Dennis, B. Farwer.\u00a0Gwendolen: A BDI Language for Verifiable Agents.\u00a0AISB 2008 Symposium: Logic and the Simulation of Interaction and Reasoning, Aberdeen, Scotland, pages 16\u201323. 2008.<\/p>\n

[58] P. Shaw, B. Farwer, R. Bordini.\u00a0Theoretical and Experimental Results on the Goal-Plan Tree Problem (Short Paper).AAMAS\u201908, Estoril, Portugal, pages 1379\u20131382,\u00a0 2008.<\/p>\n

[57] L. Dennis, B. Farwer, R. Bordini, M. Fisher.\u00a0A Flexible Framework for Verifiable Agent Programming (Short Paper).\u00a0 AAMAS\u201908, Estoril, Portugal, pages 1303-1306, 2008.<\/p>\n

[56] B.\u00a0Farwer and L.\u00a0Dennis.\u00a0Translating into an intermediate agent layer: A prototype in Maude. In Proceedings of Concurrency, Specification, and Programming CS&P\u20192007, Lagow, Poland, pages 168-179, 2007.<\/p>\n

[55] B.\u00a0Farwer, M.\u00a0Jantzen, M.\u00a0Kudlek, H.\u00a0R\u00f6lke, and G.\u00a0Zetzsche.\u00a0On concurrent finite automata. In Proceedings of Concurrency, Specification, and Programming CS&P\u20192007, Lagow, Poland, pages 180-190, 2007.<\/p>\n

[54] B.\u00a0Farwer and M.\u00a0K\u00f6hler.\u00a0Object nets for mobility. In J.\u00a0Kleijn and A.\u00a0Yakolev, editors, Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007, volume 4546 of Lecture Notes in Computer Science, pages 244\u2013262. Springer-Verlag, 2007.<\/p>\n

[53] B.\u00a0Farwer, M.\u00a0Kudlek, and H.\u00a0R\u00f6lke.\u00a0Concurrent Turing machines. Fundamenta Informaticae, 79(3\u20134):303\u2013317, 2007.<\/p>\n

[52] L.\u00a0Dennis, B.\u00a0Farwer, R.\u00a0Bordini, M.\u00a0Fisher, and M.\u00a0Wooldridge.\u00a0A common semantic basis for BDI languages. In M.\u00a0Dastani, A.\u00a0E.\u00a0F. Seghrouchni, A.\u00a0Ricci, and M.\u00a0Winikoff, editors, Proceedings of the International Workshop on Programming Multi-Agent Systems (ProMAS 2007), pages 88\u2013103, May 2007.<\/p>\n

[51] B. Farwer, M. Kudlek, and H. R\u00f6lke.\u00a0Petri-net-controlled machine models. Technical Report FBI-HH-B-274\/06, Fachbereich Informatik, Universit\u00e4t Hamburg, Germany, 2006.<\/p>\n

[50] B. Farwer.\u00a0\u00a0Recovery and Reset in Object Petri Nets with Process Markings. Proceedings of Concurrency, Specification, and Programming CS&P\u20192006, 2006.<\/p>\n

[49] B. Farwer, M. Kudlek, H. R\u00f6lke.\u00a0Concurrent Turing Machines as Rewrite Theories. Proceedings of Concurrency, Specification, and Programming CS&P\u20192006, 2006.<\/p>\n

[48] B.\u00a0Farwer, M.\u00a0K\u00f6hler.\u00a0Modelling Global and Local Name Spaces for Mobile Agents Using\u00a0 Object Nets. Fundamenta Informaticae, 72(1\u20133):109\u2013122, 2006.<\/p>\n

[47] B.\u00a0Farwer, M.\u00a0Varea.\u00a0Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets. Fundamenta Informaticae, 72(1\u20133):123\u2013137, 2006.<\/p>\n

[45] B. Farwer, M. Varea.\u00a0Transforming Dual Flow Nets into Object Petri Nets. Proceedings of Concurrency, Specification, and Programming CS&P’2005, Ruciane-Nida, Poland, 2005.<\/p>\n

[46] B. Farwer, S. Kohl.\u00a0Object Systems with Process Markings. In: Festschrift zum sechzigsten Geburtstag von Prof. Dr. R\u00fcdiger Valk, Fachbereich\u00a0 Informatik, Universit\u00e4t Hamburg, 2005. Published also as: Technical Report FBI-HH-B-265\/05, Fachbereich Informatik, Universit\u00e4t Hamburg, pages 1\u201311, 2005<\/p>\n

[44] B. Farwer, M. K\u00f6hler.\u00a0Modelling Global and Local Namespaces for Mobile Agents Using Object Nets. Proceedings of Concurrency, Specification, and Programming CS&P’2005, Ruciane-Nida, Poland, 2005.<\/p>\n

[43] B. Farwer, M. Varea.\u00a0Object-based Control\/Data-flow Analysis. Technical Report DSSE-TR-2005-1, ECS, University of Southampton, 2005.<\/p>\n

[42] B. Farwer, M. K\u00f6hler.\u00a0Petri Net Processes for Zero-Safe Nets. Fundamenta Informaticae, 67:1-11, 2005<\/p>\n

[41] B. Farwer, D. Schradick.\u00a0Execution and analysis of P\/T nets and object Petri nets with B. In: G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suray (Eds.), Concurrency, Specification, and Programming CS&P’2004. vol. 1, Informatik-Bericht Nr. 170, 28-39, Humboldt Universit\u00e4t, Berlin, 2004.<\/p>\n

[40] B. Farwer, M. K\u00f6hler.\u00a0Net processes for zero-safe nets. In: G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suray (Eds.), Concurrency, Specification, and Programming CS&P’2004. vol. 1, Informatik-Bericht Nr. 170, 40-51, Humboldt Universit\u00e4t, Berlin, 2004.<\/p>\n

[39] B. Farwer, M. Leuschel.\u00a0Model checking object Petri nets in Maude and Prolog. Technical Report FBI-HH-B-258\/04, Fachbereich Informatik, Universit\u00e4t Hamburg, 2004<\/p>\n

[38] B. Farwer (Ed.).\u00a0Proceedings of the1st Workshop on Analysing Security Protocols WASP’04, Hamburg, 12.-13.07.2004.<\/p>\n

[37] Berndt Farwer, Manfred Kudlek.\u00a0A new synchronisation model for multi-level object Petri nets. Fundamenta\u00a0 Informaticae, 60(1\u20134):131\u2013142, 2004.<\/p>\n

[36] B. Farwer, M. K\u00f6hler.\u00a0Mobile object-net systems and their processes. Fundamenta Informaticae,\u00a0 60(1\u20134):113\u2013129, 2004.<\/p>\n

[35] B. Farwer, M. Leuschel.\u00a0Model checking object Petri nets in Prolog. In Proceedings of Principles and Practice of Declarative Programming (PPDP\u201904), Verona,\u00a0 Italy, 24\u201326 August 2004, pages 20\u201331. ACM, 2004.<\/p>\n

[34] B. Farwer, M. Leuschel.\u00a0Model checking object Petri nets in Prolog. Technical Report DSSE-TR-2003-4,\u00a0 Declarative Systems and Software Engineering Group, School of Electronics and Computer Science, University of\u00a0 Southampton, SO17 1BJ, UK, 2003.<\/p>\n

[33]\u00a0 B. Farwer, K. Misra.\u00a0Dynamic modification of system structures using LLPNs\u00a0(extended version). In\u00a0 Perspectives Of System Informatics, Proceedings of the 5th International Andrei Ershov Memorial Conference, PSI\u00a0 2003, Akademgorodok, Novosibirsk, pages 274\u2013293. LNCS 2890. Springer-Verlag, 2003.<\/p>\n

[32]\u00a0 B. Farwer, K. Misra.\u00a0Dynamic modification of system structures using LLPNs. In Proceedings of\u00a0 Andrei Ershov Fifth International Conference Perspectives Of System Informatics, pages 177\u2013190. July 2003.<\/p>\n

[31]\u00a0 B. Farwer, S. Kalvala, K. Misra.\u00a0Controller synthesis for object Petri nets. In Proceedings of ICFEM\u00a0 2003, pages 432\u2013451. LNCS 2885.\u00a0 Springer-Verlag, 2003.<\/p>\n

[30]\u00a0 B. Farwer, K. Misra.\u00a0Modelling with hierarchical object Petri nets. Fundamenta Informaticae, 55(2): 129\u2013147,\u00a0 2003.<\/p>\n

[29]\u00a0 B. Farwer, M. Kudlek, K. Misra.\u00a0Some considerations on higher order Petri nets. Fundamenta Informaticae,\u00a0 54(2\u20133): 185\u2013193, 2003.<\/p>\n

[28]\u00a0 B. Farwer, M. Kudlek.\u00a0On synchronisation in multi-level object Petri nets. In L. Czaja, editor, Concurrency,\u00a0 Specification, and Programming CS&P\u20192003 (Volume 1), pages 150\u2013156. Warsaw University, 2003.<\/p>\n

[27]\u00a0\u00a0 B.\u00a0 Farwer,\u00a0 M.\u00a0 K\u00f6hler.\u00a0\u00a0Mobile\u00a0 object-net\u00a0 systems\u00a0 and\u00a0 their\u00a0 processes.\u00a0 In\u00a0 L.\u00a0 Czaja,\u00a0 editor,\u00a0 Concurrency,\u00a0 Specification, and Programming CS&P\u20192003 (Volume 1), pages 134\u2013149. Warsaw University, 2003.<\/p>\n

[26]\u00a0 B. Farwer.\u00a0A logic of enablement. In R. Valk, C. Girault, editors, Petri Nets for Systems Engineering \u2013 A Guide\u00a0 to Modeling, Verification, and Applications, pages 361\u2013370. Springer-Verlag, 2003.<\/p>\n

[25]\u00a0 B. Farwer.\u00a0Linear logic and Petri nets. In R. Valk, C. Girault, editors, Petri Nets for Systems Engineering \u2013 A\u00a0 Guide to Modeling, Verification, and Applications, pages 370\u2013382. Springer-Verlag, 2003.<\/p>\n

[24]\u00a0 B. Farwer, D. Moldt, F. Garc\u00eda-Vall\u00e9s.\u00a0An approach to modelling FMS with dynamic object Petri nets. In\u00a0 Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics., pages 1\u20136. Hammamet,\u00a0 Tunisia, 6\u20139 October 2002.<\/p>\n

[23]\u00a0 B. Farwer, K. Misra.\u00a0Object net modification using LLPNs. Presentation at LL\u20192002 of FLoC\u201902, Copenhagen,\u00a0 2002. Revised version to appear in:\u00a0 Proceedings of the International Conference on Perspectives of System\u00a0 Informatics, Novosibirsk, July 2003.<\/p>\n

[22]\u00a0 B. Farwer, K. Misra.\u00a0Hierarchical object systems. In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron,\u00a0 P.Starke, editors, Concurrency, Specification, and Programming CS&P\u20192002 (Volume 1), pages 143\u2013163 (16 pages).\u00a0 Humboldt-Universit\u00e4t zu Berlin, Informatik-Berichte 161, 2002.<\/p>\n

[21]\u00a0\u00a0 B.\u00a0 Farwer,\u00a0 M.\u00a0 Kudlek,\u00a0 K.\u00a0 Misra.\u00a0\u00a0Some\u00a0 considerations\u00a0 on\u00a0 higher\u00a0 order\u00a0 Petri\u00a0 nets.\u00a0 In\u00a0 H.-D.\u00a0 Burkhard,\u00a0 L.\u00a0 Czaja,\u00a0 G. Lindemann, A. Skowron, P.Starke, editors, Concurrency, Specification, and Programming CS&P\u20192002 (Volume 1), pages\u00a0 129\u2013142 (9 pages). Humboldt-Universit\u00e4t zu Berlin, Informatik-Berichte 161, 2002.<\/p>\n

[20]\u00a0 B. Farwer.\u00a0\u03c9-(omega-)Automata. In E.Gr\u00e4del, W. Thomas, Th.\u00a0 Wilke, editors, Automata, Logics, and Infinite Games, volume\u00a0 2500 of Lecture Notes in Computer Science, pages 3\u201321. Springer-Verlag, 2002.<\/p>\n

[19]\u00a0 B. Farwer.\u00a0Dynamic modification of object Petri nets.\u00a0 an application to modelling protocols with fork-join structures.\u00a0 Fundamenta Informaticae, 51(1,2): 91\u2013101, 2002.<\/p>\n

[18]\u00a0 B. Farwer, I. Lomazova.\u00a0A systematic approach towards object-based Petri net formalisms. In Proceedings of Andrei\u00a0 Ershov Fourth International Conference Perspectives Of System Informatics, pages 141\u2013146. July 2001.<\/p>\n

[17]\u00a0 B. Farwer, I. Lomazova.\u00a0A systematic approach towards object-based Petri net formalisms. In D. Bjorner, A. Zamulin,\u00a0 editors, Perspectives of System Informatics, Proceedings of the 4th International Andrei Ershov Memorial Conference, PSI\u00a0 2001, Akademgorodok, Novosibirsk, pages 255\u2013267. LNCS 2244. Springer-Verlag, 2001.<\/p>\n

[16]\u00a0 B. Farwer.\u00a0Modelling protocols by object-based Petri nets. In L. Czaja, editor, Concurrency Specification and Programming\u00a0 (CSP\u201901), Proceedings, pages 87\u201396. University of Warsaw, 2001.<\/p>\n

[15]\u00a0 B. Farwer.\u00a0Comparing concepts of object Petri net formalisms. Fundamenta Informaticae, 47(3\u20134): 247\u2013258, 2001.<\/p>\n

[14]\u00a0 B. Farwer.\u00a0Relating formalisms for non-object-oriented object Petri nets. In P. Starke L. Czaja, editor, Concurrency,\u00a0 Specification, and Programming (CSP\u20192000). Proceedings.\u00a0 Volume 1, pages 53\u201364. Humboldt-Universit\u00e4t, Berlin, 2000.<\/p>\n

[13] B. Farwer.\u00a0A multi-region linear logic based calculus for dynamic Petri net structures. Fundamenta Informaticae, 43(1\u20134): 61\u201379, 2000.<\/p>\n

[12]\u00a0 B. Farwer.\u00a0Linear Logic Based Calculi for Object Petri Nets. Logos Verlag, ISBN 3-89722-539-5, Berlin, 2000. [13]\u00a0 B. Farwer. A multi-region linear logic based calculus for dynamic Petri net structures. Fundamenta Informaticae, 43(1\u20134):\u00a0 61\u201379, 2000.<\/p>\n

[11]\u00a0 B. Farwer.\u00a0Towards a linear logic based calculus for structural modifications of Petri nets. In H.-D. Burkhard, L. Czaja, H.S. Nguyen, P. Starke, editors, Concurrency Specification and Programming (CSP\u201999), Proceedings, pages 47\u201358. University of\u00a0 Warsaw, 1999.<\/p>\n

[10]\u00a0 B. Farwer.\u00a0A linear logic view of object Petri nets. Fundamenta Informaticae, 37(3): 225\u2013246, 1999.<\/p>\n

[9]\u00a0 B. Farwer.\u00a0Linear Logic Based Calculi for Object Petri Nets. Ph.D. thesis, Universit\u00e4t Hamburg, Fachbereich Informatik,\u00a0 Vogt-K\u00f6lln-Str.\u00a0 30, D-22527 Hamburg, 1999.<\/p>\n

[8]\u00a0\u00a0 B.\u00a0 Farwer.\u00a0\u00a0Towards\u00a0 linear\u00a0 logic\u00a0 Petri\u00a0 nets\u00a0 \u2013\u00a0 From\u00a0 P\/T-nets\u00a0 to\u00a0 object\u00a0 systems. Technical\u00a0 report,\u00a0 FBI-HH-B-211\/98,\u00a0 Fachbereich Informatik, Universit\u00e4t Hamburg, 1998.<\/p>\n

[7]\u00a0 B. Farwer.\u00a0A logic of enablement, 1998. Lecture Notes of the MATCH summer school 1998. System Engineering:\u00a0 A Petri\u00a0 Net Based Approach to Modelling, Verification and Implementation.<\/p>\n

[6]\u00a0 B. Farwer.\u00a0A linear logic view of object systems. In H.-D. Burkhard, L. Czaja, P. Starke, editors, Concurrency Specification\u00a0 and Programming (CSP\u201998), Proceedings, pages 76\u201387. Humboldt-Universit\u00e4t, Berlin, 1998.<\/p>\n

[5]\u00a0 B. Farwer.\u00a0Linear logic and Petri nets, 1998. Lecture Notes of the MATCH summer school 1998. System Engineering:\u00a0 A\u00a0 Petri Net Based Approach to Modelling, Verification and Implementation.<\/p>\n

[4]\u00a0 B. Farwer.\u00a0Relating object systems to formulae of infinitary linear logic, 1996. Talk given at the Third Seminar on Algebra,\u00a0 Logic, and Geometry in Informatics (ALGI 3), Tokyo.<\/p>\n

[3]\u00a0\u00a0 B.\u00a0 Farwer,\u00a0 P.-A.\u00a0 Kasten, A.\u00a0 K\u00f6ster,\u00a0 M.\u00a0 Kopka.\u00a0\u00a0\u03c9-(omega-)Sprachen.\u00a0 Studienarbeit,\u00a0 Fachbereich\u00a0 Informatik,\u00a0 Universit\u00e4t\u00a0 Hamburg, 1993.<\/p>\n

[2]\u00a0 B. Farwer, P.-A. Kasten, A. K\u00f6ster, M. Kopka.\u00a0Nichtklassische Logiken. Diplomarbeit, Fachbereich Informatik, Universit\u00e4t\u00a0 Hamburg, 1993.<\/p>\n

[1]\u00a0 B. Farwer, P.-A. Kasten, A. K\u00f6ster.\u00a0Parallele Algorithmen \u2013 Einf\u00fchrung und Bibliographie. Manuscript, Fachbereich\u00a0 Informatik, Universit\u00e4t Hamburg, 1992.<\/p>\n","protected":false},"excerpt":{"rendered":"

[89] N. Micallef., B. M\u00fcller. Digital Culture in the Classroom: Measuring the Effectiveness of Integrating Social Media Content Into Cyber Security Education. In: Legg, P., Coull, N., Clarke, C., Lallie, H., Atlam, H. (eds) Advances in Teaching and Learning for Cyber Security Education. CSE Connect 2025. Lecture Notes in Networks and Systems, vol 1791. Springer, … Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish"],"_links":{"self":[{"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":14,"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":581,"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/pages\/10\/revisions\/581"}],"wp:attachment":[{"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}