Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Theodoros Nestoridis
Observed name:
Nestoridis, Theodoros
Observed institution:
Aristotle University of Thessaloniki
ORCID:
0000-0002-1107-7690
Observed ORCID:
0000-0002-1107-7690
OpenAlex ID:
A5045611035
Semantic Modeling and Analysis of Natural Language System Requirements
2022
·
Konstantinos Mokos
, Theodoros Nestoridis
, et al.
·
IEEE Access
·
14
PDF
Sboing4Real: A real-time crowdsensing-based traffic management system
2022
·
Theodoros Toliopoulos
, Nikodimos Nikolaidis
, et al.
·
Journal of Parallel and Distributed Computing
·
9
Directional transmission in biological nanonetworks via positive Chemotaxis
2019
·
Theodoros Nestoridis
, Konstantinos Kantelis
, et al.
·
ACM International Conference on Nanoscale Computing and Communication (NANOCOM)
·
3
Scalable IoT architecture for balancing performance and security in mobile crowdsensing systems
2020
·
Theodoros Nestoridis
, Chrysa Oikonomou
, et al.
·
International Conference on Internet of Things: Systems, Management and Security (IOTSMS)
·
2
From Natural Language Requirement Specifications to Logic Properties
2025
·
Theodoros Nestoridis
, Konstantinos Mokos
, et al.
·
Lecture notes in computer science
·
1
SoK: Formal Methods for Fact-Checking and Information Integrity
2026
·
Kekatos, Nikolaos
, Nestoridis, Theodoros
, et al.
·
arXiv (Cornell University)
PDF
Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric
2026
·
Kekatos, Nikolaos
, Ioannou, Michael
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
7
Citation count:
29
H-index:
3
I10-index:
1
Year
Topic
Type
