Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research

Computer Networks

Information Systems

English

Alternative Conducted Emission Measurements on Mains Without LISNs

IEEE Electromagnetic Compatibility Magazine

Instrumentation

Signal Processing

Electronic Engineering

Computer Networks

English

Accurate Surface Change Detection Method Using Phase of Coherence Function on SAR Imagery

IEICE Transactions on Communications

Computer Networks

Electronic Engineering

English

Ray-Model-Based Routing for Underwater Acoustic Sensor Networks Accounting for Anisotropic Sound Propagation

IEICE Transactions on Communications

Computer Networks

Electronic Engineering

English

A Cross-Layer Design for Wireless Ad-Hoc Peer-To-Peer Live Multimedia Streaming

IEICE Transactions on Communications

Computer Networks

Electronic Engineering

English

Hop-Based Energy Aware Routing Algorithm for Wireless Sensor Networks

IEICE Transactions on Communications

Computer Networks

Electronic Engineering

English

On the Design and Implementation of IP-over-P2P Overlay Virtual Private Networks

IEICE Transactions on Communications

Computer Networks

Electronic Engineering

English

Iterative MMSE-FDE/MUI Cancellation and Antenna Diversity for Frequency-Domain Filtered SC-FDMA Uplink

IEICE Transactions on Communications

Computer Networks

Electronic Engineering

English

Experimental Investigation of Co-Channel and Adjacent Channel Operations of Microwave Power and IEEE 802.11g Data Transmissions

IEICE Transactions on Communications

Computer Networks

Electronic Engineering

English

A New Multi-Path Routing Methodology Based on Logit-Type Probability Assignment

IEICE Transactions on Communications

Computer Networks

Electronic Engineering

English