-
1دورية أكاديمية
المؤلفون: Seceleanu, Cristina, Pettersson, Paul
المصدر: Journal of Logical and Algebraic Methods in Programming ; volume 84, issue 1, page 1 ; ISSN 2352-2208
مصطلحات موضوعية: Software, Theoretical Computer Science, Computational Theory and Mathematics, Logic
الإتاحة: https://doi.org/10.1016/j.jlamp.2014.11.002Test
https://api.elsevier.com/content/article/PII:S235222081400090X?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S235222081400090X?httpAccept=text/plainTest -
2دورية أكاديمية
المؤلفون: Slutej, Davor, Håkansson, John, Suryadevara, Jagadish, Seceleanu, Cristina, Pettersson, Paul
المصدر: Electronic Notes in Theoretical Computer Science ; volume 253, issue 1, page 161-178 ; ISSN 1571-0661
مصطلحات موضوعية: General Computer Science, Theoretical Computer Science
الإتاحة: https://doi.org/10.1016/j.entcs.2009.09.034Test
https://api.elsevier.com/content/article/PII:S1571066109003880?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S1571066109003880?httpAccept=text/plainTest -
3دورية أكاديمية
المؤلفون: Fersman, Elena, Krcal, Pavel, Pettersson, Paul, Yi, Wang
المصدر: Information and Computation ; volume 205, issue 8, page 1149-1172 ; ISSN 0890-5401
مصطلحات موضوعية: Computational Theory and Mathematics, Computer Science Applications, Information Systems, Theoretical Computer Science
الإتاحة: https://doi.org/10.1016/j.ic.2007.01.009Test
https://api.elsevier.com/content/article/PII:S0890540107000089?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0890540107000089?httpAccept=text/plainTest -
4دورية أكاديمية
المؤلفون: Hessel, Anders, Pettersson, Paul
المصدر: Electronic Notes in Theoretical Computer Science ; volume 190, issue 2, page 47-59 ; ISSN 1571-0661
مصطلحات موضوعية: General Computer Science, Theoretical Computer Science
الإتاحة: https://doi.org/10.1016/j.entcs.2007.08.005Test
https://api.elsevier.com/content/article/PII:S1571066107005403?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S1571066107005403?httpAccept=text/plainTest -
5دورية أكاديمية
المؤلفون: Carlson, Jan, Håkansson, John, Pettersson, Paul
المصدر: Electronic Notes in Theoretical Computer Science ; volume 160, page 127-140 ; ISSN 1571-0661
مصطلحات موضوعية: General Computer Science, Theoretical Computer Science
الإتاحة: https://doi.org/10.1016/j.entcs.2006.05.019Test
https://api.elsevier.com/content/article/PII:S1571066106003811?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S1571066106003811?httpAccept=text/plainTest -
6دورية أكاديمية
المؤلفون: Fersman, Elena, Mokrushin, Leonid, Pettersson, Paul, Yi, Wang
المصدر: Theoretical Computer Science ; volume 354, issue 2, page 301-317 ; ISSN 0304-3975
مصطلحات موضوعية: General Computer Science, Theoretical Computer Science
الإتاحة: https://doi.org/10.1016/j.tcs.2005.11.019Test
https://api.elsevier.com/content/article/PII:S0304397505008686?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S0304397505008686?httpAccept=text/plainTest -
7دورية أكاديمية
المؤلفون: Bengtsson, Johan, David Griffioen, W.O., Kristoffersen, Kåre J., Larsen, Kim G., Larsson, Fredrik, Pettersson, Paul, Yi, Wang
المصدر: The Journal of Logic and Algebraic Programming ; volume 52-53, page 163-181 ; ISSN 1567-8326
مصطلحات موضوعية: Computational Theory and Mathematics, Logic, Theoretical Computer Science, Software
الإتاحة: https://doi.org/10.1016/s1567-8326Test(02)00036-x
https://api.elsevier.com/content/article/PII:S156783260200036X?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S156783260200036X?httpAccept=text/plainTest -
8
المؤلفون: Behrmann, Gerd, Fehnker, Ansgar, Hune, Thomas, Larsen, Kim Guldstrand, Pettersson, Paul, Romijn, Judi, Vaandrager, Frits W., Benedetto, Maria Domenica Di, Sangiovanni-Vincentelli, Alberto L.
المصدر: Hybrid Systems: Computation and Control ISBN: 9783540418665
HSCC
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings, 147-161
STARTPAGE=147;ENDPAGE=161;TITLE=Hybrid Systems: Computation and Controlمصطلحات موضوعية: Theoretical computer science, Reachability, Reachability problem, Timed automaton, State (computer science), Symbolic computation, Data structure, Algorithm, Computer Science::Formal Languages and Automata Theory, Decidability, Mathematics, Automaton
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91065e1d0193dfe471931057997bcac6Test
https://doi.org/10.1007/3-540-45351-2_15Test