661 – 670 of 3656
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2020
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Technical Committee on Networks and Communication Systems [Technical Activities]
(
- Contribution to journal › Scientific review
-
Mark
A Micro-Simulation Study of the Generalized Proportional Allocation Traffic Signal Control
(
- Contribution to journal › Article
-
Mark
HoloScale: horizontal and vertical scaling of cloud resources
2020) 13th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2020(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Collaboration in Open Government Data Ecosystems: Open Cross-sector Sharing and Co-development of Data and Software
2020) 19th IFIP WG 8.5 International Conference, EGOV 2020 In Lecture notes in computer science 12219. p.290-303(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Public Sector Platforms going Open: Creating and Growing an Ecosystem with Open Collaborative Development
2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Interference-free OFDM embedding of wake-up signals for low-power wake-up receivers
(
- Contribution to journal › Article
-
Mark
Energy Consumption for Securing Lightweight IoT Protocols
2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Getting Started with Chaos Engineering – design of an implementation framework in practice
2020)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Content and Resource Management in Edge Networks
2020)(
- Thesis › Doctoral thesis (compilation)