Ştefan Andrei

Available identifiers

Publication	Date of Publication	Type
Processor bounding for an efficient non-preemptive task scheduling algorithm	2019-11-27	Paper
Efficient Verification and Optimization of Real-Time Logic-Specified Systems	2017-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q3187616	2016-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q3145291	2012-12-19	Paper
A rigorous methodology for specification and verification of business processes	2009-11-13	Paper
On the complexity of propositional calculus formulae	2008-04-14	Paper
A tutorial on a monadic approach for exppressions evaluation	2008-04-14	Paper
Solving a class of higher-order equations over a group structure	2007-08-24	Paper
Programming Languages and Systems	2006-10-20	Paper
Counting for satisfiability by inverting resolution	2005-08-22	Paper
Self-embedded context-free grammars with regular counterparts	2004-12-09	Paper
A new algorithm for regularizing one-letter context-free grammars.	2004-03-14	Paper
Bidirectional parsing for linear languages	2002-11-04	Paper
Morphological grammars	2001-08-13	Paper
Some results on the Collatz problem	2000-12-07	Paper
About the Collatz conjecture	1998-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4889400	1996-08-12	Paper

This page was built for person: Ştefan Andrei