|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
115 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Abstract interpretation of mobile systems |
Feret, Jérôme |
2005 |
60-61 | 1 |
p. 59-130 72 p. |
article |
|
| 2 | A compositional coalgebraic model of fusion calculus |
Buscemi, Maria Grazia |
2007 |
60-61 | 1 |
p. 78-97 20 p. |
article |
|
| 3 | A core calculus for correlation in orchestration languages |
Viroli, Mirko |
2007 |
60-61 | 1 |
p. 74-95 22 p. |
article |
|
| 4 | Agenda control for heterogeneous reasoners |
Stolle, Reinhard |
2005 |
60-61 | 1 |
p. 41-69 29 p. |
article |
|
| 5 | A hidden Herbrand theorem: combining the object and logic paradigms |
Goguen, Joseph |
2002 |
60-61 | 1 |
p. 1-41 41 p. |
article |
|
| 6 | A hierarchy of equivalences for asynchronous calculi |
Fournet, Cédric |
2005 |
60-61 | 1 |
p. 131-173 43 p. |
article |
|
| 7 | Algebraic models of behaviour and correctness of SMT and CMT processors |
Harman, N.A. |
2007 |
60-61 | 1 |
p. 32-56 25 p. |
article |
|
| 8 | Algebraic Neighbourhood Logic |
Höfner, Peter |
2008 |
60-61 | 1 |
p. 35-59 25 p. |
article |
|
| 9 | Analysing input/output-capabilities of mobile processes with a generic type system |
König, Barbara |
2005 |
60-61 | 1 |
p. 35-58 24 p. |
article |
|
| 10 | An extended constraint deductive database: Theory and implementation |
Aranda-López, Gabriel |
2014 |
60-61 | 1 |
p. 20-52 33 p. |
article |
|
| 11 | A performance-based methodology to early evaluate the effectiveness of mobile software architectures |
Cortellessa, Vittorio |
2002 |
60-61 | 1 |
p. 77-100 24 p. |
article |
|
| 12 | A pi-calculus based semantics for WS-BPEL |
Lucchi, Roberto |
2007 |
60-61 | 1 |
p. 96-118 23 p. |
article |
|
| 13 | A process algebraic view of shared dataspace coordination |
Busi, Nadia |
2008 |
60-61 | 1 |
p. 52-85 34 p. |
article |
|
| 14 | Arbitrary precision real arithmetic: design and algorithms |
Ménissier-Morain, Valérie |
2005 |
60-61 | 1 |
p. 13-39 27 p. |
article |
|
| 15 | A sharp threshold for the phase transition of a restricted Satisfiability problem for Horn clauses |
Dunne, P.E. |
2001 |
60-61 | 1 |
p. 1-14 14 p. |
article |
|
| 16 | A symbolic decision procedure for cryptographic protocols with time stamps |
Bozga, Liana |
2005 |
60-61 | 1 |
p. 1-35 35 p. |
article |
|
| 17 | Automated verification of selected equivalences for security protocols |
Blanchet, Bruno |
2008 |
60-61 | 1 |
p. 3-51 49 p. |
article |
|
| 18 | Behavioral complexity indicators for process algebra: The NKS approach |
Bolognesi, Tommaso |
2007 |
60-61 | 1 |
p. 50-77 28 p. |
article |
|
| 19 | Behavioural equivalences for dynamic Web data |
Maffeis, Sergio |
2008 |
60-61 | 1 |
p. 86-138 53 p. |
article |
|
| 20 | CCS with priority guards |
Phillips, Iain |
2008 |
60-61 | 1 |
p. 139-165 27 p. |
article |
|
| 21 | Computable scalar fields: A basis for PDE software |
Haveraaen, Magne |
2005 |
60-61 | 1 |
p. 36-49 14 p. |
article |
|
| 22 | Computable total functions on metric algebras, universal algebraic specifications and dynamical systems |
Tucker, J.V. |
2005 |
60-61 | 1 |
p. 71-108 38 p. |
article |
|
| 23 | Computing combinatorial types of trajectories in Pfaffian Dynamics |
Korovina, Margarita |
2010 |
60-61 | 1 |
p. 32-37 6 p. |
article |
|
| 24 | Contents |
2008 |
60-61 | 1 |
p. iii- 1 p. |
article |
||
| 25 | Contents |
2008 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 26 | Contents |
2008 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 27 | Contents |
2006 |
60-61 | 1 |
p. iii- 1 p. |
article |
||
| 28 | Contents |
2007 |
60-61 | 1 |
p. iii- 1 p. |
article |
||
| 29 | Contents |
2007 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 30 | Contents |
2007 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 31 | Contents |
2007 |
60-61 | 1 |
p. iii- 1 p. |
article |
||
| 32 | Contents |
2005 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 33 | Contents |
2005 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 34 | Contents |
2005 |
60-61 | 1 |
p. iii- 1 p. |
article |
||
| 35 | Contents |
2005 |
60-61 | 1 |
p. iii- 1 p. |
article |
||
| 36 | Contents |
2010 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 37 | Contents |
2014 |
60-61 | 1 |
p. iii- 1 p. |
article |
||
| 38 | Contents |
2012 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 39 | Contents |
2011 |
60-61 | 1 |
p. v- 1 p. |
article |
||
| 40 | Continuity and Lipschitz constants for projections |
Bridges, Douglas S. |
2010 |
60-61 | 1 |
p. 2-9 8 p. |
article |
|
| 41 | Conversion to tail recursion in term rewriting |
Nishida, Naoki |
2014 |
60-61 | 1 |
p. 53-63 11 p. |
article |
|
| 42 | De Bruijn's syntax and reductional behaviour of λ-terms: the untyped case |
Kamareddine, Fairouz |
2005 |
60-61 | 1 |
p. 109-131 23 p. |
article |
|
| 43 | Distributive contact lattices: Topological representations |
Düntsch, Ivo |
2008 |
60-61 | 1 |
p. 18-34 17 p. |
article |
|
| 44 | Editorial Board |
2008 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 45 | Editorial Board |
2008 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 46 | Editorial Board |
2008 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 47 | Editorial Board |
2006 |
60-61 | 1 |
p. CO2- 1 p. |
article |
||
| 48 | Editorial Board |
2007 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 49 | Editorial Board |
2007 |
60-61 | 1 |
p. CO2- 1 p. |
article |
||
| 50 | Editorial Board |
2007 |
60-61 | 1 |
p. CO2- 1 p. |
article |
||
| 51 | Editorial Board |
2007 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 52 | Editorial board |
2005 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 53 | Editorial board |
2005 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 54 | Editorial Board |
2005 |
60-61 | 1 |
p. CO2- 1 p. |
article |
||
| 55 | Editorial board |
2005 |
60-61 | 1 |
p. CO2- 1 p. |
article |
||
| 56 | Editorial Board |
2010 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 57 | Editorial Board |
2014 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 58 | Editorial Board |
2012 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 59 | Editorial Board |
2011 |
60-61 | 1 |
p. IFC- 1 p. |
article |
||
| 60 | Efficient exact computation of iterated maps |
Blanck, J. |
2005 |
60-61 | 1 |
p. 41-59 19 p. |
article |
|
| 61 | Exact real arithmetic using centred intervals and bounded error terms |
Blanck, J. |
2006 |
60-61 | 1 |
p. 50-67 18 p. |
article |
|
| 62 | Extended beam search for non-exhaustive state space analysis |
Wijs, A.J. |
2012 |
60-61 | 1 |
p. 46-69 24 p. |
article |
|
| 63 | Formal specification of a Web services protocol |
Johnson, James E. |
2007 |
60-61 | 1 |
p. 34-52 19 p. |
article |
|
| 64 | Generating counterexamples for quantitative safety specifications in probabilistic B |
Ndukwu, Ukachukwu |
2012 |
60-61 | 1 |
p. 26-45 20 p. |
article |
|
| 65 | Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming |
Akkan, Can |
2005 |
60-61 | 1 |
p. 1-39 39 p. |
article |
|
| 66 | Guest Editors’ Foreword |
Aceto, Luca |
2008 |
60-61 | 1 |
p. 1-2 2 p. |
article |
|
| 67 | Guest Editors’ Foreword |
Aceto, Luca |
2007 |
60-61 | 1 |
p. 1-2 2 p. |
article |
|
| 68 | Guest Editors’ Foreword |
Pace, Gordon |
2011 |
60-61 | 1 |
p. 1-2 2 p. |
article |
|
| 69 | Guest editors’ introduction: Special issue on practical development of exact real number computation |
Müller, Norbert |
2005 |
60-61 | 1 |
p. 1-2 2 p. |
article |
|
| 70 | Guest editors' introduction: Special issue on The π-calculus |
Nestmann, Uwe |
2005 |
60-61 | 1 |
p. 1-2 2 p. |
article |
|
| 71 | Guest editor’s introduction: Special issue on Web Services and Formal Methods |
Bravetti, Mario |
2007 |
60-61 | 1 |
p. 1-2 2 p. |
article |
|
| 72 | Implicit characterizations of FPTIME and NC revisited |
Niggl, Karl-Heinz |
2010 |
60-61 | 1 |
p. 47-60 14 p. |
article |
|
| 73 | Indexed induction–recursion |
Dybjer, Peter |
2006 |
60-61 | 1 |
p. 1-49 49 p. |
article |
|
| 74 | Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language |
Zhu, Huibiao |
2012 |
60-61 | 1 |
p. 2-25 24 p. |
article |
|
| 75 | Local variable scoping and Kleene algebra with tests |
Aboul-Hosn, Kamal |
2008 |
60-61 | 1 |
p. 3-17 15 p. |
article |
|
| 76 | Logic programming with solution preferences |
Guo, Hai-Feng |
2008 |
60-61 | 1 |
p. 1-21 21 p. |
article |
|
| 77 | Model checking a cache coherence protocol of a Java DSM implementation |
Pang, Jun |
2007 |
60-61 | 1 |
p. 1-43 43 p. |
article |
|
| 78 | Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking |
Gnesi, Stefania |
2002 |
60-61 | 1 |
p. 43-75 33 p. |
article |
|
| 79 | MOQA ; unlocking the potential of compositional static average-case analysis |
Schellekens, M.P. |
2010 |
60-61 | 1 |
p. 61-83 23 p. |
article |
|
| 80 | Non-bisimulation-based Markovian behavioral equivalences |
Bernardo, Marco |
2007 |
60-61 | 1 |
p. 3-49 47 p. |
article |
|
| 81 | [No title] |
Baeten, Jos |
2008 |
60-61 | 1 |
p. 52- 1 p. |
article |
|
| 82 | On computable presentations of some functional lattices |
Morozov, Andrei S. |
2010 |
60-61 | 1 |
p. 38-46 9 p. |
article |
|
| 83 | On the potential advantages of exploiting behavioural information for contract-based service discovery and composition |
Brogi, Antonio |
2011 |
60-61 | 1 |
p. 3-12 10 p. |
article |
|
| 84 | On the Wadge reducibility of k -partitions |
Selivanov, Victor L. |
2010 |
60-61 | 1 |
p. 92-102 11 p. |
article |
|
| 85 | Operational semantics of Framed Tempura |
Yang, Xiaoxiao |
2008 |
60-61 | 1 |
p. 22-51 30 p. |
article |
|
| 86 | Permission to speak: A logic for access control and conformance |
Dinesh, Nikhil |
2011 |
60-61 | 1 |
p. 50-74 25 p. |
article |
|
| 87 | Piecewise initial algebra semantics |
Rodenburg, P.H. |
2007 |
60-61 | 1 |
p. 1-31 31 p. |
article |
|
| 88 | Precise numerical computation |
Sofroniou, Mark |
2005 |
60-61 | 1 |
p. 113-134 22 p. |
article |
|
| 89 | Preface |
Sieber, Kurt |
2010 |
60-61 | 1 |
p. 1- 1 p. |
article |
|
| 90 | Preface: Special Issue QFM 2009 |
Andover, Suzana |
2012 |
60-61 | 1 |
p. 1- 1 p. |
article |
|
| 91 | Problems, solutions, and completions |
Schuster, Peter |
2010 |
60-61 | 1 |
p. 84-91 8 p. |
article |
|
| 92 | Products in categories of relations |
Winter, Michael |
2008 |
60-61 | 1 |
p. 145-159 15 p. |
article |
|
| 93 | QoS negotiation in service composition |
Buscemi, Maria Grazia |
2011 |
60-61 | 1 |
p. 13-24 12 p. |
article |
|
| 94 | Real number computation with committed choice logic programming languages |
Tsuiki, Hideki |
2005 |
60-61 | 1 |
p. 61-84 24 p. |
article |
|
| 95 | Reasoning about interaction protocols for customizing web service selection and composition |
Baldoni, Matteo |
2007 |
60-61 | 1 |
p. 53-73 21 p. |
article |
|
| 96 | Recent progress in exact geometric computation |
Li, C. |
2005 |
60-61 | 1 |
p. 85-111 27 p. |
article |
|
| 97 | Recursive tables and effective definition schemes |
Wilder, A.J. |
2002 |
60-61 | 1 |
p. 101-121 21 p. |
article |
|
| 98 | Relational measures and integration in preference modeling |
Schmidt, Gunther |
2008 |
60-61 | 1 |
p. 112-129 18 p. |
article |
|
| 99 | Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types |
Kahl, Wolfram |
2008 |
60-61 | 1 |
p. 60-89 30 p. |
article |
|
| 100 | Relational state transition dynamics |
Scollo, Giuseppe |
2008 |
60-61 | 1 |
p. 130-144 15 p. |
article |
|
| 101 | Relations and Kleene Algebras in Computer Science |
Schmidt, Renate A. |
2008 |
60-61 | 1 |
p. 1-2 2 p. |
article |
|
| 102 | Resources in process algebra |
Lee, Insup |
2007 |
60-61 | 1 |
p. 98-122 25 p. |
article |
|
| 103 | Service oriented computing from a process algebraic perspective |
Bravetti, Mario |
2007 |
60-61 | 1 |
p. 3-14 12 p. |
article |
|
| 104 | Similarity, topology, and uniformity |
Heckmann, Reinhold |
2010 |
60-61 | 1 |
p. 10-31 22 p. |
article |
|
| 105 | SOS rule formats for idempotent terms and idempotent unary operators |
Aceto, Luca |
2014 |
60-61 | 1 |
p. 64-80 17 p. |
article |
|
| 106 | Structural and behavioural compatibility of graphical service specifications |
Heckel, R. |
2007 |
60-61 | 1 |
p. 15-33 19 p. |
article |
|
| 107 | Stuttering for Abstract Probabilistic Automata |
Delahaye, Benoît |
2014 |
60-61 | 1 |
p. 1-19 19 p. |
article |
|
| 108 | Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY |
Revol, N. |
2005 |
60-61 | 1 |
p. 135-154 20 p. |
article |
|
| 109 | The constructive reals as a Java library |
Boehm, Hans-J. |
2005 |
60-61 | 1 |
p. 3-11 9 p. |
article |
|
| 110 | The converse of a stochastic relation |
Doberkat, Ernst-Erich |
2005 |
60-61 | 1 |
p. 133-154 22 p. |
article |
|
| 111 | The security pi-calculus and non-interference |
Hennessy, Matthew |
2005 |
60-61 | 1 |
p. 3-34 32 p. |
article |
|
| 112 | Universality and semicomputability for nondeterministic programming languages over abstract algebras |
Jiang, Wei |
2007 |
60-61 | 1 |
p. 44-78 35 p. |
article |
|
| 113 | Using probabilistic Kleene algebra pKA for protocol verification |
McIver, A.K. |
2008 |
60-61 | 1 |
p. 90-111 22 p. |
article |
|
| 114 | Validation and verification of Web services choreographies by using timed automata |
Emilia Cambronero, M. |
2011 |
60-61 | 1 |
p. 25-49 25 p. |
article |
|
| 115 | Variable binding operators in transition system specifications |
Middelburg, C.A. |
2001 |
60-61 | 1 |
p. 15-45 31 p. |
article |
115 results found