Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Aalborg Universitets forskningsportal Hjem
Dansk
English
Hjem
Profiler
Projekter
Publikationer
Aktiviteter
Forskningsenheder
Faciliteter
Presse/medier
Priser
Forskningsdatasæt
Impacts
Søg efter ekspertise, navn eller tilknytning
Jiri Srba Teaching Portfolio
Vis Scopus-profil
Jiri Srba
Professor
,
Institut for Datalogi
Professor
,
Det Tekniske Fakultet for IT og Design
Professor
,
Distributed, Embedded and Intelligent Systems
https://orcid.org/0000-0001-5551-6547
Fastnet
9940 9851, 2045 3514
E-mail
srba
cs.aau
dk
Websted
http://www.cs.aau.dk/~srba
Selma Lagerløfs Vej 300
,
1-2-32
9220
Aalborg Ø
Danmark
2003
2023
Publikationer pr. år
Vis
Fingerprint
Netværk
Projekter
(2)
Publikationer
(133)
Forskningsdatasæt
(10)
Presse/medier
(1)
Lignende profiler
(6)
Ph.d.-vejledning
(5)
Fingerprint
Dyk ned i forskningsemnerne, hvor Jiri Srba er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
Sorter
Vægt
Alfabetisk
Computer Science
Model Checking
100%
Petri Net
86%
Transition System
60%
Timed Automaton
50%
Automaton
46%
Dependency Graph
45%
Communication Networks
41%
Reachability Analysis
36%
State Space
30%
Pushdown Automaton
26%
What if Analysis
26%
model checker
25%
Equivalence Checking
24%
Web Service
23%
Polynomial Time
22%
Case Study
22%
Process Algebra
20%
Fixed Points
19%
Synthesis Problem
19%
Continuous Time
18%
Partial Order Reduction
17%
Network Topology
17%
Computer Network
17%
Control Strategy
17%
Colored Petri Net
17%
Concurrency
16%
Model Checking Problem
15%
Switching Network
15%
Static Program Analysis
15%
Forwarding Table
14%
Automatic Synthesis
14%
Predictive Model
14%
Failure Scenario
14%
Policy Compliance
13%
Business Activity
13%
Data Structure
11%
Cryptographic Protocol
11%
Identification Model
11%
Modern Computer
11%
Industry Standard
11%
Stochastic Model
11%
Formal Verification
11%
discrete-time
10%
Open Source
10%
Fixed-Point Computation
10%
Soundness
9%
Subclasses
9%
Timed Transition
8%
Automata Theory
8%
Software-Defined Networking
8%
Keyphrases
Dependency Graph
17%
Language Equivalence
11%
One-counter Automaton
11%
Visibly Pushdown Automata
11%
Ping-pong Effect
11%
Cryptographic Protocols
11%
Kaki
11%
Equivalence Checking
10%
Recursion
8%
Non-deterministic Choice
8%
Reachability Testing
8%
Calculus
8%
Undecidable
8%
Recent Techniques
8%
Process Algebra
8%
Intruder
8%
Reachability Analysis
8%
Petri Games
7%
Bang-bang Controller
6%
Interface Model
5%
EXPTIME-completeness
5%
Project Supervision
5%
Google Cluster
5%
Content Management
5%
Coordinated Management
5%
Google Tools
5%
Healthcare Workflows
5%
Language Emptiness
5%
Parametric Timed Automata
5%
Diversity Arrays Technology (DArT)
5%
Atomic Transactions
5%
Time Semantics
5%
Timed-arc Petri Nets
5%
Infinite-state Systems
5%
Timed Transition System
5%
Logic Model Checking
5%
Timed Computation Tree Logic
5%
Bound Constraints
5%
Networks of Timed Automata
5%
Abstraction Refinement
5%
Weighted Timed Automata
5%
Workflow Net
5%
Time-dependant
5%
Efficient Model
5%
Time Duration
5%
Weight Interval
5%
Modal Automata
5%
Undecidability
5%
Prefix
5%
Rewriting System
5%
