Tom T.P. Franken

View Scopus Profile

Tom T.P. Franken

 https://orcid.org/0000-0002-1168-5450
  • 3
    Citations - based on content available in repository [source: Scopus]
20232025

Content available in repository

Fingerprint

Dive into the research topics where Tom T.P. Franken is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 3 Conference contribution
  • 1 Article
  • 1 Preprint

  • Formalisation of a New Weak Semantics for AuDaLa

    Leemrijse, G. P., Franken, T. T. P. & Neele, T. (Corresponding author), 12 Feb 2025, Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Cham: Springer, p. 93-116 24 p. (Lecture Notes in Computer Science (LNCS); vol. 15055).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    14 Downloads (Pure)

  • The Autonomous Data Language: Concepts, design and formal verification

    Franken, T. T. P. (Corresponding author), Neele, T. & Groote, J. F., 6 Dec 2025, In: Theoretical Computer Science. 1057, 36 p., 115560.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File

  • AuDaLa is Turing Complete

    Franken, T. T. P. (Corresponding author) & Neele, T., 13 Jun 2024, Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. Castiglioni, V. & Francalanza, A. (eds.). Cham: Springer, p. 221-229 9 p. (Lecture Notes in Computer Science (LNCS); vol. 14678).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1   Link opens in a new tab Citation (Scopus)
    12 Downloads (Pure)

  • Expressivity of AuDaLa: Turing Completeness and Possible Extensions

    Franken, T. T. P. & Neele, T., 19 Dec 2024.

    Research output: Working paper › Preprint › Academic

    File
    8 Downloads (Pure)

  • An Autonomous Data Language

    Franken, T. T. P. (Corresponding author), Neele, T. & Groote, J. F., 23 Nov 2023, Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings. Ábrahám, E., Dubslaff, C. & Tapia Tarifa, S. L. (eds.). Springer, p. 158-177 20 p. (Lecture Notes in Computer Science (LNCS); vol. 14446).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2   Link opens in a new tab Citations (Scopus)
    20 Downloads (Pure)