Modelle und Theorie Verteilter Systeme (MTV): Mitteilungen

Haupt-Navigation

EPRESS/SOS 2020 - Programmkomitee [1]
Uwe Nestmann wurde ins Programmkomitee zur EXPRESS/SOS eingeladen.

Artikel zur Veröffentlichung akzeptiert [2]
Der Artikel "Distributability of Mobile Ambients" von Kirstin Peters und Uwe Nestmann wurde am 5.12.2019 für die Publikation in einer speziellen Ausgabe von Information and Computation, die ausgewählten Arbeiten...

Artikel zur Veröffentlichung akzeptiert [3]
Artikel von Dr. Kirstin Peters, Benjamin Bisping und Uwe Nestmann "Coupled Similarity: The First 32 Years" wurde für die Veröffentlichung in Acta Informatica akzeptiert. Veröffentlichungsdatum tba.

ABZ 2020 - Programmkomitee [4]
Uwe Nestmann wurde ins Programmkomitee zur ABZ 2020 eingeladen.

Artikel akzeptiert (EXPRESS/SOS 2019) [5]
Artikel "Immediate Observation in Mediated Population Protocols” akzeptiert bei EXPRESS/SOS 2019 (Co-Autoren Tobias Prehn und Myron Rotter)

Artikel akzeptiert (TACAS 2019) [6]
Artikel "Computing Coupled Similarity” akzeptiert bei TACAS 2019 (Co-Autoren Benjamin Bisping und Uwe Nestmann)(Rate 29/119, 24%)

Artikel akzeptiert (ICTAC 2019) [7]
Artikel "Taming Concurrency for Verification Using Multiparty Session Types” akzeptiert bei ICTAC 2019 (Co-Autoren Kirstin Peters, Christoph Wagner und Uwe Nestmann)(Rate 20/138, 14%)

News 1 bis 7 von 59

<< Erste < Vorherige 1-7 8-14 [8] 15-21 [9] 22-28 [10] 29-35 [11] 36-42 [12] 43-49 [13] Nächste > [14] Letzte >> [15]

------ Links: ------

[1] https://www.mtv.tu-berlin.de/menue/home/mitteilunge
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6173&
cHash=bff7decb6aa1bb1976f2e7059360cc56

[2] https://www.mtv.tu-berlin.de/menue/home/mitteilunge
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6058&
cHash=baa68dbf683ee588249c260a2cf90fbe

[3] https://www.mtv.tu-berlin.de/menue/home/mitteilunge
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=6009&
cHash=899796742f9c48948010828fa594a718

[4] https://www.mtv.tu-berlin.de/menue/home/mitteilunge
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=5941&
cHash=07aba0fe5c37fce5d3feecd9b3bd7639

[5] https://www.mtv.tu-berlin.de/menue/home/mitteilunge
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=5906&
cHash=eb07921abeae338ce479937dc7ccdd99

[6] https://www.mtv.tu-berlin.de/menue/home/mitteilunge
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=5900&
cHash=4d368942091b3239a30c019afd42c69d

[7] https://www.mtv.tu-berlin.de/menue/home/mitteilunge
n/mitteilungen_detail/?tx_ttnews%5Btt_news%5D=5907&
cHash=60c16202e9d82ffe43ae865667318c9d

[8] https://www.mtv.tu-berlin.de/menue/forschung/mittei
lungen/?tx_ttnews%5Bpointer%5D=1&cHash=72e85aee1bd8
a92baeef272ab336cad3

[9] https://www.mtv.tu-berlin.de/menue/forschung/mittei
lungen/?tx_ttnews%5Bpointer%5D=2&cHash=61c036d7dc41
b1a58518ba22e64e4871

[10] https://www.mtv.tu-berlin.de/menue/forschung/mitte
ilungen/?tx_ttnews%5Bpointer%5D=3&cHash=54cbd744b45
c1ba4d2d26c18e8aec4db

[11] https://www.mtv.tu-berlin.de/menue/forschung/mitte
ilungen/?tx_ttnews%5Bpointer%5D=4&cHash=ff70e5eae1f
c34e8b88918713a47ec2c

[12] https://www.mtv.tu-berlin.de/menue/forschung/mitte
ilungen/?tx_ttnews%5Bpointer%5D=5&cHash=6238d608bd9
bd3a9eabccfd35855c068

[13] https://www.mtv.tu-berlin.de/menue/forschung/mitte
ilungen/?tx_ttnews%5Bpointer%5D=6&cHash=7afedcd8f5f
4647044afff7d9a537315

[14] https://www.mtv.tu-berlin.de/menue/forschung/mitte
ilungen/?tx_ttnews%5Bpointer%5D=1&cHash=72e85aee1bd
8a92baeef272ab336cad3

[15] https://www.mtv.tu-berlin.de/menue/forschung/mitte
ilungen/?tx_ttnews%5Bpointer%5D=8&cHash=3672e738ad4
ae4545e303c37683cb905