|
Anno
|
Volume
|
Numero
|
Posseduto
|
|
|
|
|
2017
|
17
|
2
Benchmark functions for CEC 2018 competition on many-objective optimization
|
Sì
|
|
|
|
|
2017
|
17
|
1
Benchmark functions for CEC 2017 competition on grouping evolutionary many-objective optimization
|
Sì
|
|
|
|
|
2016
|
16
|
2
Corecursion for Compositional Verification
|
Sì
|
|
|
|
|
2016
|
16
|
1
Microservices and their Design trade-offs: A Self-Adaptive Roadmap
|
Sì
|
|
|
|
|
2015
|
15
|
7
A Contribution-Based Cooperative Co-evolutionary Algorithm with Improved Exploration/Exploitation balance
|
Sì
|
|
|
|
|
2015
|
15
|
6
A taxonomy for architecture stability
|
Sì
|
|
|
|
|
2015
|
15
|
5
Managing trade-offs in self-adaptive software architectures : a systematic mapping study
|
Sì
|
|
|
|
|
2015
|
15
|
4
IDG : a faster and more accurate differential grouping algorithm
|
Sì
|
|
|
|
|
2015
|
15
|
3
Sustainability debt : an economics driven approach for using technical debt analysis in decision making for sustainable requirements
|
Sì
|
|
|
|
|
2015
|
15
|
2
A portfolio-based approach for evaluating sustainability requirements and their debts in architectures
|
Sì
|
|
|
|
|
2015
|
15
|
1
How effective is cauchy-EDA in High Dimensions?
|
Sì
|
|
|
|
|
2014
|
14
|
1
/2
|
No
|
|
|
|
|
2013
|
13
|
2
Anticipatory Mobile Computing: A Survey of the State of the Art and Research Challenges
|
Sì
|
|
|
|
|
2013
|
13
|
1
Exploting Cellular Data for Disease Containment and Information Campaigns Strategies in Country-wide Epidemics
|
Sì
|
|
|
|
|
2012
|
12
|
2
Self-awareness, Self-expression and Meta-self-awareness in the Relevant Neighbourhood Selection Problem
|
Sì
|
|
|
|
|
2012
|
12
|
1
Random Projection as Regularizers: Leraning a Linear Discriminant Ensemble from Fewer Observations than Dimensions
|
Sì
|
|
|
|
|
2011
|
11
|
10
Self-managed cloud architecture
|
Sì
|
|
|
|
|
2011
|
11
|
9
X-Policy: knowledge-based verification...
|
Sì
|
|
|
|
|
2011
|
11
|
8
Modelling Dynamic Access Control Policies for Web-based Collaborative Systems
|
Sì
|
|
|
|
|
2011
|
11
|
7
Learning with Labelling Errors
|
Sì
|
|
|
|
|
2011
|
11
|
6
A Proof that Crossover Helps to Optimise Vertex Cover Problems
|
Sì
|
|
|
|
|
2011
|
11
|
5
Efficient bracket abstraction using iconic representation for combinators
|
Sì
|
|
|
|
|
2011
|
11
|
4
A Comparison of the Moments of a Quadratic Form...
|
Sì
|
|
|
|
|
2011
|
11
|
3
Towards a Better Understanding of Self-Awareness and Self-Expression within Software Systems
|
Sì
|
|
|
|
|
2011
|
11
|
2
Interactive Debugging with Traces and Trace Slices
|
Sì
|
|
|
|
|
2011
|
11
|
1
A tight bound on the performance on fischer's linear ....
|
Sì
|
|
|
|
|
2010
|
10
|
12
The Trustworthy Elections: Remote Electronic Voting Using...
|
Sì
|
|
|
|
|
2010
|
10
|
11
Exploting Natwest and RBS online banking systems for profit
|
Sì
|
|
|
|
|
2010
|
10
|
10
Flip Probabilities for Random Projections of 0-Separeted Vectors
|
Sì
|
|
|
|
|
2010
|
10
|
9
Semi-Formalised Data Management
|
Sì
|
|
|
|
|
2010
|
10
|
8
A Secure Hardware Abstraction for Distributed Systems
|
Sì
|
|
|
|
|
2010
|
10
|
7
Checking Security Property of P2P systems Using CSP (Revised)
|
Sì
|
|
|
|
|
2010
|
10
|
7
Checking Security Property of P2P systems Using CSP
|
Sì
|
|
|
|
|
2010
|
10
|
6
Election Verifiability in Electronic Voting Protocols
|
Sì
|
|
|
|
|
2010
|
10
|
5
Privacy vs. Usability: A failure of Barclays online Banking?
|
Sì
|
|
|
|
|
2010
|
10
|
4
Security in the Cloud
|
Sì
|
|
|
|
|
2010
|
10
|
3
Compressed Fisher Linear Discriminant Analysis
|
Sì
|
|
|
|
|
2010
|
10
|
2
meta-cognition for Self-Managing Systems: Bridging the Gap
|
Sì
|
|
|
|
|
2010
|
10
|
1
Market-based approach for Self-managing Power
|
Sì
|
|
|
|
|
2009
|
09
|
11
A Pairing Based Designated Confirmer Signature
|
Sì
|
|
|
|
|
2009
|
09
|
10
Calculating Probabilistic Anonymity from Sampled Data
|
Sì
|
|
|
|
|
2009
|
09
|
9
|
No
|
|
|
|
|
2009
|
09
|
8
A tracciability attack against
|
Sì
|
|
|
|
|
2009
|
09
|
7
on the impact of mutuation-serlection
|
Sì
|
|
|
|
|
2009
|
09
|
6
Remote electronic voting with revocable..
|
Sì
|
|
|
|
|
2009
|
09
|
5
Interactive programming
|
Sì
|
|
|
|
|
2009
|
09
|
4
Theoretical Runtime Analysis in Search Based Software Engineering
|
Sì
|
|
|
|
|
2009
|
09
|
3
Longer is Better: On the Role of Test Sequence Length in Software Testing
|
Sì
|
|
|
|
|
2009
|
09
|
2
Evolutionary Repair of Faulty Software
|
Sì
|
|
|
|
|
2009
|
09
|
1
Information-Lookahead Planning for AUV Mapping
|
Sì
|
|
|
|
|
2008
|
08
|
12
Chunk Learning and Move Prompting...
|
Sì
|
|
|
|
|
2008
|
08
|
10
Compositional Predicate Abstraction from Game Semantics
|
Sì
|
|
|
|
|
2008
|
08
|
9
Lopping: Syntactic Approximation for Games-Based Software Model Checking
|
Sì
|
|
|
|
|
2008
|
08
|
8
Crossover can be constructive when computing unique...
|
Sì
|
|
|
|
|
2008
|
08
|
7
Proceeding of the 15th Workshop...
|
Sì
|
|
|
|
|
2008
|
08
|
6
Proceedings of the 2nd Workshop...
|
Sì
|
|
|
|
|
2008
|
08
|
5
Proceedings of the Workshop on Empirically
|
Sì
|
|
|
|
|
2008
|
08
|
4
Function Interface Models for Hardware Compilation...
|
Sì
|
|
|
|
|
2008
|
08
|
3
Distributed Meta-Management for Self-Proctection and Self-Explanation
|
Sì
|
|
|
|
|
2008
|
08
|
2
Learning Goal-Based Motion Sequences Object Manipulation
|
Sì
|
|
|
|
|
2008
|
08
|
1
Some utility predicates for KUL Constraint...
|
Sì
|
|
|
|
|
2007
|
07
|
12
Automatic verification of privacy..
|
Sì
|
|
|
|
|
2007
|
07
|
11
Analys of population -based...
|
Sì
|
|
|
|
|
2007
|
07
|
10
Analysis of the (1+1)...
|
Sì
|
|
|
|
|
2007
|
07
|
9
Planning Information Processing and Sensing Actions
|
Sì
|
|
|
|
|
2007
|
07
|
9
Planning information processing ...
|
Sì
|
|
|
|
|
2007
|
07
|
8
On the tly techniques...
|
Sì
|
|
|
|
|
2007
|
07
|
8
|
No
|
|
|
|
|
2007
|
07
|
7
A Layered Architecture for the Sistributed Simulation...
|
Sì
|
|
|
|
|
2007
|
07
|
6
PDES-MAS: A Unifying Framework for the Distributed
|
Sì
|
|
|
|
|
2007
|
07
|
5
Evolutionary Algorithms and the Vertex Cover Problem
|
Sì
|
|
|
|
|
2007
|
07
|
4
Semantic Pluralism for Collaborative Model Development
|
Sì
|
|
|
|
|
2007
|
07
|
3
Search based testing..
|
Sì
|
|
|
|
|
2007
|
07
|
2
Transalting the probabilistic ..
|
Sì
|
|
|
|
|
2007
|
07
|
1
BALT e CAST
|
Sì
|
|
|
|
|
2007
|
07
|
1
-3
|
No
|
|
|
|
|
2006
|
06
|
14
Heatmap visualisation of population..
|
Sì
|
|
|
|
|
2006
|
06
|
13
On the biological nature of stone duality...
|
Sì
|
|
|
|
|
2006
|
06
|
12
An architecture schema for embodied cognitive systems
|
Sì
|
|
|
|
|
2006
|
06
|
11
Adaptive intelligent modelling for the social sciences
|
Sì
|
|
|
|
|
2006
|
06
|
10
Proceedings of the APPSEM..
|
Sì
|
|
|
|
|
2006
|
06
|
9
Probabilistic mobile ambients
|
Sì
|
|
|
|
|
2006
|
06
|
8
Extending Hoare Calculus to Deal with Crash
|
Sì
|
|
|
|
|
2006
|
06
|
7
Compositional State Space Reduction using Untangled Actions
|
Sì
|
|
|
|
|
2006
|
06
|
6
Data Management in Distributed Simulation of Complex Systems
|
Sì
|
|
|
|
|
2006
|
06
|
5
Game-based Abstraction for Markov Decision Processes
|
Sì
|
|
|
|
|
2006
|
06
|
4
|
No
|
|
|
|
|
2006
|
06
|
3
Goal-based Action Representation and Learning for Cognitive Robots
|
Sì
|
|
|
|
|
2006
|
06
|
2
Learning Variable Size Finite State Controllers...
|
Sì
|
|
|
|
|
2006
|
06
|
1
A Logical approach to Stable Domains
|
Sì
|
|
|
|
|
2005
|
5
|
5
data-abstraction refinement..
|
Sì
|
|
|
|
|
2005
|
05
|
10
Cognitive approaches to policy based...
|
Sì
|
|
|
|
|
2005
|
05
|
9
Towards Intelligent Data-Driven
|
Sì
|
|
|
|
|
2005
|
05
|
8
Quantitative Analysis of Multispectral Fundus Images
|
Sì
|
|
|
|
|
2005
|
05
|
7
Particle swarm optimization and auto...
|
Sì
|
|
|
|
|
2005
|
05
|
6
Particle swarm optimization and fitness..
|
Sì
|
|
|
|
|
2005
|
05
|
4
Compositional model extraction for higher-order concurrent programs
|
Sì
|
|
|
|
|
2005
|
05
|
4
Compositional model extraction for highe-order...
|
Sì
|
|
|
|
|
2005
|
05
|
3
A priestly representation for strong proximity...
|
Sì
|
|
|
|
|
2005
|
05
|
3
A priestly representaion for strong proximity...
|
Sì
|
|
|
|
|
2005
|
05
|
2
The Analysis of Fluorescence Microscopy...
|
Sì
|
|
|
|
|
2005
|
05
|
1
Bayesian Interface of Independent Components...
|
Sì
|
|
|
|
|
2004
|
04
|
12
Uni-variate bracket abstraction using..
|
Sì
|
|
|
|
|
2004
|
04
|
10
Single parameter recovery from modelled spectra
|
Sì
|
|
|
|
|
2004
|
04
|
8
Psyco-based approach to geometry-insenitive recovery..
|
Sì
|
|
|
|
|
2004
|
04
|
8
Physics-based approach to geometry
|
Sì
|
|
|
|
|
2004
|
04
|
6
Simple Incremental Testing
|
Sì
|
|
|
|
|
2004
|
04
|
5
Function Set Independent Genetic Programming
|
Sì
|
|
|
|
|
2004
|
04
|
4
Analysing Timed Properties of AODV with UPPAL
|
Sì
|
|
|
|
|
2004
|
04
|
3
A semantics for reductive logic and proof-search
|
Sì
|
|
|
|
|
2004
|
04
|
2
Symmetric M-tree
|
Sì
|
|
|
|
|
2004
|
04
|
1
Proceedings of the Fourth ACM SIGPLAN...
|
Sì
|
|
|
|
|
2003
|
03
|
15
A Parigiot-style Linear...
|
Sì
|
|
|
|
|
2003
|
03
|
14
relating categorical semantics...
|
Sì
|
|
|
|
|
2003
|
03
|
12
Quantum Search Algorithm with More Reliable...
|
Sì
|
|
|
|
|
2003
|
03
|
11
A Hybrid Quantum Search Engine...
|
Sì
|
|
|
|
|
2003
|
03
|
10
Symbolic Model Checking for Probabilistic Timed Automata
|
Sì
|
|
|
|
|
2003
|
03
|
9
A Constant Complexity Algorithm...
|
Sì
|
|
|
|
|
2003
|
03
|
8
An Efficient Symbolic Out-of-Core...
|
Sì
|
|
|
|
|
2003
|
03
|
7
A Survey of Out-of Core Analysis...
|
Sì
|
|
|
|
|
2003
|
03
|
6
Performance Analysis of Probabilistic Timed Automata...
|
Sì
|
|
|
|
|
2003
|
03
|
5
Representation of Boolean Quantum Circuits...
|
Sì
|
|
|
|
|
2003
|
03
|
4
|
No
|
|
|
|
|
2003
|
03
|
3
Automated Method for Building CNOT...
|
Sì
|
|
|
|
|
2003
|
03
|
2
PCTL Model Cheching of Symbolic Probabilistic Systems
|
Sì
|
|
|
|
|
2003
|
03
|
1
Symbolic Computation of Minimal Probabilistic Reachability
|
Sì
|
|
|
|
|
2002
|
02
|
10
Validating a Monte Carlo Hotel of the Human Eye Fundus
|
Sì
|
|
|
|
|
2002
|
02
|
9
Measure of Irregularity for Finite Sequences of Real Numbers
|
Sì
|
|
|
|
|
2002
|
02
|
8
A Symbolic Out-of-Core Solution Method for Markov Models
|
Sì
|
|
|
|
|
2002
|
02
|
7
Automatic Verification of the IEEE-1394 Root Contention Protocol
|
Sì
|
|
|
|
|
2002
|
02
|
6
|
No
|
|
|
|
|
2002
|
02
|
5
Probabilistic Symbolic Model Checking of the IEEE 802.11
|
Sì
|
|
|
|
|
2002
|
02
|
4
Model Checking CSL Until Forumlae...
|
Sì
|
|
|
|
|
2002
|
02
|
3
Closed Reflective Networks...
|
Sì
|
|
|
|
|
2002
|
02
|
2
Autonomuous Recovery from hostile Code...
|
Sì
|
|
|
|
|
2002
|
02
|
1
Reflective Architectures for Damage...
|
Sì
|
|
|
|
|
2001
|
01
|
11
Automated Verification of Randomized Byzantine...
|
Sì
|
|
|
|
|
2001
|
01
|
10
Probabilistic Symbolic Model Checking...
|
Sì
|
|
|
|
|
2001
|
01
|
9
|
No
|
|
|
|
|
2001
|
01
|
8
Categorical and Kripke Semantics for Constructive S4 Modal Logic
|
Sì
|
|
|
|
|
2001
|
01
|
7
Relating Categorical Semantics for Intuitionistic Linear Logic
|
Sì
|
|
|
|
|
2001
|
01
|
7
Relating Categorical Semantics for ...(Revised February 2002)
|
Sì
|
|
|
|
|
2001
|
01
|
6
Quantitative Continuous Domains
|
Sì
|
|
|
|
|
2001
|
01
|
5
Symbolic Computation of Maximal Probabilistic Reachability
|
Sì
|
|
|
|
|
2001
|
01
|
4
Model Checking of Probabilistic Timed and Hybrid Systems
|
Sì
|
|
|
|
|
2001
|
01
|
3
Faster and Symbolic CTMC Model Checking
|
Sì
|
|
|
|
|
2001
|
01
|
2
Analysing Performance of Open Queuing Systems...
|
Sì
|
|
|
|
|
2001
|
01
|
1
Automatic Verification of a Randomized...
|
Sì
|
|
|
|
|
2001
|
00
|
11
Measurements and Weak Partial Metrics
|
Sì
|
|
|
|
|
2000
|
00
|
13
Accuracy of the skin model in ...
|
Sì
|
|
|
|
|
2000
|
00
|
12
A structure oreserving bracket...
|
Sì
|
|
|
|
|
2000
|
00
|
11
Measurements and weak partial metrics
|
Sì
|
|
|
|
|
2000
|
00
|
10
Real functions computable by finite...
|
Sì
|
|
|
|
|
2000
|
00
|
9
Proceddings of FIRE works ...
|
Sì
|
|
|
|
|
2000
|
00
|
8
A calculus for resource allocation
|
Sì
|
|
|
|
|
2000
|
00
|
7
Investigation into iconic representations of combinators
|
Sì
|
|
|
|
|
2000
|
00
|
5
Results for the feature intercation contest 2000
|
Sì
|
|
|
|
|
2000
|
00
|
4
Accuracy of the skin model in quantifying...
|
Sì
|
|
|
|
|
2000
|
00
|
3
Categorical models for intuitionistic and linear type...
|
Sì
|
|
|
|
|
2000
|
00
|
2
Automatic verification of real-time systems
|
Sì
|
|
|
|
|
2000
|
00
|
1
Symbolic model checking of probabilistic
|
Sì
|
|
|
|
|
1999
|
99
|
14
The typed calculus of arithmetic universes
|
Sì
|
|
|
|
|
1999
|
99
|
13
Efficient multi-variate abstraction using
|
Sì
|
|
|
|
|
1999
|
99
|
12
Making abstraction behave...
|
Sì
|
|
|
|
|
1999
|
99
|
11
Symbolic model checking of...
|
Sì
|
|
|
|
|
1999
|
99
|
10
The semantics of a feature construct for SMV
|
Sì
|
|
|
|
|
1999
|
99
|
9
Modularity in K among in N
|
Sì
|
|
|
|
|
1999
|
99
|
7
Proof-terms for classical and intuitionistic
|
Sì
|
|
|
|
|
1999
|
99
|
6
Collective anomaly-detection using...
|
Sì
|
|
|
|
|
1999
|
99
|
5
Image registration: matching of the sulci
|
Sì
|
|
|
|
|
1999
|
99
|
5
-10
|
No
|
|
|
|
|
1999
|
99
|
4
image Registration: Extraction of Sulci using...
|
Sì
|
|
|
|
|
1999
|
99
|
3
Solving Infinite Stochastic Process Algebra Models...
|
Sì
|
|
|
|
|
1999
|
99
|
2
Solving Even-12,13 -15, -17, -20 and -22...
|
Sì
|
|
|
|
|
1999
|
99
|
2
Linear Types and Approximation
|
Sì
|
|
|
|
|
1999
|
99
|
1
Symbolic Model Checking of Concurrent...
|
Sì
|
|
|
|
|
1998
|
98
|
14
Qualitative decision support using priritised soft ...
|
Sì
|
|
|
|
|
1998
|
98
|
12
Intre-modality image Registration using Gradients
|
Sì
|
|
|
|
|
1998
|
98
|
11
Verifying Quantitative Properties of Continuous
|
Sì
|
|
|
|
|
1998
|
98
|
10
Automatic Verification of Real-Time Systems...
|
Sì
|
|
|
|
|
1998
|
98
|
9
What is the Lexical Form of 'bei'
|
Sì
|
|
|
|
|
1998
|
98
|
8
Proceedings of the ESSLLI'98 Workshop...
|
Sì
|
|
|
|
|
1998
|
98
|
7
Real Functions Incrementally Computable by Finite Automatons
|
Sì
|
|
|
|
|
1998
|
98
|
6
A Fully Abstract Model for Sequential Computation
|
Sì
|
|
|
|
|
1998
|
98
|
5
A boundary localisation algorithm
|
Sì
|
|
|
|
|
1998
|
98
|
3
Metric Semantics for Reactive Probabilistic Processes
|
Sì
|
|
|
|
|
1998
|
98
|
2
Linear Explicit Substitutions
|
Sì
|
|
|
|
|
1998
|
98
|
1
Ideal Agents Sharing...
|
Sì
|
|
|
|
|
1997
|
97
|
11
Proceedings of the Workshop on Database Theory...
|
Sì
|
|
|
|
|
1997
|
97
|
10
Lawson-compactness for the Probabilistic Powerdomain
|
Sì
|
|
|
|
|
1997
|
97
|
9
Multi Lingual Sequent calculus and Coherent Spaces
|
Sì
|
|
|
|
|
1997
|
97
|
8
Semi-structured information: a model locig approach
|
Sì
|
|
|
|
|
1997
|
97
|
7
Domain Equations for Probabilistic Processes
|
Sì
|
|
|
|
|
1997
|
97
|
6
Mini-Colloquium on Liner for Natural Language
|
Sì
|
|
|
|
|
1997
|
97
|
5
On Explicit Substitutions and Names
|
Sì
|
|
|
|
|
1997
|
97
|
4
Initial Results of a System for The "Noninvasive Biopsy" of Skin Lesions
|
Sì
|
|
|
|
|
1997
|
97
|
3
A noninvasive Skin Imaging System
|
Sì
|
|
|
|
|
1997
|
97
|
2
Symbolic Model Checking for Probabilistic Processes
|
Sì
|
|
|
|
|
1997
|
97
|
1
Logic and Semantics for Programming Birmingham...
|
Sì
|
|
|
|
|
1996
|
96
|
17
Evolving Optimal Populations with XCS Classifier Systems
|
Sì
|
|
|
|
|
1996
|
96
|
15
-16
|
No
|
|
|
|
|
1996
|
96
|
14
Existential vs Preserved by Extensions...
|
Sì
|
|
|
|
|
1996
|
96
|
13
|
No
|
|
|
|
|
1996
|
96
|
12
Model Checking for a Probabilistic Branching time Logic with Fairness
|
Sì
|
|
|
|
|
1996
|
96
|
11
|
No
|
|
|
|
|
1996
|
96
|
10
Intuitionistic Necessity Revisited
|
Sì
|
|
|
|
|
1996
|
96
|
9
|
No
|
|
|
|
|
1996
|
96
|
8
On teh Approximation of Denotational Mu-Semantics
|
Sì
|
|
|
|
|
1996
|
96
|
7
|
No
|
|
|
|
|
1996
|
96
|
6
Proof-terms for Classical and Intuitionistic Resolution
|
Sì
|
|
|
|
|
1996
|
96
|
5
On the Intuitionistic Force of Classical Search
|
Sì
|
|
|
|
|
1996
|
96
|
4
Finite but Unbounded Delay in Synchronous CCS
|
Sì
|
|
|
|
|
1996
|
96
|
3
Uniform Approximation of Topological Spaces
|
Sì
|
|
|
|
|
1996
|
96
|
2
Domains and Denotational Semantics...
|
Sì
|
|
|
|
|
1996
|
96
|
1
Do all human skin colours lie on a defined surface within LMS space?
|
Sì
|
|
|
|
|
1995
|
95
|
1
-8
|
Sì
|
|
|
|
|
1994
|
94
|
1
-12
|
Sì
|
|
|
|
