Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

ICTAC Summmer School 2021: Virtual Event / Nur-Sultan / Astana, Kazakhstan

> Home > Conferences and Workshops > ICTAC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ictac/2021s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/2021s
Antonio Cerone:
Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures. Lecture Notes in Computer Science 13490, Springer 2023, ISBN 978-3-031-43677-2
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Dix21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Dix21a
Alan J. Dix:
Modelling Interactions: Digital and Physical. 1-29
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Cerone21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Cerone21
Antonio Cerone:
Modelling and Analysing Cognition and Interaction. 30-72
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Aalst21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Aalst21a
Wil M. P. van der Aalst:
Object-Centric Process Mining: An Introduction. 73-105
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/0001A0M021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/0001A0M021
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro:
Model-Based Engineering for Robotics with RoboChart and RoboTool. 106-151
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Tyler21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Tyler21
Benjamin Tyler:
Formal Methods Adoption in Industry: An Experience Report. 152-161
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Krishnan21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Krishnan21
Padmanabhan Krishnan:
Security Research: Program Analysis Meets Security. 162-168

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.