The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Astral with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1999 (17) 2000-2006 (17) 2007-2019 (16) 2020-2023 (7)
Publication types (Num. hits)
article(27) inproceedings(30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 58 occurrences of 32 keywords

Results
Found 57 publication records. Showing 57 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
163Zhe Dang, Richard A. Kemmerer A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications. Search on Bibsonomy RTCSA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
151Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli A Formal Framework for ASTRAL Intralevel Proof Obligations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
143Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer Specification of Realtime Systems Using ASTRAL. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
143Alberto Coen-Porisini, Richard A. Kemmerer The Composability of ASTRAL Realtime Specifications. Search on Bibsonomy ISSTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
132Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel Experiences with analysis of formal specifications in Astral. Search on Bibsonomy RTCSA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
124Klaas Brink, Leon J. G. Bun, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel Automatic Analysis of Embedded Systems Specified in Astral. Search on Bibsonomy HICSS (3) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
93Zhe Dang, Richard A. Kemmerer Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. Search on Bibsonomy ICSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF real-time systems, model checking, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL
85Jinman Jung, Yookun Cho, Yeongkwun Kim, Injoo Kim ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF adaptive flooding, reliable flooding, MANETs
78Paul Z. Kolano Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover. Search on Bibsonomy ARTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Paul Z. Kolano, Richard A. Kemmerer Classification schemes to aid in the analysis of real-time systems. Search on Bibsonomy ISSTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF analysis guidance, system classification, real-time systems, formal methods, timing requirements, formal specification and verification, ASTRAL
66Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel Hybrid specification of control systems. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF control system development, hybrid specification, formal software specification language, multidisciplinary development, control models, ASTRAL specifications, MatLab software packages, discrete subsystems, continuous subsystems, robot control system, continuous system models, simulation, simulation, formal specification, robots, formal verification, formal verification, specification languages, specification language, control theory, control theory, system behavior, control system CAD, discrete time systems, continuous time systems
65Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel Analyzing Schedulability of Astral Specifications using Extended Timed Automata. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
58Jeanette Tångrot, Lixiao Wang, Bo Kågström, Uwe H. Sauer Design, Construction and Use of the FISH Server. Search on Bibsonomy PARA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
54Zhe Dang, Richard A. Kemmerer Using the ASTRAL Model Checker to Analyze Mobile IP. Search on Bibsonomy ICSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Encryption protocols, real-time systems, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL
53John Yin, Chao Zhang 0055, Siavash Mirarab ASTRAL-MP: scaling ASTRAL to very large datasets using randomization and parallelization. Search on Bibsonomy Bioinform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
46Leah Wrenn Berman A Characterization of Astral (n4) Configurations. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Yimin Zhou, Merlijn Mac Gillavry, Pengzhi Yang, Zihao Xu, Baitian Zhang, Rafael Bidarra Astral Body: A Virtual Reality Game for Body Ownership Investigation. Search on Bibsonomy GALA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Chao Zhang 0055, Siavash Mirarab ASTRAL-Pro 2: ultrafast species tree reconstruction from multi-copy gene family trees. Search on Bibsonomy Bioinform. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Miroslav Dudík, Ziwei Ji, Robert E. Schapire, Matus Telgarsky Convex Analysis at Infinity: An Introduction to Astral Space. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Yupeng Diao, Yiteng Su, Ximu Zeng, Xu Chen 0023, Shuncheng Liu 0001, Han Su Astral: An Autoencoder-Based Model for Pedestrian Trajectory Prediction of Variable-Length. Search on Bibsonomy DASFAA (Workshops) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Jiuniu Wang, Wenjia Xu, Xingyu Fu, Guangluan Xu, Yirong Wu ASTRAL: Adversarial Trained LSTM-CNN for Named Entity Recognition. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
27Jiuniu Wang, Wenjia Xu, Xingyu Fu, Guangluan Xu, Yirong Wu ASTRAL: Adversarial Trained LSTM-CNN for Named Entity Recognition. Search on Bibsonomy Knowl. Based Syst. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Leah Wrenn Berman, Philip DeOrsey, Jill R. Faudree, Tomaz Pisanski, Arjana Zitnik Chiral Astral Realizations of Cyclic 3-Configurations. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27David Ledo, Jo Vermeulen, Sheelagh Carpendale, Saul Greenberg, Lora Oehlberg, Sebastian Boring Astral: Prototyping Mobile and Smart Object Interactive Behaviours Using Familiar Applications. Search on Bibsonomy Conference on Designing Interactive Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Shubhanshu Shekhar, Sebastien Roch, Siavash Mirarab Species Tree Estimation Using ASTRAL: How Many Genes Are Enough? Search on Bibsonomy IEEE ACM Trans. Comput. Biol. Bioinform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Chao Zhang 0055, Maryam Rabiee, Erfan Sayyari, Siavash Mirarab ASTRAL-III: polynomial time species tree reconstruction from partially resolved gene trees. Search on Bibsonomy BMC Bioinform. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Joshua Levine, Marco Grangetto, Marilena Varrecchia, Gabriella Olmo Detection and Tracking of Astral Microtubules in Fluorescence Microscopy Images. Search on Bibsonomy ICIP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Shubhanshu Shekhar, Sebastien Roch, Siavash Mirarab Species tree estimation using ASTRAL: how many genes are enough? Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
27Chao Zhang 0055, Erfan Sayyari, Siavash Mirarab ASTRAL-III: Increased Scalability and Impacts of Contracting Low Support Branches. Search on Bibsonomy RECOMB-CG The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
27Shubhanshu Shekhar, Sebastien Roch, Siavash Mirarab Species Tree Estimation Using ASTRAL: How Many Genes Are Enough? Search on Bibsonomy RECOMB The full citation details ... 2017 DBLP  BibTeX  RDF
27Siavash Mirarab, Tandy J. Warnow ASTRAL-II: coalescent-based species tree estimation with many hundreds of taxa and thousands of genes. Search on Bibsonomy Bioinform. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Naomi K. Fox, Steven E. Brenner, John-Marc Chandonia SCOPe: Structural Classification of Proteins - extended, integrating SCOP and ASTRAL data and classification of new structures. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Siavash Mirarab, Rezwana Reaz, Md. Shamsuzzoha Bayzid, Théo Zimmermann, M. Shel Swenson, Tandy J. Warnow ASTRAL: genome-scale coalescent-based species tree estimation. Search on Bibsonomy Bioinform. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
27Alexei Vernitski, Artem V. Pyatkin Astral graphs (threshold graphs), scale-free graphs and related algorithmic questions. Search on Bibsonomy J. Discrete Algorithms The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Leah Wrenn Berman, Jürgen Bokowski Linear astral (n5) configurations with dihedral symmetry. Search on Bibsonomy Eur. J. Comb. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Leah Wrenn Berman Astral (n4) configurations of pseudolines. Search on Bibsonomy Contributions Discret. Math. The full citation details ... 2008 DBLP  BibTeX  RDF
27Leah Wrenn Berman Some Results on Odd Astral Configurations. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27James A. Casbon, Gavin E. Crooks, Mansoor A. S. Saqi A high level interface to SCOP and ASTRAL implemented in Python. Search on Bibsonomy BMC Bioinform. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Leah Wrenn Berman Even Astral Configurations. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27John-Marc Chandonia, Gary Chung Hon, Nigel S. Walker, Loredana Lo Conte, Patrice Koehl, Michael Levitt, Steven E. Brenner The ASTRAL Compendium in 2004. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Jie Lin, Jiangang Yang, Hengnian Qi Global Workspace and Direct Cortex Access: An Astral Framework for Consciousness. Search on Bibsonomy IC-AI The full citation details ... 2004 DBLP  BibTeX  RDF
27John-Marc Chandonia, Nigel S. Walker, Loredana Lo Conte, Patrice Koehl, Michael Levitt, Steven E. Brenner ASTRAL compendium enhancements. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Steven E. Brenner, Patrice Koehl, Michael Levitt The ASTRAL compendium for protein structure and sequence analysis. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Paul Z. Kolano, Zhe Dang, Richard A. Kemmerer The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment. Search on Bibsonomy Ann. Softw. Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli A Formal Framework for ASTRAL Inter-level Proof Obligations. Search on Bibsonomy ESEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
27Alberto Coen-Porisini, Dino Mandrioli A Formal Framework for ASTRAL Intra-Level Proof Obligations. Search on Bibsonomy ESEC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
27Carlo Ghezzi, Richard A. Kemmerer ASTRAL: An Assertion Language for Specifying Realtime Systems. Search on Bibsonomy ESEC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Carlo Ghezzi, Richard A. Kennerer Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. Search on Bibsonomy Symposium on Testing, Analysis, and Verification The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
27Tore Amble, Kjell Bratbergsengen, Oddvar Risnes ASTRAL: A Structred and Unified Approach to Data Base Design and Manipulation. Search on Bibsonomy IFIP TC-2 Working Conference on Data Base Architecture The full citation details ... 1979 DBLP  BibTeX  RDF
19Tom Milledge, Gaolin Zheng, Tim Mullins, Giri Narasimhan SBLAST: Structural Basic Local Alignment Searching Tools using Geometric Hashing. Search on Bibsonomy BIBE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Marko Boben, Branko Grünbaum, Tomaz Pisanski, Arjana Zitnik Small Triangle-Free Configurations of Points and Lines. Search on Bibsonomy Discret. Comput. Geom. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
19Yuqing Zhang, Chunling Wang, Jianping Wu, Xing Li 0001 Using SMV for Cryptographic Protocol Analysis: A Case Study. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer Past Pushdown Timed Automata. Search on Bibsonomy CIAA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer Decidable Approximations on Generalized and Parameterized Discrete Timed Automata. Search on Bibsonomy COCOON The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Daniel C. Chin, Albert C. Biondo Dual Neural Network Models in Acoustic Propagation. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Multiple Neural Network Models, Multi-model Interpolation, Multi-objective SPSA, Nonlinear Interpolator, Nonlinear acoustic wave function
19Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli Parallel Refinement Mechanisms for Real-Time Systems. Search on Bibsonomy FASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Tore Amble Integration of Data Base Design in Programming Languages. Search on Bibsonomy Workshop on Data Abstraction, Databases and Conceptual Modelling The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #57 of 57 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license