| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
Big Data Min. Anal.
|
| 2026 | — | conf |
ICAART (2)
|
| 2025 | — | conf |
BIOSTEC (1)
|
| 2025 | — | conf |
FICC (1)
|
| 2025 | C | conf |
EDUCON
|
| 2025 | B | conf |
ICALT
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
EMOOCs
|
| 2025 | — | conf |
ICISSP (2)
|
| 2025 | — | ed. |
CSEDU (1)
|
| 2025 | — | ed. |
CSEDU (2)
|
| 2025 | — | book |
|
| 2025 | — | conf |
AIED (5)
|
| 2024 | J | jnl |
Comput. Speech Lang.
|
| 2024 | — | conf |
GeCon
|
| 2024 | — | conf |
ACNS Workshops (2)
|
| 2024 | C | conf |
EDUCON
|
| 2024 | — | conf |
ACNS Workshops (2)
|
| 2024 | — | conf |
ECCV (31)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | B | conf |
L@S
|
| 2024 | J | jnl |
CoRR
|
| 2024 | A | conf |
WACV
|
| 2024 | J | jnl |
Comput. Secur.
|
| 2024 | — | conf |
ACNS (3)
|
| 2024 | — | conf |
DEXA (2)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | C | conf |
ISPA
|
| 2024 | A | conf |
LAK
|
| 2024 | B | conf |
IJCNN
|
| 2024 | J | jnl |
CoRR
|
| 2024 | C | conf |
ICISSP
|
| 2024 | — | conf |
ISC (2)
|
| 2024 | J | jnl |
Comput. Secur.
|
| 2023 | — | conf |
DAPPS
|
| 2023 | J | jnl |
CoRR
|
| 2023 | B | conf |
IJCB
|
| 2023 | — | conf |
ICMLT
|
| 2023 | J | jnl |
Int. J. Inf. Sec.
|
| 2023 | Misc | conf |
ICASSP
|
| 2023 | — | conf |
HIP@ICDAR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | — | conf |
DEXA (2)
|
| 2023 | — | conf |
LWMOOCS
|
| 2023 | — | conf |
LWMOOCS
|
| 2023 | B | conf |
IJCNN
|
| 2023 | — | conf |
GECon
|
| 2023 | B | conf |
L@S
|
| 2023 | — | conf |
GECon
|
| 2023 | C | conf |
SECRYPT
|
| 2023 | — | ed. |
EMOOCs
|
| 2023 | — | conf |
EMOOCs
|
| 2023 | — | conf |
AINA (2)
|
| 2023 | — | conf |
EACL (Findings)
|
| 2023 | B | conf |
TrustCom
|
| 2023 | — | conf |
AINA (3)
|
| 2023 | C | conf |
EDUCON
|
| 2023 | B | conf |
IJCNN
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
Trans. Mach. Learn. Res.
|
| 2023 | B | conf |
EC-TEL
|
| 2023 | — | conf |
LWMOOCS
|
| 2023 | — | conf |
ICOIN
|
| 2023 | B | conf |
L@S
|
| 2023 | — | conf |
LWMOOCS
|
| 2023 | J | jnl |
Trans. Mach. Learn. Res.
|
| 2023 | B | conf |
IJCB
|
| 2023 | C | conf |
Using Randomized Controlled Trials in eLearning: How to Add Content A/B Tests to a MOOC Environment.
EDUCON
|
| 2023 | — | conf |
EMOOCs
|
| 2022 | J | jnl |
CoRR
|
| 2022 | C | conf |
BDCAT
|
| 2022 | — | conf |
AINA (1)
|
| 2022 | B | conf |
L@S
|
| 2022 | B | conf |
L@S
|
| 2022 | B | conf |
ICALT
|
| 2022 | — | conf |
LWMOOCS
|
| 2022 | — | conf |
DEXA (1)
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Wirtschaftsinformatik Manag.
|
| 2022 | B | conf |
EC-TEL
|
| 2022 | — | conf |
EGOV-CeDEM-ePart-*
|
| 2022 | J | jnl |
CoRR
|
| 2022 | B | conf |
TrustBus
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
HPCC/DSS/SmartCity/DependSys
|
| 2022 | — | conf |
LWMOOCS
|
| 2022 | C | conf |
EDUCON
|
| 2022 | B | conf |
ICPR
|
| 2022 | B | conf |
L@S
|
| 2022 | J | jnl |
Distributed Parallel Databases
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Wirtschaftsinformatik Manag.
|
| 2021 | — | ed. |
EMOOCs
|
| 2021 | — | conf |
AINA (2)
|
| 2021 | J | jnl |
Trans. Large Scale Data Knowl. Centered Syst.
|
| 2021 | — | conf |
AINA (3)
|
| 2021 | J | jnl |
IEEE Access
|
| 2021 | B | conf |
TrustCom
|
| 2021 | C | conf |
SECRYPT
|
| 2021 | A | conf |
WACV
|
| 2021 | — | conf |
CSP
|
| 2021 | — | book |
|
| 2021 | J | jnl |
CoRR
|
| 2021 | Misc | conf |
ICDCN
|
| 2021 | C | conf |
PST
|
| 2021 | J | jnl |
Comput. Secur.
|
| 2021 | — | conf |
ACIS
|
| 2021 | — | conf |
ICANN (3)
|
| 2021 | — | conf |
AINA (2)
|
| 2021 | J | jnl |
CoRR
|
| 2021 | C | conf |
ISCC
|
| 2021 | C | conf |
iiWAS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
AINA (2)
|
| 2021 | — | conf |
ICDF2C
|
| 2021 | C | conf |
EDUCON
|
| 2021 | B | conf |
L@S
|
| 2021 | — | conf |
ABP
|
| 2021 | B | ed. |
L@S
|
| 2021 | C | conf |
CoG
|
| 2021 | — | conf |
ICAART (2)
|
| 2021 | A | conf |
WACV
|
| 2021 | C | conf |
IPCCC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | C | conf |
SECRYPT
|
| 2021 | — | conf |
AINA (3)
|
| 2021 | A | conf |
BMVC
|
| 2021 | — | conf |
DELFI
|
| 2021 | — | conf |
SecureComm (1)
|
| 2021 | C | conf |
PRO-VE
|
| 2021 | J | jnl |
CoRR
|
| 2021 | B | conf |
L@S
|
| 2021 | — | conf |
CLEF (Working Notes)
|
| 2021 | B | conf |
L@S
|
| 2021 | — | conf |
EMOOCs
|
| 2020 | — | conf |
SecureComm (2)
|
| 2020 | C | conf |
EDUCON
|
| 2020 | — | conf |
AINA Workshops
|
| 2020 | C | conf |
ICMLA
|
| 2020 | A* | conf |
ACM Multimedia
|
| 2020 | B | conf |
LREC
|
| 2020 | J | jnl |
IEEE Access
|
| 2020 | J | jnl |
Web Intell.
|
| 2020 | C | conf |
CoG
|
| 2020 | — | conf |
DeLFI
|
| 2020 | — | conf |
ISPA/BDCloud/SocialCom/SustainCom
|
| 2020 | — | conf |
RecSys Challenge
|
| 2020 | B | conf |
TrustCom
|
| 2020 | J | jnl |
Generative multi-adversarial network for striking the right balance in abdominal image segmentation.
Int. J. Comput. Assist. Radiol. Surg.
|
| 2020 | — | conf |
Computer-Aided Diagnosis
|
| 2020 | — | conf |
ICPR Workshops (3)
|
| 2020 | J | jnl |
CoRR
|
| 2020 | B | conf |
L@S
|
| 2020 | J | jnl |
Int. J. Adv. Corp. Learn.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
LWMOOCS
|
| 2020 | C | conf |
ICMLA
|
| 2020 | C | conf |
EDUCON
|
| 2020 | — | conf |
CLOSER (Selected Papers)
|
| 2020 | C | conf |
CLOSER
|
| 2020 | B | conf |
COLING
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
AI Soc.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | C | conf |
EDUCON
|
| 2020 | — | conf |
LWMOOCS
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Multim. Tools Appl.
|
| 2020 | — | conf |
CLEF (Working Notes)
|
| 2020 | B | conf |
L@S
|
| 2020 | — | conf |
LWMOOCS
|
| 2020 | Misc | conf |
DICTA
|
| 2020 | — | conf |
ICANN (2)
|
| 2020 | — | conf |
ICETE (2)
|
| 2020 | — | conf |
LWMOOCS
|
| 2020 | A | conf |
WACV
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Int. J. Adv. Corp. Learn.
|
| 2019 | B | conf |
AINA
|
| 2019 | — | conf |
TALE
|
| 2019 | — | conf |
EMOOCs
|
| 2019 | B | conf |
NCA
|
| 2019 | — | conf |
EMOOCs
|
| 2019 | — | conf |
CODASPY
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ICCV Workshops
|
| 2019 | A | conf |
WACV
|
| 2019 | J | jnl |
Int. J. Online Biomed. Eng.
|
| 2019 | — | conf |
WF-IoT
|
| 2019 | J | jnl |
Comput. Networks
|
| 2019 | — | conf |
TALE
|
| 2019 | — | conf |
CSEDU (Selected Papers)
|
| 2019 | — | conf |
WWW (Companion Volume)
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ISPA/BDCloud/SocialCom/SustainCom
|
| 2019 | C | conf |
ICISSP
|
| 2019 | C | conf |
EDUCON
|
| 2019 | C | conf |
EDUCON
|
| 2019 | B | conf |
L@S
|
| 2019 | — | conf |
ANT/EDI40
|
| 2019 | — | conf |
PDH
|
| 2019 | — | conf |
DASC/PiCom/DataCom/CyberSciTech
|
| 2019 | — | conf |
LWMOOCS
|
| 2019 | J | jnl |
Distributed Parallel Databases
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
Computer-Aided Diagnosis
|
| 2019 | — | conf |
WF-IoT
|
| 2019 | C | conf |
EDUCON
|
| 2019 | C | conf |
CLOSER
|
| 2019 | — | conf |
CogMI
|
| 2019 | A | conf |
ACSAC
|
| 2019 | B | conf |
L@S
|
| 2019 | — | conf |
LWMOOCS
|
| 2019 | — | conf |
ICEIS (2)
|
| 2019 | — | conf |
ICBDC
|
| 2019 | — | conf |
ISPA/BDCloud/SocialCom/SustainCom
|
| 2019 | B | conf |
NCA
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
CSEDU (1)
|
| 2019 | B | conf |
NCA
|
| 2019 | — | conf |
TALE
|
| 2019 | B | conf |
AINA
|
| 2019 | C | conf |
EDUCON
|
| 2019 | C | conf |
ISPEC
|
| 2019 | C | conf |
FIE
|
| 2019 | Misc | conf |
ISKE
|
| 2019 | — | conf |
CSEDU (1)
|
| 2019 | — | conf |
DEXA (1)
|
| 2019 | C | conf |
ICCE
|
| 2019 | B | conf |
ICIP
|
| 2019 | — | conf |
ICOIN
|
| 2019 | — | conf |
SSCI
|
| 2019 | — | conf |
EMOOCs-WIP
|
| 2019 | C | conf |
EDUCON
|
| 2019 | — | conf |
CSNet
|
| 2019 | — | conf |
ICCCM
|
| 2019 | J | jnl |
Int. J. Adv. Corp. Learn.
|
| 2018 | — | conf |
iThings/GreenCom/CPSCom/SmartData
|
| 2018 | — | ch. |
Smart Micro-Grid Systems Security and Privacy
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
Comput. Sci. Rev.
|
| 2018 | B | conf |
NOMS
|
| 2018 | — | conf |
HPCC/SmartCity/DSS
|
| 2018 | — | conf |
DASC/PiCom/DataCom/CyberSciTech
|
| 2018 | Misc | conf |
AIST
|
| 2018 | J | jnl |
IEEE Trans. Learn. Technol.
|
| 2018 | — | conf |
TrustCom/BigDataSE
|
| 2018 | — | conf |
SecureComm (1)
|
| 2018 | B | conf |
NCA
|
| 2018 | C | conf |
FIE
|
| 2018 | J | jnl |
CoRR
|
| 2018 | C | conf |
HealthCom
|
| 2018 | — | conf |
DeLFI Workshops
|
| 2018 | B | conf |
EWSN
|
| 2018 | J | jnl |
CoRR
|
| 2018 | C | conf |
Embedded smart home - remote lab MOOC with optional real hardware experience for over 4000 students.
EDUCON
|
| 2018 | C | conf |
EDUCON
|
| 2018 | — | conf |
SC²
|
| 2018 | — | conf |
MIE
|
| 2018 | — | conf |
SeGAH
|
| 2018 | J | jnl |
Int. J. Parallel Program.
|
| 2018 | — | conf |
IMCL
|
| 2018 | Misc | conf |
DICTA
|
| 2018 | J | jnl |
ACM Trans. Multim. Comput. Commun. Appl.
|
| 2018 | C | conf |
EDUCON
|
| 2018 | A | conf |
CIKM
|
| 2018 | — | ch. |
Smart Micro-Grid Systems Security and Privacy
|
| 2018 | J | jnl |
J. Comput.
|
| 2018 | B | conf |
IJCNN
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ACCV Workshops
|
| 2018 | J | jnl |
CoRR
|
| 2018 | C | conf |
DAIS
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
EC-TEL (Practitioner Proceedings)
|
| 2018 | B | conf |
WI
|
| 2018 | — | ch. |
Smart Micro-Grid Systems Security and Privacy
|
| 2018 | — | conf |
AINA Workshops
|
| 2018 | A* | conf |
AAAI
|
| 2018 | B | conf |
AINA
|
| 2018 | C | conf |
ICISSP
|
| 2018 | — | conf |
CSEDU (2)
|
| 2018 | — | book |
|
| 2018 | J | jnl |
Trans. Large Scale Data Knowl. Centered Syst.
|
| 2018 | B | conf |
L@S
|
| 2018 | — | conf |
LWMOOCS
|
| 2018 | J | jnl |
CoRR
|
| 2018 | B | conf |
EC-TEL
|
| 2018 | — | conf |
LWMOOCS
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ICOIN
|
| 2018 | — | conf |
SOCA
|
| 2018 | J | jnl |
Int. J. Inf. Secur. Priv.
|
| 2018 | — | conf |
Bildverarbeitung für die Medizin
|
| 2018 | — | conf |
BrainLes@MICCAI (2)
|
| 2017 | — | conf |
BrainLes@MICCAI
|
| 2017 | B | conf |
AINA
|
| 2017 | C | conf |
CSCWD
|
| 2017 | B | conf |
ICALT
|
| 2017 | C | conf |
CRiSIS
|
| 2017 | A* | conf |
ACM Multimedia
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Int. J. Eng. Pedagog.
|
| 2017 | — | conf |
DEXA (2)
|
| 2017 | B | conf |
SMC
|
| 2017 | B | conf |
L@S
|
| 2017 | J | jnl |
CoRR
|
| 2017 | B | conf |
EWSN
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
ICONIP (4)
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
I3E
|
| 2017 | — | conf |
FedCSIS (Communication Papers)
|
| 2017 | — | conf |
SysCon
|
| 2017 | Misc | conf |
SenSys
|
| 2017 | — | conf |
MSPN
|
| 2017 | J | jnl |
Ensuring patients privacy in a cryptographic-based-electronic health records using bio-cryptography.
CoRR
|
| 2017 | J | jnl |
Int. J. Electron. Heal.
|
| 2017 | — | conf |
MedInfo
|
| 2017 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2017 | J | jnl |
Wirel. Pers. Commun.
|
| 2017 | B | conf |
ICALT
|
| 2017 | C | conf |
SecureComm
|
| 2017 | — | conf |
ICCBDC
|
| 2017 | — | conf |
CSCloud
|
| 2017 | B | conf |
SSDBM
|
| 2017 | Misc | conf |
UCC
|
| 2017 | C | conf |
EDUCON
|
| 2017 | — | conf |
ICIMTH
|
| 2017 | — | conf |
ICONIP (6)
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
SmartCloud
|
| 2017 | — | conf |
FPS
|
| 2017 | — | conf |
AFRICON
|
| 2017 | — | conf |
CSEDU (1)
|
| 2017 | C | conf |
SIN
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
DeLFI
|
| 2017 | C | conf |
ISCC
|
| 2017 | — | conf |
ICETC
|
| 2017 | — | conf |
mLearn
|
| 2017 | — | conf |
ICCBDC
|
| 2017 | C | conf |
EDUCON
|
| 2017 | — | conf |
TALE
|
| 2017 | J | jnl |
Comput. Secur.
|
| 2017 | — | conf |
RepEval@EMNLP
|
| 2017 | — | conf |
ABP
|
| 2016 | B | conf |
WI
|
| 2016 | J | jnl |
Multim. Tools Appl.
|
| 2016 | — | conf |
ICANN (2)
|
| 2016 | — | conf |
T4E
|
| 2016 | Misc | conf |
CISS
|
| 2016 | — | conf |
I3E
|
| 2016 | — | conf |
DEXA (1)
|
| 2016 | — | conf |
Conf. Computing Frontiers
|
| 2016 | — | conf |
SSCI
|
| 2016 | — | conf |
DeLFI
|
| 2016 | — | conf |
ICL (1)
|
| 2016 | — | conf |
TALE
|
| 2016 | C | conf |
EDUCON
|
| 2016 | Misc | conf |
SIGUCCS
|
| 2016 | J | jnl |
Inform. Spektrum
|
| 2016 | — | conf |
DEXA (2)
|
| 2016 | — | conf |
SMBM
|
| 2016 | B | conf |
L@S
|
| 2016 | C | conf |
EDUCON
|
| 2016 | B | conf |
NOMS
|
| 2016 | B | conf |
IJCNN
|
| 2016 | C | conf |
CSCWD
|
| 2016 | A* | conf |
ACM Multimedia
|
| 2016 | J | jnl |
CoRR
|
| 2016 | — | conf |
SysCon
|
| 2016 | B | conf |
L@S
|
| 2016 | C | conf |
PDP
|
| 2016 | — | conf |
AINA Workshops
|
| 2016 | B | conf |
IC2E
|
| 2016 | B | conf |
ARES
|
| 2016 | — | conf |
MIE
|
| 2016 | — | conf |
CyberICPS@ESORICS
|
| 2016 | B | conf |
ICALT
|
| 2016 | — | conf |
AINA Workshops
|
| 2016 | J | jnl |
SIGMOD Rec.
|
| 2016 | B | conf |
LREC
|
| 2016 | — | conf |
ICONIP (3)
|
| 2016 | A* | conf |
ACM Multimedia
|
| 2016 | A | conf |
INTERSPEECH
|
| 2016 | C | conf |
CIT
|
| 2016 | — | conf |
ISVC (2)
|
| 2016 | J | jnl |
Comput. Educ.
|
| 2016 | — | conf |
CTS
|
| 2016 | B | conf |
AINA
|
| 2016 | — | conf |
LCN Workshops
|
| 2016 | A | conf |
LAK
|
| 2016 | — | conf |
ICACI
|
| 2016 | J | jnl |
Int. J. Adv. Corp. Learn.
|
| 2015 | — | conf |
ICITST
|
| 2015 | — | conf |
CSCESM
|
| 2015 | — | conf |
ICWL
|
| 2015 | B | conf |
ICMR
|
| 2015 | — | conf |
HPCC/CSS/ICESS
|
| 2015 | — | conf |
ICITST
|
| 2015 | — | conf |
EUSPN/ICTH
|
| 2015 | C | conf |
APNOMS
|
| 2015 | C | conf |
SIN
|
| 2015 | — | conf |
WI-IAT (3)
|
| 2015 | — | book |
|
| 2015 | — | conf |
NTMS
|
| 2015 | — | conf |
MMM (1)
|
| 2015 | B | conf |
ICTAI
|
| 2015 | — | conf |
DEXA (1)
|
| 2015 | — | conf |
CSE
|
| 2015 | — | conf |
SmartCity
|
| 2015 | — | conf |
WI-IAT (1)
|
| 2015 | — | conf |
SmartCity
|
| 2015 | A | conf |
ACSAC
|
| 2015 | C | conf |
ISPDC
|
| 2015 | B | conf |
DSAA
|
| 2015 | J | jnl |
IEEE Trans. Learn. Technol.
|
| 2015 | — | conf |
HEALTHINF
|
| 2015 | Misc | conf |
SIGUCCS
|
| 2015 | — | conf |
MSPN
|
| 2015 | J | jnl |
Inform. Spektrum
|
| 2015 | — | conf |
CSCloud
|
| 2015 | C | conf |
WISTP
|
| 2015 | C | conf |
IPCCC
|
| 2015 | — | conf |
CTS
|
| 2015 | — | conf |
MSPN
|
| 2015 | — | conf |
CSEDU (1)
|
| 2015 | — | conf |
ISGT Asia
|
| 2015 | — | conf |
DASFAA (1)
|
| 2015 | C | conf |
FIE
|
| 2015 | — | conf |
LCN Workshops
|
| 2015 | — | conf |
FNSS
|
| 2015 | C | conf |
SIN
|
| 2015 | — | conf |
SmartCity
|
| 2015 | C | conf |
PSIVT
|
| 2015 | — | conf |
SITIS
|
| 2015 | — | conf |
TALE
|
| 2015 | — | conf |
ICONIP (1)
|
| 2015 | J | jnl |
Wirtschaftsinformatik Manag.
|
| 2014 | — | conf |
ITHET
|
| 2014 | B | conf |
ASONAM
|
| 2014 | — | conf |
CTS
|
| 2014 | J | jnl |
Inform. Spektrum
|
| 2014 | — | conf |
BDCloud
|
| 2014 | Misc | conf |
UCC
|
| 2014 | J | jnl |
IEEE Trans. Learn. Technol.
|
| 2014 | — | conf |
iThings/GreenCom/CPSCom
|
| 2014 | — | book |
|
| 2014 | — | conf |
BDCloud
|
| 2014 | B | conf |
DSAA
|
| 2014 | — | conf |
PASSWORDS
|
| 2014 | B | conf |
ASONAM
|
| 2014 | C | conf |
EDUCON
|
| 2014 | C | conf |
EDUCON
|
| 2014 | — | conf |
FiCloud
|
| 2014 | — | conf |
ECCE
|
| 2014 | J | jnl |
J. Supercomput.
|
| 2014 | — | conf |
Business Process Management Workshops
|
| 2014 | — | conf |
iThings/GreenCom/CPSCom
|
| 2014 | — | conf |
ICITCS
|
| 2014 | — | conf |
UIC/ATC/ScalCom
|
| 2014 | — | book |
|
| 2014 | — | conf |
MIE
|
| 2014 | A | conf |
Conference on Designing Interactive Systems
|
| 2014 | J | jnl |
Int. J. Technol. Educ. Mark.
|
| 2014 | — | conf |
CSE
|
| 2013 | — | conf |
ASPI@UbiComp
|
| 2013 | C | conf |
DASC
|
| 2013 | B | conf |
NCA
|
| 2013 | — | conf |
CTS
|
| 2013 | C | conf |
SIN
|
| 2013 | B | conf |
ICPE
|
| 2013 | — | conf |
CSE
|
| 2013 | — | conf |
ITNG
|
| 2013 | C | conf |
SIN
|
| 2013 | — | conf |
MSN
|
| 2013 | Misc | conf |
UCC
|
| 2013 | — | conf |
AINA Workshops
|
| 2013 | B | conf |
EC-TEL
|
| 2013 | Misc | conf |
UCC
|
| 2013 | — | conf |
ICWL
|
| 2013 | B | conf |
ICCCN
|
| 2013 | B | conf |
CCGRID
|
| 2013 | C | conf |
IAS
|
| 2013 | J | jnl |
Log. J. IGPL
|
| 2013 | — | conf |
Web Intelligence/IAT Workshops
|
| 2013 | — | conf |
Web Intelligence
|
| 2013 | C | conf |
GPC
|
| 2013 | — | book |
|
| 2013 | — | conf |
ICWL
|
| 2013 | A* | conf |
ACM Multimedia
|
| 2013 | C | conf |
DASC
|
| 2013 | — | conf |
SouthCHI
|
| 2013 | C | conf |
SIN
|
| 2013 | — | conf |
CBD
|
| 2013 | C | conf |
PST
|
| 2013 | — | conf |
IEEE CLOUD
|
| 2013 | — | conf |
ICITCS
|
| 2013 | — | conf |
ICACCI
|
| 2013 | A | conf |
CSCW
|
| 2013 | C | conf |
CSCWD
|
| 2013 | — | conf |
SocialCom
|
| 2013 | — | conf |
ADMA (1)
|
| 2013 | C | conf |
EDUCON
|
| 2013 | B | conf |
CSEDU
|
| 2013 | — | conf |
DeLFI
|
| 2012 | — | conf |
CISIS/ICEUTE/SOCO Special Sessions
|
| 2012 | — | conf |
ICWL
|
| 2012 | J | jnl |
Concurr. Comput. Pract. Exp.
|
| 2012 | — | conf |
GreenCom
|
| 2012 | — | conf |
CSEDU (1)
|
| 2012 | — | conf |
DeLFI
|
| 2012 | J | jnl |
Int. J. Cooperative Inf. Syst.
|
| 2012 | C | conf |
CIT
|
| 2012 | C | conf |
CloudCom
|
| 2012 | J | jnl |
ACM SIGOPS Oper. Syst. Rev.
|
| 2012 | — | conf |
CTS
|
| 2012 | J | jnl |
IEEE Internet Comput.
|
| 2012 | — | conf |
FPS
|
| 2012 | J | jnl |
Soc. Netw. Anal. Min.
|
| 2012 | — | conf |
DeLFI
|
| 2012 | — | conf |
IEEE CLOUD
|
| 2012 | — | book |
|
| 2012 | — | conf |
ICOIN
|
| 2012 | C | conf |
EDUCON
|
| 2012 | C | conf |
CollaborateCom
|
| 2012 | J | jnl |
IEEE Secur. Priv.
|
| 2012 | — | conf |
ICOIN
|
| 2012 | J | jnl |
IEEE Trans. Syst. Man Cybern. Part C
|
| 2012 | Misc | conf |
IRI
|
| 2012 | J | jnl |
LOG IN
|
| 2011 | Misc | conf |
CISIS
|
| 2011 | — | conf |
ICITST
|
| 2011 | C | conf |
DASC
|
| 2011 | A | conf |
ICWS
|
| 2011 | C | conf |
GPC
|
| 2011 | C | conf |
CollaborateCom
|
| 2011 | A | conf |
ICWS
|
| 2011 | C | conf |
ISM
|
| 2011 | — | conf |
Integrated Network Management
|
| 2011 | — | conf |
ICON
|
| 2011 | — | book |
|
| 2011 | — | conf |
ACC (1)
|
| 2011 | — | conf |
IFIPTM
|
| 2011 | — | conf |
ACIS-ICIS
|
| 2011 | — | conf |
NTMS
|
| 2011 | — | conf |
WIMS
|
| 2011 | — | conf |
SITIS
|
| 2011 | J | jnl |
J. Multim. Process. Technol.
|
| 2011 | — | conf |
SocialCom/PASSAT
|
| 2011 | — | book |
|
| 2011 | J | jnl |
IEEE Intell. Syst.
|
| 2011 | J | jnl |
Comput. Intell.
|
| 2011 | — | conf |
HCI (22)
|
| 2011 | C | conf |
CSCWD
|
| 2011 | B | conf |
TrustCom
|
| 2011 | C | conf |
CollaborateCom
|
| 2011 | J | jnl |
Inform. Spektrum
|
| 2011 | — | conf |
SocialCom/PASSAT
|
| 2011 | — | conf |
ECOWS
|
| 2011 | C | conf |
CollaborateCom
|
| 2011 | C | conf |
SIN
|
| 2010 | B | conf |
NSS
|
| 2010 | A | conf |
ICWS
|
| 2010 | — | conf |
WISE Workshops
|
| 2010 | B | conf |
AINA
|
| 2010 | J | jnl |
Requir. Eng.
|
| 2010 | — | conf |
IDtrust
|
| 2010 | J | jnl |
LOG IN
|
| 2010 | — | conf |
CloudDB@CIKM
|
| 2010 | J | jnl |
LOG IN
|
| 2010 | — | conf |
SimuTools
|
| 2010 | J | jnl |
J. Theor. Appl. Electron. Commer. Res.
|
| 2010 | — | conf |
I-SEMANTICS
|
| 2010 | — | conf |
ICITST
|
| 2010 | — | conf |
ACIS-ICIS
|
| 2010 | — | conf |
ICITST
|
| 2010 | B | conf |
AINA
|
| 2010 | C | conf |
CollaborateCom
|
| 2010 | — | conf |
ACIS-ICIS
|
| 2010 | — | conf |
ACIS-ICIS
|
| 2010 | — | conf |
Communications and Multimedia Security
|
| 2010 | — | conf |
IEEE SCC
|
| 2010 | — | ch. |
From Sociology to Computing in Social Networks
|
| 2010 | Misc | conf |
SIGUCCS
|
| 2010 | B | conf |
SERVICES
|
| 2010 | — | conf |
ECOWS
|
| 2010 | — | conf |
I-SEMANTICS
|
| 2010 | C | conf |
IAS
|
| 2010 | — | conf |
Web Intelligence
|
| 2009 | — | conf |
IEEE SCC
|
| 2009 | C | conf |
NPC
|
| 2009 | A | conf |
ICWS
|
| 2009 | — | conf |
SOCA
|
| 2009 | — | conf |
SWS
|
| 2009 | C | conf |
IAS
|
| 2009 | — | conf |
POLICY
|
| 2009 | — | conf |
ICSC
|
| 2009 | — | conf |
I-SEMANTICS
|
| 2009 | — | conf |
IEEE SCC
|
| 2009 | — | conf |
IEEE SCC
|
| 2009 | — | book |
|
| 2009 | — | book |
|
| 2009 | Misc | conf |
SIGUCCS
|
| 2009 | — | conf |
CSE (4)
|
| 2009 | — | conf |
IEEE SCC
|
| 2009 | C | conf |
ISPEC
|
| 2009 | — | conf |
BlogTalk
|
| 2009 | C | conf |
APSCC
|
| 2009 | C | conf |
DASC
|
| 2009 | — | conf |
IICS
|
| 2009 | J | jnl |
J. Syst. Archit.
|
| 2009 | — | conf |
EGOV
|
| 2009 | Misc | conf |
Inscrypt
|
| 2009 | — | conf |
ISSE
|
| 2009 | B | conf |
ARES
|
| 2009 | — | conf |
ICITST
|
| 2009 | — | conf |
CSE (4)
|
| 2009 | Misc | conf |
SIGUCCS
|
| 2009 | — | conf |
DeLFI Workshops
|
| 2009 | A* | conf |
SIGIR
|
| 2009 | — | conf |
NTMS
|
| 2009 | C | conf |
ISC
|
| 2009 | B | conf |
AINA
|
| 2009 | — | conf |
ESSoS
|
| 2009 | Misc | conf |
MuC
|
| 2009 | B | conf |
PAKDD
|
| 2008 | Misc | conf |
CSICC
|
| 2008 | — | conf |
Multimedia Information Retrieval
|
| 2008 | — | conf |
DeLFI
|
| 2008 | — | conf |
Sicherheit
|
| 2008 | J | jnl |
IEEE Trans. Learn. Technol.
|
| 2008 | — | conf |
SITIS
|
| 2008 | — | conf |
AICT
|
| 2008 | B | conf |
Intelligent Tutoring Systems
|
| 2008 | — | conf |
ISECS
|
| 2008 | — | conf |
ICHL
|
| 2008 | Misc | conf |
SAC
|
| 2008 | — | conf |
Modellierung
|
| 2008 | B | conf |
ITiCSE
|
| 2008 | — | conf |
ISSE
|
| 2008 | — | conf |
ICWL
|
| 2008 | B | conf |
ITiCSE
|
| 2008 | C | conf |
APSCC
|
| 2008 | — | conf |
ACIS-ICIS
|
| 2008 | C | conf |
ISM
|
| 2008 | B | conf |
SOFSEM
|
| 2008 | C | conf |
SACMAT
|
| 2008 | J | jnl |
Int. J. Online Eng.
|
| 2008 | — | conf |
Web Intelligence
|
| 2008 | — | conf |
ECBS
|
| 2008 | — | conf |
BIS
|
| 2008 | — | conf |
SWS
|
| 2008 | — | conf |
Multikonferenz Wirtschaftsinformatik
|
| 2008 | — | conf |
DeLFI
|
| 2008 | C | conf |
ICIW
|
| 2007 | — | conf |
GSEM
|
| 2007 | C | conf |
APNOMS
|
| 2007 | Misc | conf |
Inscrypt
|
| 2007 | B | conf |
ACM Symposium on Document Engineering
|
| 2007 | — | conf |
DeLFI
|
| 2007 | — | conf |
WISE Workshops
|
| 2007 | — | conf |
Web Intelligence
|
| 2007 | C | conf |
IAS
|
| 2007 | — | conf |
INFOS
|
| 2007 | C | conf |
CIDM
|
| 2007 | — | conf |
SMRR
|
| 2007 | J | jnl |
Inform. Spektrum
|
| 2007 | — | ed. |
SOFSEM (1)
|
| 2007 | — | ed. |
SOFSEM (2)
|
| 2007 | C | conf |
IDEAL
|
| 2007 | B | conf |
ESWC
|
| 2007 | J | jnl |
it Inf. Technol.
|
| 2007 | — | conf |
LANOMS
|
| 2007 | Misc | conf |
SIGUCCS
|
| 2007 | A | conf |
SIGCSE
|
| 2007 | — | conf |
ACM Multimedia EMME Workshop
|
| 2007 | — | conf |
BIOSIG
|
| 2007 | J | jnl |
it Inf. Technol.
|
| 2007 | — | conf |
ISWC/ASWC
|
| 2007 | — | conf |
Web Intelligence
|
| 2006 | — | conf |
ICETE (Selected Papers)
|
| 2006 | — | conf |
CAiSE Forum
|
| 2006 | — | conf |
SIGMAP
|
| 2006 | Misc | conf |
SIGUCCS
|
| 2006 | C | conf |
APWeb
|
| 2006 | Misc | conf |
WISA
|
| 2006 | C | conf |
SNPD
|
| 2006 | — | conf |
ISSE
|
| 2006 | — | book |
Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen: eine Einführung, 3. Auflage.
|
| 2006 | B | conf |
EC-TEL
|
| 2006 | C | conf |
IDEAL
|
| 2006 | — | conf |
SIGMAP
|
| 2006 | — | conf |
PerCom Workshops
|
| 2006 | J | jnl |
Commun. ACM
|
| 2005 | — | conf |
ICCNMC
|
| 2005 | C | conf |
ISCC
|
| 2005 | C | conf |
AICCSA
|
| 2005 | C | conf |
IADIS AC
|
| 2005 | C | conf |
IADIS AC
|
| 2005 | — | conf |
RSFDGrC (2)
|
| 2005 | C | conf |
CAIP
|
| 2005 | — | conf |
VISION
|
| 2005 | C | conf |
SEKE
|
| 2005 | — | conf |
CELDA
|
| 2005 | — | conf |
DeLFI
|
| 2005 | C | conf |
ISCC
|
| 2005 | — | conf |
tele-TASK - Ein praktikables, Standardkomponenten-basiertes, mobil einsetzbares Teleteaching-System.
DeLFI Workshops
|
| 2004 | J | jnl |
10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2004 | — | conf |
EMISA
|
| 2004 | B | conf |
ICWE
|
| 2004 | B | conf |
ICWE
|
| 2004 | — | conf |
Australian Conference on Artificial Intelligence
|
| 2004 | J | jnl |
Medizinische Bildverarbeitung - eine Übersicht
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2004 | J | jnl |
J. Comput. Syst. Sci.
|
| 2004 | C | conf |
ISCC
|
| 2004 | — | conf |
VECIMS
|
| 2004 | J | jnl |
TI-jPACS - eine frei verfügbare leistungsfähige Plattform zur medizinischen Bildverarbeitung und -visualisierung
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2004 | J | jnl |
Comput. Secur.
|
| 2004 | — | conf |
AINA (2)
|
| 2004 | A | conf |
SIGCSE
|
| 2004 | — | conf |
EMISA
|
| 2003 | — | conf |
OTM Workshops
|
| 2003 | — | conf |
World Conference on Information Security Education
|
| 2003 | J | jnl |
Design and Implementation of a PHP-based Web Server for the Tele-Lab IT Security
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2003 | — | conf |
ICWI
|
| 2003 | J | jnl |
Implement Role-Based Access Control with Attribute Certificates
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2003 | J | jnl |
Lock-Keeper Technology - A New Network Security Solution
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2003 | C | conf |
SNPD
|
| 2003 | — | book |
|
| 2003 | J | jnl |
tele-TASK - Teleteaching praxistauglich für den Universitätsalltag
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2002 | — | conf |
JCIS
|
| 2002 | — | conf |
ICWI
|
| 2002 | — | conf |
IMSA
|
| 2002 | Misc | conf |
SIGUCCS
|
| 2002 | — | book |
|
| 2002 | — | conf |
IWLS
|
| 2002 | J | jnl |
Ordered Binary Decision Diagrams in Electronic Design Automation
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2002 | — | conf |
ICWI
|
| 2002 | — | conf |
IWLS
|
| 2002 | J | jnl |
tele-TASK - Teleteaching Anywhere Solution Kit
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2002 | Misc | conf |
SIGUCCS
|
| 2001 | J | jnl |
A Heuristic for (+)-OBDD Minimization
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2001 | — | conf |
ASP-DAC
|
| 2001 | — | conf |
Computational Discrete Mathematics
|
| 2001 | — | conf |
IuK
|
| 2001 | C | conf |
ICCD
|
| 2001 | — | conf |
WebNet
|
| 2001 | J | jnl |
IDDS: An Interactive Decentallzed Documentation System
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2001 | — | conf |
SIGDOC
|
| 2001 | J | jnl |
Improving XOR-Node Placement for (+)-OBDDs
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2001 | J | jnl |
Formal Methods Syst. Des.
|
| 2001 | — | conf |
WebNet
|
| 2001 | J | jnl |
Modular Partitioning for Improvement of Image Computation
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2001 | — | conf |
Security and Watermarking of Multimedia Contents
|
| 2001 | J | jnl |
Comput. Complex.
|
| 2001 | J | jnl |
VisBDD - A Webbased Visualization Framework for OBDD Algorithms
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2001 | J | jnl |
WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | B | conf |
CBMS
|
| 2000 | — | conf |
WebNet
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | — | conf |
EC-Web
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | — | conf |
Experimental Algorithmics
|
| 2000 | Misc | conf |
WSCG
|
| 2000 | — | conf |
ECIS
|
| 2000 | Misc | conf |
SIGUCCS
|
| 2000 | B | conf |
EDOC
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | B | conf |
CBMS
|
| 2000 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 2000 | — | conf |
WebNet
|
| 2000 | B | conf |
WISE
|
| 2000 | — | book |
|
| 2000 | — | conf |
ISMVL
|
| 2000 | — | conf |
SAC (2)
|
| 2000 | C | conf |
VCIP
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | — | conf |
WebNet
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | B | conf |
FMCAD
|
| 2000 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | — | conf |
Experimental Algorithmics
|
| 2000 | — | conf |
International Conference on Internet Computing
|
| 2000 | A* | conf |
DAC
|
| 2000 | — | conf |
ADVIS
|
| 1999 | J | jnl |
Algorithmic Considerations for +-OBDD Reordering.
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1999 | — | conf |
WebNet
|
| 1999 | — | conf |
ASP-DAC
|
| 1999 | — | conf |
SIP
|
| 1999 | B | conf |
CBMS
|
| 1999 | — | conf |
IMSA
|
| 1999 | — | conf |
WebNet
|
| 1999 | J | jnl |
Discret. Math. Theor. Comput. Sci.
|
| 1999 | — | conf |
Bildverarbeitung für die Medizin
|
| 1999 | A | conf |
DATE
|
| 1999 | — | conf |
Bildverarbeitung für die Medizin
|
| 1999 | J | jnl |
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions.
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1999 | J | jnl |
RAIRO Theor. Informatics Appl.
|
| 1999 | J | jnl |
One Step Further: Integrating Electronic Submission and the Reviewing Process
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1999 | — | conf |
SIGDOC
|
| 1999 | J | jnl |
J. Circuits Syst. Comput.
|
| 1999 | B | conf |
CBMS
|
| 1999 | — | conf |
SIGDOC
|
| 1999 | A | ed. |
STACS
|
| 1999 | J | jnl |
Speeding Up Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1999 | — | conf |
WebNet
|
| 1999 | — | conf |
IMSA
|
| 1998 | J | jnl |
Accelerating OBDD-Minimization by Means of Structural and Semantical Properties
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1998 | — | conf |
Electronic Imaging
|
| 1998 | — | conf |
Broadband European Networks and Multimedia Services
|
| 1998 | — | book |
|
| 1998 | — | book |
|
| 1998 | J | jnl |
Application Driven Variable Reordering and an Example in Reachability Analysis
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1998 | J | jnl |
Binary Decision Diagrams and the Multiple Variable Order Problem
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1998 | J | jnl |
Do We Really Need Common Variable Orders for Synthesizing OBDDs?
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1998 | — | conf |
SIGDOC
|
| 1998 | — | conf |
ASP-DAC
|
| 1998 | J | jnl |
Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1998 | J | jnl |
Inform. Forsch. Entwickl.
|
| 1998 | C | conf |
ISI
|
| 1998 | J | jnl |
Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1998 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 1998 | — | conf |
PROBMIV
|
| 1998 | A | ed. |
STACS
|
| 1998 | B | conf |
SOFSEM
|
| 1998 | — | conf |
ECDL
|
| 1998 | J | jnl |
The WWW meets EDA: Usability evaluation of OBDD-heuristics via the Internet
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1998 | Misc | conf |
ICISC
|
| 1998 | J | jnl |
Xor-OBDDs - a BDD Structure for Probabilistic Verification
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1997 | — | conf |
GI Jahrestagung
|
| 1997 | A | conf |
STACS
|
| 1997 | J | jnl |
Theory Comput. Syst.
|
| 1997 | J | jnl |
Formal Methods Syst. Des.
|
| 1997 | J | jnl |
Block-Restricted Reordering - Extended Experiments
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1997 | J | jnl |
Case Study: Manipulating xor-OBDDs by Means of Signatures
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1997 | J | jnl |
Function Decomposition and Synthesis Using Linear Sifting
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1997 | — | conf |
GI Jahrestagung
|
| 1997 | J | jnl |
Inform. Spektrum
|
| 1997 | A* | conf |
DAC
|
| 1997 | J | jnl |
OBDD-based Verification of Communication Protocols - Methods for the Verification of Data Link Protocols
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1997 | B | conf |
MFCS
|
| 1997 | C | conf |
ICCD
|
| 1997 | J | jnl |
The Electronic Colloquium on Computational Complexity (ECCC): A Digital Library in Use
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1997 | — | conf |
ECDL
|
| 1996 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 1996 | J | jnl |
An Adequate Reducibility Concept for Problems Defined in Terms of Ordered Binary Decision Diagrams
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1996 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1996 | J | jnl |
Linear Sifting of Decision Diagrams
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1996 | J | jnl |
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1996 | B | conf |
FMCAD
|
| 1996 | J | jnl |
Math. Syst. Theory
|
| 1996 | J | jnl |
Formal Methods Syst. Des.
|
| 1996 | J | jnl |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
|
| 1996 | J | jnl |
Speeding up Variable Reordering of OBDDs.
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1996 | J | jnl |
State Encodings and OBDD-Sizes
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1996 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 1996 | A | conf |
STACS
|
| 1995 | — | conf |
GI Jahrestagung
|
| 1995 | J | jnl |
Die Entwicklung der Informatik braucht Theorie und Praxis: Ein Fallbeispiel aus dem CAD-Schaltkreisentwurf
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1995 | A* | conf |
DAC
|
| 1995 | J | jnl |
Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1995 | A* | conf |
CAV
|
| 1995 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 1995 | B | conf |
MFCS
|
| 1995 | B | conf |
LATIN
|
| 1995 | J | jnl |
Math. Syst. Theory
|
| 1994 | J | jnl |
A Unifying Theoretical Background for Some BDD-based Data Structures
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1994 | — | conf |
EDAC-ETC-EUROASIC
|
| 1994 | — | conf |
IFIP Congress (1)
|
| 1994 | J | jnl |
IEEE Trans. Computers
|
| 1994 | J | jnl |
Efficient OBDD-Based Boolean Manipulation in CAD Beyond Current Limits
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1994 | J | jnl |
Inf. Process. Lett.
|
| 1994 | J | jnl |
On the Complexity of Constructing Optimal OBDD's
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1994 | B | conf |
MFCS
|
| 1994 | J | jnl |
J. Inf. Process. Cybern.
|
| 1994 | J | jnl |
Some Heuristics for Generating Tree-like FBDD Types
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1994 | J | jnl |
Electron. Colloquium Comput. Complex.
|
| 1994 | J | jnl |
The Möbius Function, Variations Ranks, and Theta(n)-Bounds on the Modular Communication Complexity of the Undirected Graph Connectivity Problem
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1993 | J | jnl |
Boolean Manipulation with Free BDD's - First Experimental Results
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1993 | J | jnl |
Combinational Logic Verification with FBDDs
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1993 | J | jnl |
Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1993 | J | jnl |
Efficient Manipulation of FBDDs by Means of a Modified OBDD-Package
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1993 | A | conf |
STACS
|
| 1993 | J | jnl |
Mod-2-OBDD's: A Generalization of OBDD's and EXOR-Sum-of-Products
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1993 | B | conf |
ISAAC
|
| 1992 | J | jnl |
A Note on Möbius Functions and the Communication Complexity of the Graph-Accessability-Problem
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1992 | J | jnl |
Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1992 | B | conf |
WG
|
| 1992 | J | jnl |
Bull. EATCS
|
| 1992 | J | jnl |
Inf. Comput.
|
| 1992 | J | jnl |
Efficient Analysis and Manipulation of OBDDs can be Extended to Read-once-only Branching Programs
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1992 | J | jnl |
Theor. Comput. Sci.
|
| 1992 | J | jnl |
Separating Counting Communication Complexity Classes
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1992 | A | conf |
STACS
|
| 1992 | J | jnl |
RAIRO Theor. Informatics Appl.
|
| 1992 | J | jnl |
Math. Syst. Theory
|
| 1992 | — | conf |
Complexity Theory: Current Research
|
| 1992 | J | jnl |
Upper and Lower Bounds for Certain Graph-Accessability-Problems on Bounded Alternating (omega)-Branching Programs
Universität Trier, Mathematik/Informatik, Forschungsbericht
|
| 1991 | — | book |
Effiziente Algorithmen - Entwurf und Analyse.
|
| 1991 | J | jnl |
Theor. Comput. Sci.
|
| 1991 | A | conf |
STACS
|
| 1991 | B | conf |
MFCS
|
| 1990 | J | jnl |
J. Inf. Process. Cybern.
|
| 1990 | J | jnl |
J. Inf. Process. Cybern.
|
| 1990 | J | jnl |
Inf. Process. Lett.
|
| 1990 | J | jnl |
Inf. Comput.
|
| 1990 | J | jnl |
J. Inf. Process. Cybern.
|
| 1990 | B | conf |
MFCS
|
| 1989 | — | book |
|
| 1989 | B | conf |
CSL
|
| 1989 | J | jnl |
Bull. EATCS
|
| 1989 | B | conf |
FCT
|
| 1989 | — | conf |
IFIP Congress
|
| 1989 | — | conf |
SCT
|
| 1989 | B | conf |
MFCS
|
| 1988 | — | conf |
Parcella
|
| 1988 | B | conf |
MFCS
|
| 1988 | J | jnl |
Theor. Comput. Sci.
|
| 1988 | A | conf |
STACS
|
| 1987 | — | conf |
Parallel Algorithms and Architectures
|
| 1987 | J | jnl |
J. Inf. Process. Cybern.
|
| 1987 | B | conf |
FCT
|
| 1986 | J | jnl |
J. Inf. Process. Cybern.
|
| 1986 | B | conf |
MFCS
|
| 1985 | J | jnl |
J. Inf. Process. Cybern.
|
| 1982 | J | jnl |
J. Inf. Process. Cybern.
|
| 1982 | J | jnl |
J. Inf. Process. Cybern.
|
| 1982 | J | jnl |
J. Inf. Process. Cybern.
|
| 1982 | J | jnl |
J. Inf. Process. Cybern.
|
| 1982 | J | jnl |
J. Inf. Process. Cybern.
|
| 1982 | — | — |
|
| 1981 | B | conf |
FCT
|