FORMAL MODELS
Experts
- Jan Mendling
- Hajo A. Reijers
- Marcello La Rosa
- Marlon Dumas
- Yamine Aït Ameur
- Yingxu Wang
- Henrik Leopold
- Jürgen Münch
- Mathias Weske
- Wil M. P. van der Aalst
- Luciano García-Bañuelos
- Manfred Reichert
- Marco Ragni
- Artem Polyvyanyy
- Remco M. Dijkman
- Matthias Weidlich
- Jan Treur
- John-Jules Ch. Meyer
- Steve Reeves
- Martín Soto
- Jian-Bo Yang
- Carolyn L. Talcott
- Barbara Weber
- Dong-Ling Xu
- Heiner Stuckenschmidt
- Arthur H. M. ter Hofstede
- Chiara Ghidini
- Fausto Giunchiglia
- Jochen Malte Küster
- Joeri Engelfriet
- Rüdiger Pryss
- Valeriy Vyatkin
- Jochen De Weerdt
- Thomas Eiter
- Albert Mo Kim Cheng
- Viorica Sofronie-Stokkermans
- Mira Kajko-Mattsson
- Khurram Shahzad
- Antoni Ligeza
Venues
- CoRR
- J. Symb. Log.
- CogSci
- IJCAI
- AAAI
- Artif. Intell.
- Theor. Comput. Sci.
- Electron. Notes Theor. Comput. Sci.
- Synth.
- Ann. Pure Appl. Log.
- HICSS
- SEKE
- IEEE Access
- ICFEM
- Business Process Management Workshops
- Expert Syst. Appl.
- ECAI
- SMC
- Math. Log. Q.
- VSTTE
- AAMAS
- WSC
- Formal Aspects Comput.
- ER
- Softw. Syst. Model.
- J. Philos. Log.
- Stud Logica
- Inf. Sci.
- SAC
- Knowl. Based Syst.
- BPM
- Cogn. Sci.
- ICLR
- Notre Dame J. Formal Log.
- ISPW
- IEEE Trans. Software Eng.
- Inf. Syst.
- PACIS
- Math. Struct. Comput. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend