Gabor Simko
According to our database1,
Gabor Simko
authored at least 20 papers
between 2012 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the IEEE International Conference on Acoustics, 2019
Proceedings of the IEEE Automatic Speech Recognition and Understanding Workshop, 2019
2018
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018
2017
Proceedings of the 18th Annual Conference of the International Speech Communication Association, 2017
Endpoint Detection Using Grid Long Short-Term Memory Networks for Streaming Speech Recognition.
Proceedings of the 18th Annual Conference of the International Speech Communication Association, 2017
Proceedings of the 2017 IEEE Automatic Speech Recognition and Understanding Workshop, 2017
2016
Proceedings of the 17th Annual Conference of the International Speech Communication Association, 2016
2015
2014
Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems.
PhD thesis, 2014
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014
2013
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013
Proceedings of the International Conference on Embedded Software, 2013
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems.
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013
2012
Active Monitoring using Real-time Metric Linear Temporal Logic Specifications.
Proceedings of the HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, Vilamoura, Algarve, Portugal, 1, 2012