Benutzerbeiträge von „Tomas Masopust“
Aus International Center for Computational Logic
Für Tomas Masopust Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
28. Januar 2018
- 10:5710:57, 28. Jan. 2018 Unterschied Versionen +92 Bytes Inproceedings3172 Keine Bearbeitungszusammenfassung
- 10:5510:55, 28. Jan. 2018 Unterschied Versionen +34 Bytes Article3040 Keine Bearbeitungszusammenfassung aktuell
- 10:5410:54, 28. Jan. 2018 Unterschied Versionen +35 Bytes Article3039 Keine Bearbeitungszusammenfassung aktuell
27. Oktober 2017
- 13:5913:59, 27. Okt. 2017 Unterschied Versionen +89 Bytes Article3036 Keine Bearbeitungszusammenfassung aktuell
22. September 2017
- 18:1518:15, 22. Sep. 2017 Unterschied Versionen 0 Bytes Tomáš Masopust Keine Bearbeitungszusammenfassung aktuell
4. September 2017
- 13:1413:14, 4. Sep. 2017 Unterschied Versionen +13 Bytes Thema3504 Keine Bearbeitungszusammenfassung aktuell
- 13:1313:13, 4. Sep. 2017 Unterschied Versionen +13 Bytes Thema3504 Keine Bearbeitungszusammenfassung
- 13:1213:12, 4. Sep. 2017 Unterschied Versionen +686 Bytes Thema3502 Keine Bearbeitungszusammenfassung aktuell
- 13:0913:09, 4. Sep. 2017 Unterschied Versionen +14 Bytes Thema3502 Keine Bearbeitungszusammenfassung
- 13:0713:07, 4. Sep. 2017 Unterschied Versionen 0 Bytes Thema3502 Keine Bearbeitungszusammenfassung
- 13:0613:06, 4. Sep. 2017 Unterschied Versionen −14 Bytes Thema3502 Keine Bearbeitungszusammenfassung
- 12:5412:54, 4. Sep. 2017 Unterschied Versionen −1 Byte Thema3502 Keine Bearbeitungszusammenfassung
7. August 2017
- 15:4915:49, 7. Aug. 2017 Unterschied Versionen +30 Bytes N Emmanuelle Dietz Saldanha/en Weiterleitung nach Emmanuelle Dietz erstellt aktuell
- 15:4715:47, 7. Aug. 2017 Unterschied Versionen +33 Bytes N Emmanuelle-Anna Dietz Saldanha/en Weiterleitung nach Emmanuelle Dietz/en erstellt aktuell
- 15:3515:35, 7. Aug. 2017 Unterschied Versionen −10 Bytes Emmanuelle-Anna Dietz Saldanha Weiterleitung nach Emmanuelle Dietz erstellt aktuell
- 15:2915:29, 7. Aug. 2017 Unterschied Versionen +40 Bytes N Emmanuelle-Anna Dietz Saldanha Weiterleitung nach Emmanuelle-Anna Dietz erstellt
24. Juli 2017
- 21:1821:18, 24. Jul. 2017 Unterschied Versionen +14 Bytes Article3038 Keine Bearbeitungszusammenfassung
- 21:1621:16, 24. Jul. 2017 Unterschied Versionen +36 Bytes Article3038 Keine Bearbeitungszusammenfassung
12. Juli 2017
- 15:0815:08, 12. Jul. 2017 Unterschied Versionen +25 Bytes N Article3040/en Page created automatically by parser function on page Article3040 aktuell
- 15:0815:08, 12. Jul. 2017 Unterschied Versionen +981 Bytes N Article3040 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tomáš |ErsterAutorNachname=Masopust }} {{Article |Referiert=1 |Title=Complexity of Verifying Nonblockingness i…“
- 15:0415:04, 12. Jul. 2017 Unterschied Versionen 0 Bytes N Datei:Complexity of Verifying Nonblockingness in Modular Supervisory Control.pdf Keine Bearbeitungszusammenfassung aktuell
11. Juli 2017
- 11:3311:33, 11. Jul. 2017 Unterschied Versionen +25 Bytes N Article3039/en Page created automatically by parser function on page Article3039 aktuell
- 11:3311:33, 11. Jul. 2017 Unterschied Versionen +1.710 Bytes N Article3039 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tomáš |ErsterAutorNachname=Masopust }} {{Article |Referiert=1 |Title= Complexity of Infimal Observable Superla…“
- 11:3211:32, 11. Jul. 2017 Unterschied Versionen 0 Bytes N Datei:Complexity of Infimal Observable Superlanguages.pdf Keine Bearbeitungszusammenfassung aktuell
- 11:2311:23, 11. Jul. 2017 Unterschied Versionen +25 Bytes N Article3038/en Page created automatically by parser function on page Article3038 aktuell
- 11:2311:23, 11. Jul. 2017 Unterschied Versionen +2.061 Bytes N Article3038 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Markus |ErsterAutorNachname=Krötzsch |FurtherAuthors=Tomáš Masopust; Michaël Thomazo; }} {{Article |Referie…“
- 11:2311:23, 11. Jul. 2017 Unterschied Versionen 0 Bytes N Datei:Complexity of Universality and Related Problems for Partially Ordered NFAs.pdf Keine Bearbeitungszusammenfassung aktuell
11. Juni 2017
- 20:0020:00, 11. Jun. 2017 Unterschied Versionen +75 Bytes Article3037 Keine Bearbeitungszusammenfassung aktuell
4. Mai 2017
- 17:5417:54, 4. Mai 2017 Unterschied Versionen +25 Bytes Inproceedings3088 Keine Bearbeitungszusammenfassung aktuell
- 17:5417:54, 4. Mai 2017 Unterschied Versionen 0 Bytes N Datei:1603.00361.pdf Keine Bearbeitungszusammenfassung aktuell
- 17:5217:52, 4. Mai 2017 Unterschied Versionen +22 Bytes Article3037 Keine Bearbeitungszusammenfassung
- 17:5217:52, 4. Mai 2017 Unterschied Versionen 0 Bytes N Datei:Tcs bool.pdf Keine Bearbeitungszusammenfassung aktuell
- 17:4817:48, 4. Mai 2017 Unterschied Versionen +4 Bytes Article3036 Keine Bearbeitungszusammenfassung
- 17:4717:47, 4. Mai 2017 Unterschied Versionen +25 Bytes Article3036 Keine Bearbeitungszusammenfassung
- 17:4717:47, 4. Mai 2017 Unterschied Versionen 0 Bytes N Datei:Most extension.pdf Keine Bearbeitungszusammenfassung aktuell
24. April 2017
- 16:3116:31, 24. Apr. 2017 Unterschied Versionen +34 Bytes Article3036 Keine Bearbeitungszusammenfassung
11. April 2017
- 14:4314:43, 11. Apr. 2017 Unterschied Versionen +10 Bytes Tomáš Masopust/Seminar Keine Bearbeitungszusammenfassung
7. April 2017
- 10:5010:50, 7. Apr. 2017 Unterschied Versionen +49 Bytes Tomáš Masopust Keine Bearbeitungszusammenfassung
- 10:4810:48, 7. Apr. 2017 Unterschied Versionen +25 Bytes N Article3037/en Page created automatically by parser function on page Article3037 aktuell
- 10:4810:48, 7. Apr. 2017 Unterschied Versionen +1.339 Bytes N Article3037 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tomáš |ErsterAutorNachname=Masopust |FurtherAuthors=Michaël Thomazo; }} {{Article |Referiert=1 |Title=On boo…“
- 10:4110:41, 7. Apr. 2017 Unterschied Versionen +25 Bytes N Article3036/en Page created automatically by parser function on page Article3036 aktuell
- 10:4110:41, 7. Apr. 2017 Unterschied Versionen +1.186 Bytes N Article3036 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jan |ErsterAutorNachname=Komenda |FurtherAuthors=Tomáš Masopust; }} {{Article |Referiert=1 |Title=Computation…“
6. April 2017
- 14:4414:44, 6. Apr. 2017 Unterschied Versionen +20 Bytes N Question Answering over Real-World Knowledge Graphs/en Page created automatically by parser function on page Question Answering over Real-World Knowledge Graphs aktuell
- 14:4414:44, 6. Apr. 2017 Unterschied Versionen +1.458 Bytes N Question Answering over Real-World Knowledge Graphs Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Question Answering over Real-World Knowledge Graphs |Beschreibung EN=With more and more data created and stored in databases there i…“
- 14:4114:41, 6. Apr. 2017 Unterschied Versionen +28 Bytes Tomáš Masopust/Seminar Keine Bearbeitungszusammenfassung
- 14:4014:40, 6. Apr. 2017 Unterschied Versionen +71 Bytes Tomáš Masopust/Seminar Keine Bearbeitungszusammenfassung
5. April 2017
- 13:2913:29, 5. Apr. 2017 Unterschied Versionen +7 Bytes Tomáš Masopust/Seminar Keine Bearbeitungszusammenfassung
4. April 2017
- 12:5312:53, 4. Apr. 2017 Unterschied Versionen +9 Bytes Tomáš Masopust/Seminar Keine Bearbeitungszusammenfassung
29. März 2017
- 16:1016:10, 29. Mär. 2017 Unterschied Versionen 0 Bytes Tomáš Masopust/Seminar Keine Bearbeitungszusammenfassung
23. März 2017
- 11:0511:05, 23. Mär. 2017 Unterschied Versionen +10 Bytes Tomáš Masopust/Seminar Keine Bearbeitungszusammenfassung