Evaluator EU Project ADAM^2: Analysis, Design And Manufacturing using
Microstructures
January 2021, September 2022, April 2024.
Evaluator EU Project DECODER: DEveloper COmpanion for Documented and
annotatEd code Reference
April 2021, January 2020.
Referee for Journal of Logical and Algebraic Methods in Programming
April 2020.
Evaluator EU Programme HORIZON 2020 FET OPEN
Remote evaluation of proposals, 2015–2020.
Reviewer for Open Computer Science, Since 2012.
Reviewer for Acta Electrotechnica et Informatica, May 2018.
Referee for International Journal of Information Technology and Management (IJITM), December 2015.
Referee for The Journal of Supercomputing, Regularly since September 2013.
Referee for Concurrency and Computation: Practice and Experience, January 2015, April 2015.
Referee for International Journal of Parallel, Emergent and Distributed Systems, July 2014.
Referee for IEEE Transactions on Services Computing (TSC), July 2013.
Evaluator EU Programme IST Future and Emerging Technologies (FET)
Remote evaluation of proposal, 2013.
Member of the Editorial Board and Referee for the Journal of Universal Computer
Science
Springer, Germany, since 1999.
Referee for Conferences on Intelligent Computer Mathematics (CICM), March 2012.
Referee for Central European Journal of Computer Science, Versita, March 2012.
Referee for Information and Software Technology, Elsevier, March 2012.
Referee for IEEE Transactions of Parallel and Distributed Systems (TPDS), July 2011.
Reviewer for Promotion Board of Kuwait University. Kuwait, August 2010.
Referee ISSAC 2010
International Symposium on Symbolic and Algebraic Computation, Munich, Germany,
July 25–28, 2010.
Referee Journal of Symbolic Computation
Academic Press, London, UK, since 1995.
Referee Korea Research Foundation
June 2009.
Evaluator EU Project SENSORIA
Project reviews: November 8-9, 2007, Sophia Antipolis, France and November 6-7,
2008, Barcelona, Spain.
Referee IEEE Internet Computing
February 2008.
Referee ISSAC 2008
International Symposium on Symbolic and Algebraic Computation, Hagenberg, Austria,
July 20–23, 2008.
Referee Calculemus 2007
14th Symposium on the Integration of Symbolic Computation and Mechanized
Reasoning, Hagenberg, Austria, June 27-30, 2007.
Referee ISSAC 2007
International Symposium on Symbolic and Algebraic Computation, Waterloo, Ontario,
Canada, July 29-August 1, 2007.
Evaluator EU Project Types
Project reviews: August 29, 2006, Brussels, Belgium; October 19, 2007, Brussels,
Belgium.
Referee IFL 2006
18th International Symposium on Implementation and Application of Functional
Languages IFL’06, Budapest, Hungary, September 4-6, 2006.
Referee “Handbook of Computer Networks”
Hossein Bidgoli (ed), John Wiley & Sons, 2006.
Evaluator EU Project APPSEM-II
Project review, October 5, 2006, Graz, Austria.
Referee Cluster Computing
Springer Netherlands, 2006.
Referee Computing Reviews
Computing Reviews, ACM, since 2006.
Referee TFP 2006
Seventh Symposium on Trends in Functional Programming University of Nottingham,
UK, 19 - 21 April, 2006.
Referee Informatica
An International Journal of Computing and Informatics, Slovene Society Informatika,
October 2005.
Evaluator EU Programme Global Computing Initiative
Evaluation panel, Brussels, Belgium, May 28 – June 1, 2001.
On site refereeing, December 2, 2001.
Evaluation panel, Rovereto, Italy, February 11–13, 2003.
Evaluation panel, Rovereto, Italy, March 10–11, 2004.
Evaluation panel, Brussels, Belgium, October 25–29, 2004.
Evaluation panel, Edinburgh, Scotland, April 4-6, 2005.
Evaluator EU Programme IST Future and Emerging Technologies (FET-Open)
Remote evaluation of proposals, 2004 and 2005.
Referee ISSAC 2005
International Symposium on Symbolic and Algebraic Computation, July 24–27, 2005,
Bejing, China.
Referee IFL 2004
International Workshop on Implementation and Application of Functional Languages,
September 8–10, Lübeck, Germany.
Referee ISSAC 2004
International Symposium on Symbolic and Algebraic Computation, July 4–7, Santander,
Spain.
Referee Concurrency and Computation: Practice and Experience
John Wiley & Sons, April 2002, November 2002.
Industrial Consulting
Austrian hardware and software development company, 2001.
Referee Calculemus’2001.
9th Symposium on the Integration of Symbolic Computation and Mechanized
Reasoning, Siena, Italy, June 21st-22nd, 2001.
Referee Software — Practice & Experience.
John Wiley & Sons, March 2001.
Referee ASCM’2000
4th Asian Symposium on Computer Mathematics, Chiang Mai, Thailand, December
17-21, 2000.
Referee Euro-Par 2000
European Conference on Parallel Computing, Munich, Germany, August 29 –
September 1, 2000.
Referee Euro-Par’99
European Conference on Parallel Processing, Tolouse, France, August 31 – September
3, 1999.
Referee ISSAC 99
International Symposium on Symbolic and Algebraic Computation, July 28-31, 1999,
Vancouver, Canada.
Referee International Journal of Computer Algebra in Mathematics Education
Special issue for the 1998 IMACS Conference on Applications of Computer Algebra,
Prague, Czech Republic, August 9–11, 1998.
Referee Mathematical Foundations of Computer Science
23rd International Symposium, Brno, Czech Republic, August 24-28, 1998.
Referee Computers and Artificial Intelligence Journal
Slovak Academic Press, 1998.
Referee CP97
Third International Conference on Principles and Practice of Constraint Programming,
Schloß Hagenberg, Austria, October 29 – November 1, 1997.
Referee ICPP ’97
International Conference on Parallel Processing, Bloomingdale, IL, August 11–15,
1997.
Referee Euro-Par’97
European conference in Parallel Processing, Passau, Germany, August 26–29, 1997.
Evaluator EU INFO2000 Programme
MIDAS-NET call for proposals, Luxembourg, September 10–17, 1996.
Referee ISCO 96
International Symposium on Design and Implementation of Symbolic Computation
Systems, Karlsruhe, Germany, September 18–20, 1996.
Referee CADE-13
Thirteenth International Conference on Automated Deduction, Rutgers University, New
Brunswick, USA, July 30–August 3, 1996.
Referee EU Long Term Research
European Research and Technological Development Programme in Information
Technologies (Esprit) in the 4th Framework Programme, 1995–1996.
Referee Springer-Verlag
Springer-Verlag, Vienna, Austria, 1995.
Referee IPPS 95
9th International Parallel Processing Symposium, Santa Barbara, California, April
25–28, 1995.
Referee PASCO 94
International Symposium on Parallel Symbolic Computation, Hagenberg, Austria,
September 28–30, 1994.
Referee PPoPP 93
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San
Diego, CA, May 19–21, 1993.
Referee ICALP 92
19th International Colloquium on Automata, Languages and Programming, Vienna,
Austria, July 12–17, 1991.
Referee ACPC 91
1st International Conference of the Austrian Center for Parallel Computation (ACPC),
Salzburg, Austria, September 29 – October 2, 1991.
Referee Parcella 90
Workshop on Parallel Processing by Cellular Automata and Arrays, 1990.
Referee ICALP 90
International Colloquium on Automata, Languages and Programming, 1990.