Benutzerbeiträge von „Rajab Aghamov“
Aus International Center for Computational Logic
Ergebnisse für Rajab Aghamov Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 23 Bearbeitungen. Das Konto wurde am 23. Januar 2023 erstellt.
25. August 2026
- 12:1212:12, 25. Aug. 2026 Unterschied Versionen +21 Inproceedings2598778905 Keine Bearbeitungszusammenfassung aktuell
- 12:1112:11, 25. Aug. 2026 Unterschied Versionen +25 Inproceedings2598778905 Keine Bearbeitungszusammenfassung
- 12:1112:11, 25. Aug. 2026 Unterschied Versionen 0 N Datei:Logo-2 (1) (1).jpg Keine Bearbeitungszusammenfassung aktuell
- 12:1112:11, 25. Aug. 2026 Unterschied Versionen −17 Inproceedings2598778905 Keine Bearbeitungszusammenfassung
- 12:0612:06, 25. Aug. 2026 Unterschied Versionen 0 N Datei:Logo-2 (1).jpg Keine Bearbeitungszusammenfassung aktuell
- 11:5811:58, 25. Aug. 2026 Unterschied Versionen +44 Inproceedings2598778905 Keine Bearbeitungszusammenfassung
- 11:5811:58, 25. Aug. 2026 Unterschied Versionen 0 N Datei:Logo-2.svg Keine Bearbeitungszusammenfassung aktuell
- 11:5611:56, 25. Aug. 2026 Unterschied Versionen +16 Inproceedings3478 Keine Bearbeitungszusammenfassung aktuell
- 11:5611:56, 25. Aug. 2026 Unterschied Versionen 0 N Datei:Cover.svg Keine Bearbeitungszusammenfassung aktuell
- 11:5311:53, 25. Aug. 2026 Unterschied Versionen 0 Article3125 Keine Bearbeitungszusammenfassung aktuell
- 11:5211:52, 25. Aug. 2026 Unterschied Versionen 0 Inproceedings3480 Keine Bearbeitungszusammenfassung aktuell
- 11:5211:52, 25. Aug. 2026 Unterschied Versionen +2.016 N Inproceedings3480 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Andrey Kudinov; Maik Nguyen; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=On Modal Logics of Full Products of Neighborhood Frames |To appear=0 |Year=2026 |Booktitle=Advances in Modal Logic |Publisher=College Publications |Volume=16 |Note=To appear }} {{Publikation Details |Abstract=On the product of two neighborhood frames, three natural neighborhoo…“
- 11:3811:38, 25. Aug. 2026 Unterschied Versionen −43 Article3125 Keine Bearbeitungszusammenfassung
- 11:3511:35, 25. Aug. 2026 Unterschied Versionen +1.779 N Article3125 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer }} {{Article |Referiert=0 |Title=Linear dynamical systems, Formal verification, Linear recurrence sequences, Markov chains |To appear=0 |Year=2026 |Journal=Nonlinear Analysis: Hybrid Systems |Volume=60 |Pages=101680 |Publisher=Elsevier }} {{Publikation Details |Bild=X1751570X.jpg |Abstract=In di…“
- 11:2911:29, 25. Aug. 2026 Unterschied Versionen 0 N Datei:X1751570X.jpg Keine Bearbeitungszusammenfassung aktuell
- 11:1211:12, 25. Aug. 2026 Unterschied Versionen +1.989 N Inproceedings3479 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala; Isa Vialard }} {{Inproceedings |Referiert=1 |Title=Temporal Properties of Conditional Independence in Dynamic Bayesian Networks |To appear=0 |Year=2026 |Booktitle=Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26) |Pages=36601–36609 |Publisher=AAAI Press |Edit…“ aktuell
- 11:1211:12, 25. Aug. 2026 Unterschied Versionen 0 N Datei:AAAI26Proceedings-Cover.jpg Keine Bearbeitungszusammenfassung aktuell
- 07:5707:57, 25. Aug. 2026 Unterschied Versionen +2.044 N Inproceedings3478 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Rupak Majumdar; Joël Ouaknine; Jakob Piribauer; Timm Spork }} {{Inproceedings |Referiert=1 |Title=Model Checking Linear Temporal Logic with Standpoint Modalities |To appear=0 |Year=2025 |Booktitle=Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning |Pages=2--11 |Publisher=I…“
12. Februar 2023
- 22:0622:06, 12. Feb. 2023 Unterschied Versionen +46 Rajab Aghamov Keine Bearbeitungszusammenfassung
9. Februar 2023
- 10:3210:32, 9. Feb. 2023 Unterschied Versionen +36 Rajab Aghamov Keine Bearbeitungszusammenfassung
- 10:3110:31, 9. Feb. 2023 Unterschied Versionen 0 N Datei:Photo 2023-02-01 01-33-37.jpg Keine Bearbeitungszusammenfassung aktuell