| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2025 | A* | conf |
GIST: Gear Type Identification by Spatiotemporal Trajectory Transformation for Monitoring Fisheries.
AAAI
|
| 2023 | C | ed. |
ABZ
|
| 2022 | — | conf |
ECML/PKDD (5)
|
| 2021 | A | conf |
CIKM
|
| 2021 | — | conf |
IEEE BigData
|
| 2020 | Misc | conf |
ICASSP
|
| 2020 | — | conf |
SIGSPATIAL/GIS
|
| 2019 | — | conf |
IEEE BigData
|
| 2019 | J | jnl |
CoRR
|
| 2018 | C | conf |
ISI
|
| 2017 | A | conf |
CIKM
|
| 2017 | — | conf |
ECML/PKDD (3)
|
| 2016 | C | conf |
MEMOCODE
|
| 2016 | — | conf |
IEEE BigData
|
| 2016 | — | book |
|
| 2015 | J | jnl |
CoRR
|
| 2015 | — | conf |
IEEE BigData
|
| 2015 | C | conf |
ISI
|
| 2015 | — | conf |
IEEE BigData
|
| 2014 | B | conf |
ASONAM
|
| 2014 | C | conf |
ABZ
|
| 2014 | J | jnl |
Sci. Comput. Program.
|
| 2014 | — | conf |
JISIC
|
| 2014 | A* | conf |
KDD
|
| 2013 | J | jnl |
Sci. Comput. Program.
|
| 2013 | J | jnl |
Dagstuhl Reports
|
| 2013 | C | conf |
ISI
|
| 2012 | J | jnl |
Secur. Informatics
|
| 2012 | C | conf |
ISI
|
| 2012 | J | jnl |
Secur. Informatics
|
| 2012 | — | conf |
ISCRAM
|
| 2012 | B | conf |
ASONAM
|
| 2012 | C | conf |
ABZ
|
| 2012 | — | conf |
SIGSPATIAL/GIS
|
| 2011 | C | conf |
ICFEM
|
| 2011 | C | conf |
ISI
|
| 2011 | — | ch. |
Counterterrorism and Open Source Intelligence
|
| 2011 | A | conf |
RecSys
|
| 2011 | — | conf |
EISIC
|
| 2011 | B | conf |
ASONAM
|
| 2011 | C | conf |
DASC
|
| 2011 | C | conf |
ISI
|
| 2011 | J | jnl |
Softw. Pract. Exp.
|
| 2010 | — | conf |
DIPES/BICC
|
| 2010 | — | ed. |
ABZ
|
| 2010 | C | conf |
ISI
|
| 2010 | C | ed. |
ISI
|
| 2010 | — | ch. |
Security Informatics
|
| 2010 | C | conf |
ISI
|
| 2009 | — | conf |
Rigorous Methods for Software Construction and Analysis
|
| 2009 | — | ed. |
Rigorous Methods for Software Construction and Analysis
|
| 2008 | — | conf |
EuroISI
|
| 2008 | C | conf |
ABZ
|
| 2008 | C | conf |
ISoLA
|
| 2008 | C | conf |
ISI
|
| 2008 | C | conf |
FUSION
|
| 2008 | — | ch. |
Intelligence and Security Informatics
|
| 2007 | — | conf |
Rigorous Methods for Software Construction and Analysis
|
| 2007 | — | conf |
Rigorous Methods for Software Construction and Analysis
|
| 2007 | J | jnl |
Fundam. Informaticae
|
| 2006 | J | jnl |
Int. J. Bus. Process. Integr. Manag.
|
| 2006 | C | conf |
ISI
|
| 2006 | — | ed. |
Rigorous Methods for Software Construction and Analysis
|
| 2005 | — | conf |
WSMDEIS
|
| 2005 | B | conf |
SMC
|
| 2005 | — | conf |
SDL Forum
|
| 2005 | — | conf |
Business Process Management Workshops
|
| 2005 | — | conf |
Abstract State Machines
|
| 2005 | J | jnl |
Theor. Comput. Sci.
|
| 2005 | — | conf |
Abstract State Machines
|
| 2004 | J | jnl |
IEEE Trans. Software Eng.
|
| 2004 | — | conf |
DIPES
|
| 2004 | — | conf |
Abstract State Machines
|
| 2003 | — | conf |
Abstract State Machines
|
| 2003 | J | jnl |
Comput. Networks
|
| 2002 | — | conf |
HICSS
|
| 2002 | — | conf |
DIPES
|
| 2001 | J | jnl |
J. Univers. Comput. Sci.
|
| 2001 | J | jnl |
J. Univers. Comput. Sci.
|
| 2000 | — | conf |
Abstract State Machines
|
| 1999 | — | conf |
EUROCAST
|
| 1999 | — | conf |
SDL Forum
|
| 1998 | — | ed. |
Workshop on Abstract State Machines
|
| 1998 | — | conf |
DIPES
|
| 1998 | — | conf |
GI Jahrestagung
|
| 1997 | J | jnl |
J. Univers. Comput. Sci.
|
| 1997 | — | conf |
EUROCAST
|
| 1995 | B | conf |
CSL
|
| 1995 | — | conf |
Formal Methods for Industrial Applications
|
| 1994 | — | conf |
IFIP Congress (1)
|
| 1994 | — | conf |
EURO-DAC
|
| 1993 | — | — |
|
| 1991 | — | conf |
ACPC
|
| 1991 | — | conf |
Transputer-Anwender-Treffen
|
| 1989 | — | conf |
Fehlertolerierende Rechensysteme
|
| 1989 | — | conf |
Transputer-Anwender-Treffen
|
| 1987 | — | conf |
Fehlertolerierende Rechensysteme
|