| Nome |
# |
|
A natural deduction approach to dynamic logic, file e27ce0c3-30b2-055e-e053-6605fe0a7873
|
226
|
|
The expressive power of structural operational semantics with explicit assumptions, file e27ce0c5-24f8-055e-e053-6605fe0a7873
|
196
|
|
Imperative Object-based Calculi in (Co)Inductive Type Theories, file e27ce0c3-2217-055e-e053-6605fe0a7873
|
190
|
|
DBtk: A Toolkit for Directed Bigraphs, file e27ce0c3-38e7-055e-e053-6605fe0a7873
|
178
|
|
Reactive Systems over Directed Bigraphs, file e27ce0c1-de1a-055e-e053-6605fe0a7873
|
170
|
|
PicNIc - Pi-calculus Non-Interference checker, file e27ce0c3-3038-055e-e053-6605fe0a7873
|
162
|
|
Reasoning on an Imperative Object-based Calculus in Higher Order Abstract Syntax, file e27ce0c3-319c-055e-e053-6605fe0a7873
|
154
|
|
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine, file e27ce0c1-da36-055e-e053-6605fe0a7873
|
139
|
|
Modal logics for Brane Calculus, file e27ce0c3-3352-055e-e053-6605fe0a7873
|
132
|
|
Formal analysis of Facebook Connect Single Sign-On authentication protocol, file e27ce0c3-33f8-055e-e053-6605fe0a7873
|
132
|
|
An Algebra for Directed Bigraphs, file e27ce0c3-2e3f-055e-e053-6605fe0a7873
|
129
|
|
GSOS for non-deterministic processes with quantitative aspects, file e27ce0c1-f88e-055e-e053-6605fe0a7873
|
121
|
|
Structural operational semantics for non-deterministic processes with quantitative aspects, file e27ce0c2-5297-055e-e053-6605fe0a7873
|
118
|
|
Undecidability of Model Checking in Brane Logic, file e27ce0c1-e1ba-055e-e053-6605fe0a7873
|
117
|
|
A framework for protein and membrane interactions, file e27ce0c3-338a-055e-e053-6605fe0a7873
|
116
|
|
Some characterization results for permutation algebras, file e27ce0c3-3199-055e-e053-6605fe0a7873
|
115
|
|
Bigraphical models for protein and membrane interactions, file e27ce0c3-31d8-055e-e053-6605fe0a7873
|
108
|
|
Measurable Stochastics for Brane Calculus, file e27ce0c1-d19a-055e-e053-6605fe0a7873
|
104
|
|
A unifying model of variables and names, file e27ce0c3-334e-055e-e053-6605fe0a7873
|
96
|
|
Towards distributed bigraphical reactive systems, file e27ce0c3-d6ac-055e-e053-6605fe0a7873
|
63
|
|
Encoding logical theories of programs, file e27ce0c3-331b-055e-e053-6605fe0a7873
|
50
|
|
Encoding Modal Logics in Logical Frameworks, file e27ce0c3-38f2-055e-e053-6605fe0a7873
|
48
|
|
A time-series classification approach to shallow web traffic de-anonymization, file e27ce0c9-c5b1-055e-e053-6605fe0a7873
|
48
|
|
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions, file e27ce0c3-38f0-055e-e053-6605fe0a7873
|
41
|
|
Structural operational semantics for continuous state probabilistic processes, file e27ce0c1-daaa-055e-e053-6605fe0a7873
|
36
|
|
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems, file e27ce0c1-f88d-055e-e053-6605fe0a7873
|
34
|
|
Deciding weak weighted bisimulation, file e27ce0c4-975d-055e-e053-6605fe0a7873
|
34
|
|
Behavioural equivalences for coalgebras with unobservable moves, file e27ce0c2-5973-055e-e053-6605fe0a7873
|
32
|
|
Structural operational semantics for continuous state stochastic transition systems, file e27ce0c1-c81e-055e-e053-6605fe0a7873
|
31
|
|
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems, file e27ce0c3-3281-055e-e053-6605fe0a7873
|
31
|
|
Graph Algebras for Bigraphs, file e27ce0c3-32c1-055e-e053-6605fe0a7873
|
31
|
|
Measurable Stochastics for Brane Calculus, file e27ce0c1-df80-055e-e053-6605fe0a7873
|
28
|
|
On the bisimulation hierarchy of state-to-function transition systems, file e27ce0c3-3436-055e-e053-6605fe0a7873
|
28
|
|
Distributed execution of bigraphical reactive systems, file e27ce0c7-66bb-055e-e053-6605fe0a7873
|
28
|
|
Open transactions on shared memory, file e27ce0c2-52c0-055e-e053-6605fe0a7873
|
24
|
|
Deriving Barbed Bisimulations for Bigraphical Reactive Systems, file e27ce0c3-3315-055e-e053-6605fe0a7873
|
24
|
|
Implementazione di Memoria Distribuita su cluster CompactPCI, file e27ce0c3-38eb-055e-e053-6605fe0a7873
|
24
|
|
Controlling resource access in Directed Bigraphs, file e27ce0c1-dc96-055e-e053-6605fe0a7873
|
22
|
|
A new criterion for M,N-adhesivity, with an application to hierarchical graphs, file e27ce0c9-df03-055e-e053-6605fe0a7873
|
20
|
|
A Calculus for Subjective Communication, file dcced286-ce54-43cd-9c3e-b64b69e2ad28
|
18
|
|
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions, file 572a8e5f-a427-4fb1-8c67-0744e43d3ce6
|
17
|
|
A CSP implementation of the bigraph embedding problem, file e27ce0c1-f891-055e-e053-6605fe0a7873
|
16
|
|
Weak bisimulations for labelled transition systems weighted over semirings, file e27ce0c1-f96b-055e-e053-6605fe0a7873
|
15
|
|
Deciding hedged bisimilarity, file e27ce0c5-a4ec-055e-e053-6605fe0a7873
|
15
|
|
Distributed Programming of Smart Systems with Event-Condition-Action Rules, file b9b1fd3f-02cd-4cff-8c9c-1e63c49bd7aa
|
14
|
|
Computing (optimal) embeddings of directed bigraphs, file f9f934d0-0a97-4330-bff4-fccc066e4cce
|
13
|
|
Developing (Meta)Theory of lambda-calculus in the Theory of Contexts, file e27ce0c1-e028-055e-e053-6605fe0a7873
|
12
|
|
Composable partial multiparty session types for open systems, file d96a9fed-6e4d-4bfa-953c-0b3cfd0bbd13
|
11
|
|
Modeling Carne PRI supply chain with the *-Chain Platform, file b43babbc-5af1-44bf-9561-d85ee13a9a9c
|
10
|
|
The AbU Language: IoT Distributed Programming Made Easy, file 12540c64-14b8-46a7-a443-ca15361b7385
|
8
|
|
Closure hyperdoctrines, file e27ce0c9-fcb7-055e-e053-6605fe0a7873
|
5
|
|
Pairing an Autoencoder and a SF-SOINN for Implementing an Intrusion Detection System, file bd973386-1e16-432e-9536-b041be4a8b3e
|
4
|
|
Reactive Systems over Directed Bigraphs, file e27ce0c1-de1b-055e-e053-6605fe0a7873
|
4
|
|
Directed Bigraphs, file e27ce0c1-cd45-055e-e053-6605fe0a7873
|
3
|
|
Structural operational semantics for non-deterministic processes with quantitative aspects, file e27ce0c3-3434-055e-e053-6605fe0a7873
|
3
|
|
Constructive logical characterizations of bisimilarity for reactive probabilistic systems, file e27ce0c5-a4eb-055e-e053-6605fe0a7873
|
3
|
|
A Unifying Approach to Recursive and Co-recursive Definitions, file e27ce0c1-e526-055e-e053-6605fe0a7873
|
2
|
|
Guest editors' foreword, file e27ce0c5-b789-055e-e053-6605fe0a7873
|
2
|
|
Assembling Coherent Network Topologies Using Round-Trip Graphs (short paper), file c8528588-6d2d-49bc-ae3d-81366a28633f
|
1
|
|
Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts, file e27ce0c1-d82b-055e-e053-6605fe0a7873
|
1
|
|
Unifying Recursive and Co-recursive Definitions in Sheaf Categories, file e27ce0c1-e79c-055e-e053-6605fe0a7873
|
1
|
|
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts, file e27ce0c1-f547-055e-e053-6605fe0a7873
|
1
|
|
On the formalization of the modal mu-calculus in the calculus of inductive constructions, file e27ce0c3-24e2-055e-e053-6605fe0a7873
|
1
|
|
Modal μ-types for processes, file e27ce0c3-3318-055e-e053-6605fe0a7873
|
1
|
|
Loose Graph Simulations, file e27ce0c5-24d4-055e-e053-6605fe0a7873
|
1
|
|
Theoretical Computer Science: Preface, file e27ce0c5-8b58-055e-e053-6605fe0a7873
|
1
|
|
Towards user recognition by shallow web traffic inspection, file e27ce0c5-a7ca-055e-e053-6605fe0a7873
|
1
|
|
A Calculus for Attribute-Based Memory Updates, file e27ce0c9-a40e-055e-e053-6605fe0a7873
|
1
|
| Totale |
3.565 |