Radek Sindelár
Orcid: 0000-0001-9599-2767Affiliations:
- Johannes Kepler University Linz, Austria
According to our database1,
Radek Sindelár
authored at least 18 papers
between 2004 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
1
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
2021
IEEE Trans Autom. Sci. Eng., 2021
2019
Flexible Production Systems: Automated Generation of Operations Plans Based on ISA-95 and PDDL.
IEEE Robotics Autom. Lett., 2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
2017
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
2016
Proceedings of the Semantic Web Technologies for Intelligent Engineering Applications, 2016
2015
Integrating heterogeneous engineering knowledge and tools for efficient industrial simulation model support.
Adv. Eng. Informatics, 2015
2014
Simul. Model. Pract. Theory, 2014
2013
Extraction of Automation System Engineering Knowledge for Mapping Plant and Simulation Interfaces.
Proceedings of the Service Orientation in Holonic and Multi Agent Manufacturing and Robotics, 2013
Ontology-based industrial plant description supporting simulation model design and maintenance.
Proceedings of the IECON 2013, 2013
Architecture of a multi-agent system for SCADA level in smart distributed environments.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
2012
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
Semantic design and integration of simulation models in the industrial automation area.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
2011
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011 Workshops, 2011
2010
IEEE Trans. Syst. Man Cybern. Part C, 2010
2007
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2007
2004