M. Randall Holmes

21 papers Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
J. Symb. Log.
Thomas Forster, M. Randall Holmes
2020 J jnl
CoRR
Zuhair Al-Johar, M. Randall Holmes
2019 J jnl
J. Philos. Log.
M. Randall Holmes
2014 J jnl
Math. Log. Q.
M. Randall Holmes
2014 J jnl
Notre Dame J. Formal Log.
Zuhair Al-Johar, M. Randall Holmes, Nathan J. Bowler
2012 ch.
Sets and Extensions in the Twentieth Century
M. Randall Holmes, Thomas E. Forster, Thierry Libert
2012 J jnl
Notre Dame J. Formal Log.
M. Randall Holmes
2008 J jnl
Stud Logica
M. Randall Holmes
2005 J jnl
Stud Logica
M. Randall Holmes
2004 J jnl
Stud Logica
M. Randall Holmes
2003 J jnl
Stud Logica
M. Randall Holmes
2003 conf
Mathematics, Logic and Computation @ ICALP
M. Randall Holmes
2001 J jnl
J. Symb. Log.
M. Randall Holmes
2001 J jnl
J. Autom. Reason.
M. Randall Holmes, Jim Alves-Foss
2000 conf
TPHOLs
M. Randall Holmes
1999 J jnl
Notre Dame J. Formal Log.
M. Randall Holmes
1995 conf
RTA
M. Randall Holmes
1995 J jnl
J. Symb. Log.
M. Randall Holmes
1995 conf
TLCA
M. Randall Holmes
1993 J jnl
Ann. Pure Appl. Log.
M. Randall Holmes
1991 J jnl
Ann. Pure Appl. Log.
M. Randall Holmes
redb/extractors/js_extractors/__init__.py
← Index redb/extractors/js_extractors/__init__.py python
# JavaScript extractors package

from .js_features import JSFeaturesExtractor
from .js_suspicious_apis import JSSuspiciousAPIsExtractor
from .js_strings import JSStringsExtractor
from .js_deobfuscation import JSDeobfuscationExtractor
from .js_content import JSContentExtractor

__all__ = [
    'JSFeaturesExtractor',
    'JSSuspiciousAPIsExtractor',
    'JSStringsExtractor',
    'JSDeobfuscationExtractor',
    'JSContentExtractor',
]