Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hartmut Koenig

Increasing the Efficiency of Computer-Aided Protocol Implementations

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
1995English

Related publications

A Study on Optimizing the Efficiency of Location Aided Protocol

International Journal of Science and Research (IJSR)
2016English

Computer-Aided Design and Computer-Aided Engineering

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

Verifying Authentication Protocol Implementations

2002English

Computer Aided Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Increasing Bluetooth Low Energy Communication Efficiency by Presetting Protocol Parameters

Turkish Journal of Electrical Engineering and Computer Sciences
Electronic EngineeringElectricalComputer Science
2019English

Computer Aided Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Computer Aided Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Computer Aided Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Computer Aided Instruction

1969English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy