Wykaz publikacji wybranego autora

Adam Sędziwy, dr hab., prof. AGH

profesor nadzwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-2489-3726 orcid iD

ResearcherID: A-5538-2013

Scopus: 26030071500

PBN: 5e70922c878c28a0473911dd

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanychAlgorithm of state diagrams merging in embedded systems modeling / Leszek KOTULSKI, Adam SĘDZIWY // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 3, s. 377–388. — Bibliogr. s. 387–388, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-03/Auto_2011_3_26.pdf

  • słowa kluczowe: systemy wbudowane, Alvis, grafy LTS

    keywords: embedded systems, Alvis, LTS graphs

    cyfrowy identyfikator dokumentu:

2
  • Inter-agent communication protocol supporting distributed graph transformations / Leszek KOTULSKI, Adam SĘDZIWY // W: Problems of dependability and modelling / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2011. — (Monographs of System Dependability ; vol. 4). — ISBN: 978-83-7493-612-5. — S. 143–156. — Bibliogr. s. 155–156

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Labelled transition system generation from Alvis language / Leszek KOTULSKI, Marcin SZPYRKA, Adam SĘDZIWY // W: Knowledge-based and intelligent information and engineering systems : 15th international conference, KES 2011 : Kaiserslautern, Germany, September 12–14, 2011 : proceedings, Pt. 1 / eds. Andreas König, [et al.]. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6881. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-642-23850-5. — S. 180–189. — Bibliogr. s. 189, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Parallel graph transformations supported by replicated complementary graphs / Leszek KOTULSKI, Adam SĘDZIWY // W: Adaptive and natural computing algorithms : 10th International Conference, ICANNGA 2011 : Ljubljana, Slovenia, April 14–16, 2011 : proceedings, Pt. 2 / eds. Andrej Dobnikar, Uroš Lotrič, Branko Šter. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011 + CD-ROM. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 6594. Theoretical Computer Science and General Issues ; ISSN 2512-2010). — ISBN: 978-3-642-20266-7 ; e-ISBN: 978-3-642-20267-4. — S. 254–264. — Bibliogr. s. 264, Abstr.

  • keywords: distributed computing, graph transformations

    cyfrowy identyfikator dokumentu:

5
  • Solving large-scale multipoint lighting design problem using multi-agent environment / SĘDZIWY Adam, KOTULSKI Leszek // Key Engineering Materials ; ISSN 1013-9826. — 2011 vol. 486 spec. iss., s. 179–182. — Bibliogr. s. 182, Abstr.. — Zastosowano procedurę peer review. — Advanced design and manufacture IV / guest eds. Daizhong Su, Kai Xue, Shifan Zhu. — tekst: http://www.scientific.net/KEM.486.179.pdf

  • keywords: graph, distributed computing, lightning design, multi-agent system

    cyfrowy identyfikator dokumentu: 10.4028/www.scientific.net/KEM.486.179

6
  • Transformacja danych GIS do reprezentacji grafowej dla przetwarzania agentowegoTransforming GIS data to graph representation for agent processing / Adam SĘDZIWY // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 3, s. 475–483. — Bibliogr. s. 483, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-03/Auto_2011_3_35.pdf

  • słowa kluczowe: OpenStreetMap, web mapping, JUNG

    keywords: OpenStreetMap, web mapping, JUNG

    cyfrowy identyfikator dokumentu:

7
  • Wyznaczanie optymalnego oświetlenia wspomagane metodami formalnymiOptimal lighting design supported by formal methods / Adam SĘDZIWY // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 135–136. — Bibliogr. s. 135–136, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: