Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, 2018, p.31-38
2018
Link zum Volltext


Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification, 2010, p.39-48
2010
Link zum Volltext


Proceedings of the 2nd International Conference on Networking, Information Systems & Security, 2019, p.1-8
2019
Link zum Volltext


Communications of the ACM, 2015-01, Vol.58 (1), p.105-115
2015
Link zum Volltext

Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications, 2015, p.27-32
2015
Link zum Volltext

2012 ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), 2012, p.3-14
2012

Proceedings of the 20th ACM SIGKDD international conference on Knowledge discovery and data mining, 2014, p.1819-1828
2014
Link zum Volltext



29th International Conference on Software Engineering (ICSE'07), 2007, p.344-353
2007

Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, 2013, p.133-150
2013
Link zum Volltext


2012 45th Annual IEEE/ACM International Symposium on Microarchitecture, 2012, p.437-448
2012

Knowledge Management in Organizations, p.72-83
Link zum Volltext

Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation, 2004, p.753-760
2004

Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining, 2009, p.497-506
2009
Link zum Volltext



Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation, 2018, p.239-246
2018
Link zum Volltext

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018, p.51-60
2018
Link zum Volltext

Proceedings of the 2018 Designing Interactive Systems Conference, 2018, p.361-372
2018
Link zum Volltext

2019 24th Asia and South Pacific Design Automation Conference (ASP-DAC), 2019, p.203-209
2019
Link zum Volltext