Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Berger, Philipp
40  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Configurable Benchmarks for C Model Checkers:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Fink, Xaver ; Berger, Philipp ; Katoen, Joost-Pieter - p. 338-354 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Analysing Capacity Bottlenecks in Rail Infrastructure by Ep..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Berger, Philipp ; Lenze, Wiebke ; Noll, Thomas... - p. 121-133 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Interpretation-Based Violation Witness Validation for C: NI..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Švejda, Jan ; Berger, Philipp ; Katoen, Joost-Pieter - p. 40-57 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Benchmarking Software Model Checkers on Automotive Code:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Westhofen, Lukas ; Berger, Philipp ; Katoen, Joost-Pieter - p. 133-150 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Towards Automatic Personality Prediction Using Facebook Lik..:

, In: 2019 IEEE 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE),
Tareaf, Raad Bin ; Alhosseini, Seyed Ali ; Berger, Philipp.. - p. 714-719 , 2019
Link: https://doi.org/10.1109/..
 
?
6

Multiple Analyses, Requirements Once:: Simplifying Testing ..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Berger, Philipp ; Nellen, Johanna ; Katoen, Joost-Pieter... - p. 59-75 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Digital Collaboration with a Whiteboard in Virtual Reality:

, In: Proceedings of the Future Technologies Conference (FTC) 2018; Advances in Intelligent Systems and Computing,
Petrykowski, Markus ; Berger, Philipp ; Hennig, Patrick. - p. 962-981 , 2018
Link: https://doi.org/10.1007/..
 
?
8

Authorship Verification on Short Text Samples Using Stylome..:

, In: Lecture Notes in Computer Science; Analysis of Images, Social Networks and Texts,
Jasper, Johannes ; Berger, Philipp ; Hennig, Patrick. - p. 64-75 , 2018
Link: https://doi.org/10.1007/..
 
?
9

Identifying Audience Attributes : Predicting Age, Gender..:

, In: Proceedings of the 2017 International Conference on Cloud and Big Data Computing,
Bin Tareaf, Raad ; Berger, Philipp ; Hennig, Patrick.. - p. 79-88 , 2017
Link: https://dl.acm.org/doi/1..
 
?
10

Accelerate the detection of trends by using sentiment analy..:

, In: Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,
Hennig, Patrick ; Berger, Philipp ; Lehmann, Claudia.. - p. 503-508 , 2014
Link: https://dl.acm.org/doi/1..
 
?
11

Adaptive post recognition : combine feeds and linked htm..:

, In: Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,
Berger, Philipp ; Hennig, Patrick ; Petrick, Dominic.. - p. 403-410 , 2014
Link: https://dl.acm.org/doi/1..
 
?
12

Geographic focus detection using multiple location taggers:

, In: Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining,
Berger, Philipp ; Hennig, Patrick ; Glaeser, Dustin.. - p. 429-436 , 2014
Link: https://dl.acm.org/doi/1..
 
?
13

Identifying Domain Experts in the Blogosphere -- Ranking Bl..:

, In: Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 01,
Berger, Philipp ; Hennig, Patrick ; Meinel, Christoph - p. 252-259 , 2013
Link: https://dl.acm.org/doi/1..
 
?
14

Identify Emergent Trends Based on the Blogosphere:

, In: Proceedings of the 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Volume 03,
Hennig, Patrick ; Berger, Philipp ; Meinel, Christoph - p. 41-45 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

ICT-Enabled Optimization of Government Processes:

, In: Handbook of Research on ICT-Enabled Transformational Government,
Baacke, Lars ; Becker, Jörg ; Bergener, Philipp.. ,
Link: https://doi.org/10.4018/..
 
1-15