Search results

• REBLS 2016
  |Title=REBLS 2016 : 3rd International Workshop on Reactive and Event-Based Languages & Systems |Field=reactive languages, event-based systems
  489 bytes (56 words) - 19:11, 1 April 2022
• FSTTCS 2021
  Automata, Games and Formal Languages Model Checking and Reactive Synthesis
  2 KB (181 words) - 20:17, 1 April 2022
• FOSSACS 2006
  *Models of concurrent, reactive, distributed, and mobile systems *Semantics of programming languages
  1 KB (152 words) - 20:24, 1 April 2022
• SLA++P'08
  (formerly "Synchronous Languages, Applications, and Programming") SLA++P is a workshop dedicated to synchronous languages and the
  6 KB (662 words) - 21:01, 1 April 2022
• ICAART 2011
  ...Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intel * › Reactive AI
  4 KB (425 words) - 19:03, 1 April 2022
• ICAART 2014
  ...Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intel • Agent Communication Languages
  4 KB (440 words) - 19:07, 1 April 2022
• FCT 2009
  * Formal methods: automata and formal languages; computability and nonstandard computing models; algebraic and categorical checking; principles of programming languages; program analysis and transformation; specification, refinement and verific
  2 KB (290 words) - 20:17, 1 April 2022
• ICAART 2012
  ...Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intel * Reactive AI
  4 KB (446 words) - 19:05, 1 April 2022
• AAMAS 2008
  - agent languages - reactive vs deliberative
  3 KB (348 words) - 20:22, 1 April 2022
• FCT 2011
  * automata and formal languages * models of reactive, hybrid and stochastic systems
  3 KB (334 words) - 20:17, 1 April 2022
• FOSSACS 2011
  *Models of concurrent, reactive, distributed, and mobile systems, *Semantics of programming languages,
  2 KB (210 words) - 20:24, 1 April 2022
• FCT 2017
  *automata and formal languages *models of reactive, hybrid and stochastic systems
  3 KB (376 words) - 20:17, 1 April 2022
• FCT 2019
  *automata and formal languages *models of reactive, hybrid, and stochastic systems
  3 KB (398 words) - 20:17, 1 April 2022
• FCT 2021
  *automata and formal languages *models of reactive, hybrid, and stochastic systems
  3 KB (385 words) - 20:41, 1 April 2022
• FCT 2015
  * automata and formal languages * models of reactive, hybrid and stochastic systems
  3 KB (434 words) - 20:17, 1 April 2022
• ICALP 2019
  |Title=46th International Colloquium on Automata, Languages, and Programming The 46th International Colloquium on Automata, Languages, and Programming (ICALP) 2019
  4 KB (563 words) - 20:03, 1 April 2022
• ICALP 2021
  |Title=48th International Colloquium on Automata, Languages, and Programming The 48th International Colloquium on Automata, Languages, and Programming (ICALP) 2021
  4 KB (510 words) - 20:03, 1 April 2022
• ICALP 2020
  |Title=International Colloquium on Automata Languages and Programming The 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020
  5 KB (608 words) - 20:03, 1 April 2022
• ICCNDT 2012
  - XML-Based Languages<br /> - Intelligent Agent-Based Systems, Cognitive and Reactive Distributed AI Systems<br />
  3 KB (468 words) - 19:06, 1 April 2022
• FOSSACS 2008
  *Models of concurrent, reactive, distributed, and mobile systems, *Semantics of programming languages,
  3 KB (360 words) - 20:24, 1 April 2022

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)