Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
functional reactive programming (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/144)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
https://doi.org/10.1016/j.jlamp.2016.07.001
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
144
1.
functional reactive programming
2.
mathematical structures in functional programming
3.
chiefly reactive CSR
4.
C-reactive protein
5.
highly reactive viscoelastic liquids
6.
leakage current and reactive power supporting
7.
reactive annealing
8.
reactive atmosphere
9.
reactive dip-coating
10.
reactive energy
11.
reactive extrusion
12.
reactive laser powder-bed fusion
13.
reactive measures
14.
reactive melt blending
15.
reactive nitrogen
16.
reactive nitrogen budget
17.
reactive oxygen specie
18.
reactive oxygen species
19.
reactive oxygen species (ROS)
20.
reactive power
21.
reactive power compensation
22.
reactive power control
23.
reactive power injection
24.
reactive power management
25.
reactive power provision
26.
reactive risk management
27.
reactive sintering
28.
reactive vacuum sintering
29.
adaptive programming
30.
advanced programming and software
31.
API (Application Programming Interface)
32.
automatic programming
33.
C++ programming language
34.
chance-constrained programming
35.
computer programming
36.
computer programming languages
37.
constraint programming
38.
convex programming
39.
cross-functional teams
40.
dataflow programming
41.
degenerate and infeasible linear programming problems
42.
density functional calculations
43.
density functional theory
44.
density functional theory (DFT)
45.
dependently typed programming
46.
discrete-convex programming
47.
dynamic programming
48.
extra-functional verification
49.
Extreme Programming
50.
FIM (functional independence measure)
51.
FIM + FAM (functional assessment measure)
52.
functional diversity
53.
functional approximation
54.
functional biomaterials
55.
functional BIST
56.
functional capacity of cooperation
57.
functional capacity of integration
58.
functional complexes
59.
functional components
60.
functional connectivity
61.
functional data analysis
62.
functional derating
63.
functional de-rating
64.
functional dispersion
65.
functional diversity
66.
functional equivalence principle
67.
Functional Failure Rate (FFR)
68.
functional fault model
69.
functional food
70.
functional food ingredients
71.
functional gene analysis
72.
functional groups
73.
functional institutional analysis
74.
functional ionic liquids
75.
functional iteration
76.
functional material
77.
functional materials
78.
functional models
79.
functional morphology
80.
functional polymer
81.
functional power plants
82.
functional power-plants
83.
functional prediction
84.
functional profiling
85.
functional properties
86.
functional recovery
87.
functional requirements
88.
functional safety
89.
functional self-test
90.
functional smoothie
91.
Functional specialist in AI for public services
92.
functional state of the muscles -tiredness
93.
functional stress programs
94.
functional test generation
95.
functional trait diversity
96.
functional verification
97.
functional-safety
98.
game programming
99.
generative programming
100.
genetic programming
101.
hardware close programming
102.
high-level functional fault model
103.
hybrid functional
104.
Inductive logic programming
105.
initial solution to the linear programming problem
106.
in-system programming
107.
integer linear programming
108.
integer linear programming (ILP)
109.
integrated programming system
110.
intelligent programming environment
111.
linear integer programming
112.
linear programming
113.
logarithmic fuzzy preference programming (LFPP)
114.
mathematical programming
115.
mixed integer linear programming
116.
mixed integer linear programming (MILP)
117.
mixed integer nonlinear programming
118.
mixed-integer linear programming
119.
multi-objective nonlinear programming
120.
Nc-programming
121.
non-robust and functional sensitization
122.
non-robust and functional sensitization of delay faults
123.
object-oriented programming
124.
object-oriented programming languages
125.
pair-programming
126.
plant-functional types
127.
problem-oriented programming languages
128.
programming
129.
programming and vision
130.
programming basics
131.
programming education
132.
programming languages
133.
programming time
134.
quadratic programming
135.
robot programming
136.
semantics of programming languages
137.
size of functional groups
138.
skills assessment of programming and mathematics
139.
solving linear programming problems
140.
stochastic dynamic programming
141.
stochastic programming
142.
structured programming
143.
time-dependent density functional theory (TD-DFT)
144.
wireless programming
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT