Keyword Connections

mathematicselectronic computers

Journals

0

No Journal Connected

Research Groups

0

No Research Group Connected

Bibliographies

90

1 a type-safe model of adaptive object groups

2 distributed branching bisimulation minimization by inductive signatures

3 lessons learned from microkernel verification — specification is the new bottleneck

4 synthesizing systems with optimal average-case behavior for ratio objectives

5 topology and non-deterministic polynomial time computation : avoidance of the misbehaviour of hub-free diagrams and consequences

6 axiomatizing complete positivity

7 solving the ttc 2011 compiler optimization task with metatools

8 the 3rd reactive synthesis competition (syntcomp 2016): benchmarks, participants & results

9 do players reason by forward induction in dynamic perfect information games?

10 generating complete and finite test suite for ioco: is it possible?

11 beating the productivity checker using embedded languages

12 a modular structural operational semantics for delimited continuations

13 correct-by-construction model composition: application to the invasive software composition method

14 economical, social and psychological barriers in aplication of teleworking in romania

15 on the interpretation of delays in delay stochastic simulation of biological systems

16 amending contracts for choreographies

17 a context-oriented extension of f#

18 perspicuity and granularity in refinement

19 deterministic automata for unordered trees

20 parameterized linear temporal logics meet costs: still not costlier than ltl

21 automatic deduction in dynamic geometry using sage

22 speakable in quantum mechanics: babbling on

23 learning residual finite-state automata using observation tables

24 proof diagrams for multiplicative linear logic

25 conflict detection for edits on extended feature models using symbolic graph transformation

26 the boolean algebra of cubical areas as a tensor product in the category of semilattices with zero

27 a unifying approach to decide relations for timed automata and their game characterization

28 robust leader election in a fast-changing world

29 decision problems for deterministic pushdown automata on infinite words

30 bmbj-neutrosophic ideals in bck/bci-algebras

31 stochastic and spatial equivalences for paloma

32 phase space invertible asynchronous cellular automata

33 tracing monadic computations and representing effects

34 rule-based transformations for geometric modelling

35 accurate programming: thinking about programs in terms of properties

36 gluing together proof environments: canonical extensions of lf type theories featuring locks

37 can nondeterminism help complementation?

38 a knowledge representation meta-model for rule-based modelling of signalling networks

39 a study of entanglement in a categorical framework of natural language

40 computing distances between probabilistic automata

41 extended differential aggregations in process algebra for performance and biology

42 model validation in ontology based transformations

43 interactive verification of markov chains: two distributed protocol case studies

44 practical distributed control synthesis

45 stochastic analysis of synchronization in a supermarket refrigeration system

46 a logical framework for set theories

47 saying hello world with uml-rsds – a solution to the 2011 instructive case

48 rooted branching bisimulation as a congruence for probabilistic transition systems

49 solving the ttc 2011 reengineering case with edapt

50 computational complexity of iterated maps on the interval (extended abstract)

51 automatic function annotations for hoare logic

52 on derivatives and subpattern orders of countable subshifts

53 algebraic characterisation of one-way patterns

54 a standardisation proof for algebraic pattern calculi

55 information theory: sources, dirichlet series, and realistic analyses of data structures

56 towards symbolic model-based mutation testing: combining reachability and refinement checking

57 tiling problems on baumslag-solitar groups.

58 improving hyltl model checking of hybrid systems

59 isabelle/pide as platform for educational tools

60 characteristic formulae for fixed-point semantics: a general framework

61 adaptive process management in highly dynamic and pervasive scenarios

62 boolean networks synchronism sensitivity and xor circulant networks convergence time

63 coherent minimisation: towards efficient tamper-proof compilation

64 self-recovering sensor-actor networks

65 choreography synthesis as contract agreement

66 history-sensitive versus future-sensitive approaches to security in distributed systems

67 on the robustness of temporal properties for stochastic models

68 exact gap computation for code coverage metrics in iso-c

69 towards the automated generation of focused proof systems

70 hyltl: a temporal logic for model checking hybrid systems

71 modelling spatial interactions in the arbuscular mycorrhizal symbiosis using the calculus of wrapped compartments

72 effects of delayed immune-response in tumor immune-system interplay

73 on barbs and labels in reactive systems

74 small turing universal signal machines

75 local rules for computable planar tilings

76 hybrid calculus of wrapped compartments

77 non-simplifying graph rewriting termination

78 chemical communication between synthetic and natural cells: a possible experimental design.

79 the expressive power of modal logic with inclusion atoms

80 on the number of membranes in unary p systems

81 deterministic autopoietic automata

82 higher-order port-graph rewriting

83 nondeterministic state complexity for suffix-free regular languages

84 a model of colonic crypts using sbml spatial

85 rascal: from algebraic specification to meta-programming

86 a hybrid monte carlo ant colony optimization approach for protein structure prediction in the hp model

87 a ltl fragment for gr(1)-synthesis

88 impact of local information in growing networks

89 graph subsumption in abstract state space exploration

90 reverse bisimulations on stable configuration structures