Institute of Software Engineering and Programming Languages

Phone+49 451 3101 6501
Email[email protected]
Websitehttp://www.isp.uni-luebeck.de

Postal addressShow on map
Ratzeburger Allee 160, Hs. 64
23562 Lübeck
Germany

8 results

Filter

2021

Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Bartocci, E. (ed.), Falcone, Y. (ed.) & Leucker, M. (ed.), 2021, Springer. (Lecture Notes in Computer Science)(Formal Methods in Outer Space)
Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review
2011

18th International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011
Combi, C. (ed.), Leucker, M. (ed.) & Wolter, F. (ed.), 2011, IEEE.
Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review
2008

Proceedings of the 9th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2008)
Lee, R., Muenchaisri, P. & Dosch, W., 2008, IEEE Computer Society. 992 p.
Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review
2007

14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2007)
Dosch, W. (ed.), Grelck, C. (ed.) & Stümpel, A. (ed.), 2007, 225 p.
Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review
2005
Software Engineering Research and Applications: Second International Conference, SERA 2004
Dosch, W. (ed.), Lee, R. Y. (ed.) & Wu, C. (ed.), 01.12.2005, Springer Verlag. 261 p. (Programming and Software Engineering)
Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review
2004

Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering
Dosch, W. & Debnath, N. K., 2004, International Speech Communication Association (ISCA).
Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review
2003

Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03)
Dosch, W. (ed.) & Lee, R., 2003, ACIS.
Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review
Proceedings of the First Hangzhou-Lübeck Conference on Software Engineering (HL-SE'03).
Chen, C. (ed.), Dosch, W. (ed.), Qian, Y. (ed.) & Lin, H. (ed.), 2003, 113 p.
Research output: Books/Anthologies/Proceedings/Theses › Anthologies › peer-review

Institute of Software Engineering and Programming Languages

Research output

Search results