Author:
Baier Christel,Klüppelholz Sascha,de Meer Hermann,Niedermeier Florian,Wunderlich Sascha
Publisher
Springer International Publishing
Reference31 articles.
1. Lecture Notes in Computer Science;C Baier,2014
2. Lecture Notes in Computer Science;C Baier,2014
3. Baier, C., Klein, J., Klüppelholz, S., Wunderlich, S.: Weight monitoring with linear temporal logic: complexity and decidability. In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 11:1–11:10. ACM (2014)
4. Baier, C., Klüppelholz, S., de Meer, H., Niedermeier, F., Wunderlich, S.: Greener bits: formal analysis of demand response. Technical report, TU Dresden (2016). http://www.tcs.inf.tu-dresden.de/ALGI/PUB/ATVA16/
5. Balijepalli, V., Pradhan, V., Khaparde, S., Shereef, R.: Review of demand response under smart grid paradigm. In: 2011 IEEE PES on Innovative Smart Grid Technologies-India (ISGT India), pp. 236–243. IEEE (2011)