Personensuche
X
?
Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition ,
1
Formal verification techniques: industrial status and persp..:
, In:
?
Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval ,
2
REL: An Entity Linker Standing on the Shoulders of Giants:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
3
Bayesian Estimation for Linear Systems with Nonlinear Outpu..:
, In:
?
2023 62nd IEEE Conference on Decision and Control (CDC) ,
4
Estimation of Dynamic Gaussian Processes:
, In:
?
27th International Conference on Electricity Distribution (CIRED 2023) ,
5
Analysis and insights from reactive power measurements of l..:
, In:
?
27th International Conference on Electricity Distribution (CIRED 2023) ,
6
Market-based flexibility services for congestion management..:
, In:
?
Life-Cycle of Engineering Systems: Emphasis on Sustainable Civil Infrastructure ,
7
Determining the remaining lifespan of concrete structures:
, In:
?
2013 13th International Conference on Application of Concurrency to System Design ,
8
Maximal Synthesis for Hennessy-Milner Logic:
, In:
?
InternationalQuantum Electronics Conference, 2004. (IQEC). ,
10