Skip to contents Larsen, Kim G. [Other]; Larsen, Kim Guldstrand [Editor] ; FORMATS 1 2003 Marseille Formal modeling and analysis of timed systems : first international workshop, Marseille, France, September 6 - 7, 2003 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2791 Larsen, Kim G. [Editor]; Larsen, Kim Guldstrand [Editor] ; CONCUR 12 2001 Ålborg Concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2154 Larsen, Kim G. [Other]; Larsen, Kim Guldstrand [Editor] ; ICALP 25 1998 Ålborg Automata, languages and programming : 25th international colloquium, ICALP '98, Aalborg, Denmark, July 13 - 17, 1998 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1443 Larsen, Kim Guldstrand [Editor]; Skou, Arne [Editor] ; CAV 3 1991 Ålborg Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Lecture notes in computer science ; 575 Brinksma, Ed [Other]; Cleaveland, Walter R. [Editor]; Larsen, Kim Guldstrand [Editor]; Margaria-Steffen, Tiziana [Editor]; Steffen, Bernhard [Editor] ; TACAS 1 1995 Århus Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 1019 Larsen, Kim Guldstrand [Author] ; Niebert, Peter [Other] Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2004 Published in: Lecture notes in computer science ; 279100 Groote, Jan Friso [Author] ; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Books View online Schließen > Access https://library.oapen.org/bitstream/id/2214b45e-401c-40bc-84e0-c4fc376a11d1/9783030720162.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021 Groote, Jan Friso [Author] ; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Books View online Schließen > Access https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021 Brinksma, Ed [Author] ; Larsen, Kim Guldstrand [Other] Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Published in: Lecture notes in computer science ; 2404 Larsen, Kim Guldstrand [Other] ; CAV 3 1991 Ålborg Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1992 ; Online-Ausg., Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 57500 Larsen, Kim Guldstrand [Editor]; Willemse, Tim [Editor] Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings - [1st ed. 2019] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2019 Published in: Programming and Software Engineering ; 11687- Springer eBooks ; Computer Science D'Souza, Deepak [Author] ; Lal, Akash [Editor]; Larsen, Kim Guldstrand [Editor] Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2015 Published in: Lecture notes in computer science ; 8931 Groote, Jan Friso [Editor]; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I - [1st ed. 2021.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021. Published in: Theoretical Computer Science and General Issues ; 12651 Groote, Jan Friso [Editor]; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Books View online Schließen > Access https://directory.doabooks.org/handle/20.500.12854/67926 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021 Published in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Groote, Jan Friso [Editor]; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II - [1st ed. 2021.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021. Published in: Theoretical Computer Science and General Issues ; 12652 Groote, Jan Friso [Editor]; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Books View online Schließen > Access https://directory.doabooks.org/handle/20.500.12854/67936 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021 Published in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues Schwammberger, Maike [Author] ; Olderog, Ernst-Rüdiger [Degree supervisor]; Larsen, Kim Guldstrand [Degree supervisor] Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic Books View online Schließen > Access http://oops.uni-oldenburg.de/4961 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oldenburg, [2020] Larsen, Kim Guldstrand [Editor]; Sokolsky, Oleg [Editor]; Wang, Ji [Editor] Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10606 Larsen, Kim Guldstrand [Editor]; Potapov, Igor [Editor]; Srba, Jiří [Editor] Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 9899 Schwammberger, Maike [Author] ; Olderog, Ernst-Rüdiger [Degree supervisor]; Larsen, Kim Guldstrand [Degree supervisor] Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic Books View online Schließen > Access https://d-nb.info/1227579608/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oldenburg: BIS der Universität Oldenburg, 2020
Larsen, Kim G. [Other]; Larsen, Kim Guldstrand [Editor] ; FORMATS 1 2003 Marseille Formal modeling and analysis of timed systems : first international workshop, Marseille, France, September 6 - 7, 2003 ; revised papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2791
Larsen, Kim G. [Editor]; Larsen, Kim Guldstrand [Editor] ; CONCUR 12 2001 Ålborg Concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2154
Larsen, Kim G. [Other]; Larsen, Kim Guldstrand [Editor] ; ICALP 25 1998 Ålborg Automata, languages and programming : 25th international colloquium, ICALP '98, Aalborg, Denmark, July 13 - 17, 1998 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1443
Larsen, Kim Guldstrand [Editor]; Skou, Arne [Editor] ; CAV 3 1991 Ålborg Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Lecture notes in computer science ; 575
Brinksma, Ed [Other]; Cleaveland, Walter R. [Editor]; Larsen, Kim Guldstrand [Editor]; Margaria-Steffen, Tiziana [Editor]; Steffen, Bernhard [Editor] ; TACAS 1 1995 Århus Tools and algorithms for the construction and analysis of systems : first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 1019
Larsen, Kim Guldstrand [Author] ; Niebert, Peter [Other] Formal Modeling and Analysis of Timed Systems : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2004 Published in: Lecture notes in computer science ; 279100
Groote, Jan Friso [Author] ; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Books View online Schließen > Access https://library.oapen.org/bitstream/id/2214b45e-401c-40bc-84e0-c4fc376a11d1/9783030720162.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021
> Access https://library.oapen.org/bitstream/id/2214b45e-401c-40bc-84e0-c4fc376a11d1/9783030720162.pdf Show more show less
Groote, Jan Friso [Author] ; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Books View online Schließen > Access https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021
> Access https://library.oapen.org/bitstream/id/a0c05cf4-1de4-4237-9543-824426acd0d2/9783030720131.pdf Show more show less
Brinksma, Ed [Author] ; Larsen, Kim Guldstrand [Other] Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002 Published in: Lecture notes in computer science ; 2404
Larsen, Kim Guldstrand [Other] ; CAV 3 1991 Ålborg Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1 - 4, 1991 ; proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1992 ; Online-Ausg., Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 57500
Larsen, Kim Guldstrand [Editor]; Willemse, Tim [Editor] Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings - [1st ed. 2019] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2019 Published in: Programming and Software Engineering ; 11687- Springer eBooks ; Computer Science
D'Souza, Deepak [Author] ; Lal, Akash [Editor]; Larsen, Kim Guldstrand [Editor] Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer, 2015 Published in: Lecture notes in computer science ; 8931
Groote, Jan Friso [Editor]; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I - [1st ed. 2021.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021. Published in: Theoretical Computer Science and General Issues ; 12651
Groote, Jan Friso [Editor]; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I Books View online Schließen > Access https://directory.doabooks.org/handle/20.500.12854/67926 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021 Published in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Groote, Jan Friso [Editor]; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II - [1st ed. 2021.] Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021. Published in: Theoretical Computer Science and General Issues ; 12652
Groote, Jan Friso [Editor]; Larsen, Kim Guldstrand [Editor] Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II Books View online Schließen > Access https://directory.doabooks.org/handle/20.500.12854/67936 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Erscheinungsort nicht ermittelbar]: Springer Nature, 2021 Published in: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Schwammberger, Maike [Author] ; Olderog, Ernst-Rüdiger [Degree supervisor]; Larsen, Kim Guldstrand [Degree supervisor] Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic Books View online Schließen > Access http://oops.uni-oldenburg.de/4961 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oldenburg, [2020]
Larsen, Kim Guldstrand [Editor]; Sokolsky, Oleg [Editor]; Wang, Ji [Editor] Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10606
Larsen, Kim Guldstrand [Editor]; Potapov, Igor [Editor]; Srba, Jiří [Editor] Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 9899
Schwammberger, Maike [Author] ; Olderog, Ernst-Rüdiger [Degree supervisor]; Larsen, Kim Guldstrand [Degree supervisor] Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic Books View online Schließen > Access https://d-nb.info/1227579608/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oldenburg: BIS der Universität Oldenburg, 2020
> Media type Skip to next facet Articles (128) Wert ausschließen Books (23) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (5) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (28) Wert ausschließen Without Specification (119) Wert ausschließen Show more show less
> Language Skip to next facet Not determined (103) Wert ausschließen English (49) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (23) Wert ausschließen Mathmatics (4) Wert ausschließen Sociology (2) Wert ausschließen Technology (2) Wert ausschließen General (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Physics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Larsen, Kim Guldstrand (116) Wert ausschließen Guldstrand Larsen, Kim (31) Wert ausschließen Srba, Jiří (22) Wert ausschließen Legay, Axel (20) Wert ausschließen Jensen, Peter Gjøl (17) Wert ausschließen David, Alexandre (16) Wert ausschließen Mikučionis, Marius (12) Wert ausschließen Mardare, Radu (11) Wert ausschließen Hansen, René Rydhof (10) Wert ausschließen Nyman, Ulrik (10) Wert ausschließen Poulsen, Danny Bøgsted (8) Wert ausschließen Bacci, Giovanni (7) Wert ausschließen Bacci, Giorgio (6) Wert ausschließen Groote, Jan Friso (6) Wert ausschließen Lorber, Florian (6) Wert ausschließen Mariegaard, Anders (6) Wert ausschließen Nielsen, Brian (6) Wert ausschließen Taankvist, Jakob Haahr (6) Wert ausschließen Enevoldsen, Søren (5) Wert ausschließen Kiviriga, Andrej (5) Wert ausschließen Skou, Arne (5) Wert ausschließen Ashok, Pranav (4) Wert ausschließen Bulychev, Peter (4) Wert ausschließen Hansen, Mikkel (4) Wert ausschließen Jaeger, Manfred (4) Wert ausschließen Křetínský, Jan (4) Wert ausschließen Olesen, Mads Chr (4) Wert ausschließen Rasmussen, Jacob Illum (4) Wert ausschließen Cassez, Franck (3) Wert ausschließen Fahrenberg, Uli (3) Wert ausschließen Jensen, Mathias Claus (3) Wert ausschließen Larsen, Kim G. (3) Wert ausschließen Wognsen, Erik Ramsgaard (3) Wert ausschließen Xue, Bingtian (3) Wert ausschließen Althoff, Matthias (2) Wert ausschließen Anvari-Moghaddam, Amjad (2) Wert ausschließen Asadi, Somayeh (2) Wert ausschließen Baier, Christel (2) Wert ausschließen Bauer, Sebastian S. (2) Wert ausschließen Brinksma, Ed (2) Wert ausschließen Bøgsted Poulsen, Danny (2) Wert ausschließen CAV 3 1991 Ålborg (2) Wert ausschließen Christel Baier and Manfred Droste and Paul Gastin and Kim Guldstrand Larsen (2) Wert ausschließen Dalsgaard, Andreas Engelbredt (2) Wert ausschließen Droste, Manfred (2) Wert ausschließen Fang, Huixing (2) Wert ausschließen Gastin, Paul (2) Wert ausschließen Guldstrand Larsen R, Kim (2) Wert ausschließen Hasrat, Imran Riaz (2) Wert ausschließen Jensen, Jonas Finnemann (2) Wert ausschließen Jensen, Peter G. (2) Wert ausschließen Karra, Shyam Lal (2) Wert ausschließen Kauffman, Sean (2) Wert ausschließen Kim Guldstrand Larsen (2) Wert ausschließen Kim, Jin Hyun (2) Wert ausschließen Kristjansen, Martin (2) Wert ausschließen Laursen, Simon (2) Wert ausschließen Le Coënt, Adrien (2) Wert ausschließen Mao, Hua (2) Wert ausschließen Mohammadi-ivatloo, Behnam (2) Wert ausschließen Muñiz, Marco (2) Wert ausschließen Nielsen, Thomas Dyhre (2) Wert ausschließen Oestergaard, Lars Kaerlund (2) Wert ausschließen Pedersen, Mathias Ruggaard (2) Wert ausschließen Raskin, Jean-François (2) Wert ausschließen Reynier, Pierre-Alain (2) Wert ausschließen Schwammberger, Maike (2) Wert ausschließen Sedwards, Sean (2) Wert ausschließen Shahidehpour, Mohammad (2) Wert ausschließen Steffen, Bernhard (2) Wert ausschließen Sørensen, Mathias Grund (2) Wert ausschließen Traonouez, Louis-Marie (2) Wert ausschließen Wąsowski, Andrzej (2) Wert ausschließen Zhang, Zhengkui (2) Wert ausschließen Aichernig, Bernhard K. (1) Wert ausschließen Albano, Michele (1) Wert ausschließen Andreas E. Dalsgaard and Mads Chr. Olesen and Martin Toft and René Rydhof Hansen and Kim Guldstrand Larsen (1) Wert ausschließen Arora, Shiraj (1) Wert ausschließen Baunach, Marcel (1) Wert ausschließen Behrmann, Gerd (1) Wert ausschließen Beneš, Nikola (1) Wert ausschließen Bilgram, Alexander (1) Wert ausschließen Boudjadar, Abdeldjalil (1) Wert ausschließen Bouyer, Patricia (1) Wert ausschließen Brorholt, Asger Horn (1) Wert ausschließen Bøgedal, Tobias Worm (1) Wert ausschließen Bøgh, Simon (1) Wert ausschließen Bønneland, Frederik M. (1) Wert ausschließen CONCUR 12 2001 Ålborg (1) Wert ausschließen Cardelli, Luca (1) Wert ausschließen Chadli, Mounir (1) Wert ausschließen Chen, Yingke (1) Wert ausschließen Christensen, Anton (1) Wert ausschließen Christoffersen, Peter (1) Wert ausschließen Claus Jensen, Mathias (1) Wert ausschließen Cleaveland, Walter R. (1) Wert ausschließen D'Souza, Deepak (1) Wert ausschließen Dalsgaard, Andreas E. (1) Wert ausschließen Delahaye, Benoît (1) Wert ausschließen Dierl, Simon (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer International Publishing (CrossRef) (49) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (41) Wert ausschließen Verbunddaten SWB (22) Wert ausschließen Lizenzfreie Online-Ressourcen (10) Wert ausschließen Springer Nature Switzerland (CrossRef) (9) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (8) Wert ausschließen BASE - Bielefeld Academic Search Engine (6) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (5) Wert ausschließen Elsevier BV (CrossRef) (4) Wert ausschließen Open Publishing Association (CrossRef) (3) Wert ausschließen DOAJ Directory of Open Access Journals (2) Wert ausschließen Diss online (2) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (2) Wert ausschließen Association for the Advancement of Artificial Intelligence (AAAI) (CrossRef) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Munich University of Technology (TUM): mediaTUM (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen Show more show less