Bert Lisser
According to our database1,
Bert Lisser
authored at least 13 papers
between 1999 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
2014
0
1
2
3
1
1
1
1
1
1
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cwi.nl
On csauthors.net:
Bibliography
2015
Sci. Comput. Program., 2015
2011
Proceedings of the Software Language Engineering - 4th International Conference, 2011
2009
Proceedings of the Fundamentals of Software Engineering, 2009
2008
Proceedings of the Algebraic Methodology and Software Technology, 2008
2007
Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
2006
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006
2003
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
2002
ACM SIGPLAN Notices, 2002
2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999