Asynchronous systems and binary valued mathematics


The web page of Serban E. Vlad
Asynchronous circuits and binary valued mathematics, the web page of Serban E. Vlad


Serban E. Vlad is born in 1959 in Oradea. At present he works at the Oradea City Hall as an analyst-programmer.

Fields of interest:
- asynchronous systems: models of the asynchronous circuits and general systems theory
- mathematical analysis on binary valued functions: differential and integral calculus

The list of publications also includes connections with temporal logic and some ideas of Boolean geometry.

Contact:
Office: Oradea City Hall, p-ta Unirii Nr.1, 410100, Oradea, Romania
tel: (40)259-437000 the computers department

Home: Str. Zimbrului, Nr.3, Bl.PB68, Et.2, Ap.11, 410430, Oradea, Romania
tel: (40)259-479113
serban_e_vlad@yahoo.com

(we recommend the pdf format, that reproduces better the drawings)
On the generation of the asynchronous systems, the first National Conference of Applied and Fundamental Mathematics, Iasi, Romania, November 9-10, 2007
Boolean dynamical systems, the 15-th Conference on Applied and Industrial Mathematics CAIM 2007, Mioveni, Romania, October 12-14, 2007
The non-anticipation of the asynchronous systems, the 6-th Congress of the Romanian mathematicians, Bucharest, June 28 - July 4, 2007
Teoria sistemelor asincrone, Editura Pamantul, Pitesti, 2007 (Asynchronous systems theory, in Romanian; the English version is found at www.wseas.org)
Relatively Inertial Delays, Buletinul stiintific al Universitatii 'Politehnica' din Timisoara, Romania, Seria Matematica-Fizica, Tomul 52(66), Fascicola 1, 2007 (the 11-th Symposium of Mathematics and its Applications,"Politehnica" University of Timisoara, Timisoara, 2006)
The intersection and the union of the asynchronous systems, The 14-th Conference on Applied and Industrial Mathematics CAIM 2006, Satellite Conference of ICM2006, Chisinau, Moldova, August 17-19, 2006
On the fundamental mode, The 13-th Conference on Applied and Industrial Mathematics CAIM 2005, University of Pitesti, October 14-16, 2005
Real Time Models of the Asynchronous Circuits: The Delay Theory, in New Developments in Computer Science Research, Editor Susan Shannon, Nova Science Publishers, Inc., New York, 2005
Asynchronous pseudo-systems, Analele Universitatii din Oradea, Fascicola Matematica, TOM XI, 2004
The equations of the ideal latches, The 12-th Conference on Applied and Industrial Mathematics CAIM 2004, University of Pitesti, October 15-17, 2004
Some first thoughts on the stability of the asynchronous systems, The 12-th Conference on Applied and Industrial Mathematics CAIM 2004, University of Pitesti, October 15-17, 2004
Topics in asynchronous systems, Analele Universitatii din Oradea, Fascicola Matematica, TOM X, 2003
Examples of Models of the Asynchronous Circuits, the 10-th Symposium of Mathematics and its Applications, "Politehnica" University of Timisoara, Timisoara, 2003
Defining the Delays of the Asynchronous Circuits, CAIM 2003, Oradea, Romania, May 29-31, 2003
On the Inertia of the Asynchronous Circuits, CAIM 2003, Oradea, Romania, May 29-31, 2003
Towards a Mathematical Theory of the Delays of the Asynchronous Circuits, Analele Universitatii din Oradea, Fascicola Matematica, TOM IX, 2002
On Timed Automata: the Inertial Delay Buffer, the 9-th Symposium of Mathematics and its Applications, "Politehnica" University of Timisoara, Timisoara, 2001
The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata, Analele Universitatii din Oradea, Fascicola Matematica, TOM VIII, 2001
Selected Topics in Asynchronous Automata, Analele Universitatii din Oradea, Fascicola Matematica, TOM VII, 1999
An Asynchronous Automata Approach to the Semantics of Temporal Logic, The 8-th Symposium of Mathematics and its Applications, "Politehnica" University of Timisoara, Timisoara, 1999
Introductory Topics in Distributions over Binary Test Functions, Analele Universitatii din Oradea, Fascicola Matematica, TOM VI, 1997-1998
Introductory Topics in Binary Set Functions, Analele Universitatii din Oradea, Fascicola Matematica, TOM VI, 1997-1998
R --> B2 Differentiable Functions, Analele Universitatii din Oradea, Fascicola Matematica, TOM V, 1995-1996
An Application of the N --> B2 Sequences' Study in Arithmetics, Analele Universitatii din Oradea, Fascicola Matematica, TOM V, 1995-1996
The Convolution Product of the R --> B2 Functions, Analele Universitatii din Oradea, Fascicola Matematica, TOM V, 1995-1996
Curvilinear Pseudoboolean Integrals, Analele Universitatii din Oradea, Fascicola Matematica, TOM III, 1993
Topics in Binary Valued Analysis, The 5-th Symposium of Mathematics and its Applications, "Politehnica" University of Timisoara, Timisoara, 1993
Binary Valued Functions, Analele Universitatii din Oradea, Fascicola Matematica, 1991
The Model of an Elementary Boolean Geometry. Boolean Complex Numbers, Universitatea "Al. I. Cuza" Iasi, Facultatea de Matematica, Lucrarile Conferintei Nationale de Geometrie si Topologie, Suceava, 6-9 octombrie, 1988, Iasi, 1989
Boolean Functions: Differentiable Manifolds and Affine Spaces, Universitatea "Al. I. Cuza" Iasi, Facultatea de Matematica, Lucrarile Conferintei Nationale de Geometrie si Topologie, Suceava, 6-9 octombrie, 1988, Iasi, 1989

Links:
Journals
Annals of Oradea University - Mathematics Fascicola
International Journal of Computers, Communications & Control (IJCCC)
Search engines and directories
The Cornell arXiv University Library
Israel Science and Technology Homepage, Computer Science: Databases
Computer Science Bibliography: conferences, journals,... Universitat Trier
LLEK Bookmarks
Directory of Mathematics Preprint and e-Print Servers
CiteSeer.IST, Scientific Literature Digital Library
The Collection of Computer Science Bibliographies
Google directory: the CS people
Scirus
Science Search
Kapasearch, Computing & Multimedia directory
Sites
Societatea Romana de Matematica Aplicata si Industriala (ROMAI)
The Asynchronous Bibliography
Asynchronous Logic Home Page
Dynamical Systems Homepage
Compucert.com Computer Training Schools - provides a comprehensive guide to computer training and certification schools


1