Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

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