Jansen, Nils.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
The making of legal authoritynon-legislative codifications in historical and comparative perspective /
by:
Jansen, Nils.
(Electronic resources)
A journey from process algebra via timed automata to model learningessays dedicated to Frits Vaandrager on the occasion of his 60th birthday /
by:
Bos, Petra van den.; Jansen, Nils.; SpringerLink (Online service); Stoelinga, Marielle.; Vaandrager, Frits,
(Electronic resources)
Formal modeling and analysis of timed systems18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings /
by:
(1998 :); Bertrand, Nathalie.; Jansen, Nils.; SpringerLink (Online service)
(Electronic resources)
Quantitative evaluation of systems20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
(1998 :); Jansen, Nils.; SpringerLink (Online service); Tribastone, Mirco.
(Electronic resources)
Subjects
Law
Theory of Computation.
Software Engineering.
Natural Language Processing (NLP)
Logic in AI.
Mathematics of Computing.
Control Structures and Microprogramming.
Computer systems
Reliability (Engineering)
Legal literature
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Computer simulation
Computer Engineering and Networks.
Artificial Intelligence.
Computer science
Computer System Implementation.
Computer Hardware.
Computer networks
Temporal automata
System analysis
Stochastic processes