Improving the efficiency of a reconfigurable microstrip patch using magneto-static field responsive structures von Iftikhar, A, Parrow, J, Asif, S, Allen, J, Allen, M, Braaten, B.D

Volltext

The fusion calculus: expressiveness and symmetry in mobile processes von Parrow, J., Victor, B.

Volltext

Improving the efficiency of a reconfigurable microstrip patch using magneto-static field responsive structures: 10.1049/el.2016.0827 von Iftikhar, A, Parrow, J, Asif, S, Allen, J, Allen, M, Braaten, B D

Volltext

Simple Linear Work Suffix Array Construction von Kärkkäinen, Juha, Sanders, Peter

Volltext

Automatized Verification of Ad Hoc Routing Protocols von Wibling, Oskar, Parrow, Joachim, Pears, Arnold

Volltext

Algebraic Theories for Name-Passing Calculi von Parrow, J., Sangiorgi, D.

Volltext

Solving the Robots Gathering Problem von Cieliebak, Mark, Flocchini, Paola, Prencipe, Giuseppe, Santoro, Nicola

Volltext

A calculus of mobile processes, I von Milner, Robin, Parrow, Joachim, Walker, David

Volltext

Discounting the Future in Systems Theory von de Alfaro, Luca, Henzinger, Thomas A., Majumdar, Rupak

Volltext

Multiway synchronization verified with coupled simulation von Parrow, Joachim, Sjödin, Peter

Volltext

Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs von Jonsson, B., Parrow, J.

Volltext

A fully abstract encoding of the π-calculus with data terms von BALDAMUS, Michael, PARROW, Joachim, VICTOR, Björn

Volltext

Quantum Search on Bounded-Error Inputs von Høyer, Peter, Mosca, Michele, de Wolf, Ronald

Volltext

Multicommodity demand flow in a tree von CHEKURI, Chandra, MYDLARZ, Marcelo, SHEPHERD, F. Bruce

Volltext

Ad Hoc Routing Protocol Verification Through Broadcast Abstraction von Wibling, Oskar, Parrow, Joachim, Pears, Arnold

Volltext

Convergence Time to Nash Equilibria von Even-Dar, Eyal, Kesselman, Alex, Mansour, Yishay

Volltext

Structural and Behavioral Equivalences of Networks von Parrow, J.

Volltext

Psi-calculi: Mobile Processes, Nominal Data, and Logic von Bengtson, J., Johansson, M., Parrow, J., Victor, B.

Volltext

A Direct Sum Theorem in Communication Complexity via Message Compression von Jain, Rahul, Radhakrishnan, Jaikumar, Sen, Pranab

Volltext

Monadic Second-Order Logics with Cardinalities von Klaedtke, Felix, Rueß, Harald

Volltext