Jiri Srba
I am associated with Department of Computer Science at Aalborg
University, Denmark.
My availability for writing a peer-review(I am on paternity
leave until the end of July)
(explanation):
| red | I am very sorry but I cannot accept any more reviews for this month
| | yellow | I am already reviewing some papers but might be able to accept one extra review |
| green | I will be most likely able to accept several reviews for this month |
Explanation
I have recently experienced a rapidly increasing demand for reviewing
journal and conference/workshop articles.
As I cannot manage
anymore to accept all the requests, I have decided to post my availability
during different months on my web-page.
Thanks for understanding.
|
| April |
May |
June |
July |
August |
September |
October |
| red |
red |
red |
red |
green |
green |
green |
The main area of my interest is within concurrency theory, in particular:
- software verification
- timed-arc Petri nets and timed automata
- process algebra, modal transition systems, weighted automata
- decidability and complexity issues for various classes of infinite
state systems
Links:
Events:
Pictures:
Jiri Srba
University of Aalborg
Department of Computer Science
Selma Lagerlöfs Vej 300
9220 Aalborg East
Denmark
Office: 1.2.32
Phone: +45 99 40 98 51
Fax : +45 99 40 97 98
Mobil: +45 20 45 35 14
Mobil: +420 608 222962 (during summer and winter holidays)
Email: srba@cs.aau.dk
|
